R. Destination, connectionTerminationPointSink REPRESENTED-BY ATTRIBUTE "ITU-T M, vol.3100, 1995.

O. Of-connectivity and T. Connectivity,

M. Query-querysource, , vol.3100, 1995.

, QUERY queryDestination MAPS-TO-OPERATION GET "ITU-T M, vol.3100, 1995.

M. Query-queryadstate, , vol.721, 1992.

M. Query-querydirectionality, :directionality OF connectivity, vol.3100, 1995.

U. Replace,

U. Replace,

R. As-{2 and . 1},

W. Mappingcreatelnfo,

, CREATE OF leg WITH-SERVICE-INFO mappingCreatelnfo() .attributeList

B. Sequence, M. Objectlnstance}, W. Of-leg, and . Mappingcreatelnfo,

, UNBIND WITH-INFO SEQUENCE {dest Objectlnstance} MAPS-TO DEL ETE OF leg WITH-SERVICE-INFO mappingDeletelnfo() .baseObjectlnstance := x

, FOR x IN role(leg) AND x-> toTermination = mappingDeletelnfo(

, USER-DEFINED lockTraffic MAPS-TO REPLACE OF mpCross WITH-SERVICE-INFO mappingSet() .scope := "baseLevelOnly

, USER-DEFINED unlockTraffic MAPS-TO REPLACE OF mpCross WITH-SERVICE-INFO

A. Annexe, Classes et comportements des relation de l'exemple mappingSet() .scope := "baseLevelOnly, modificationList :=

, Management Knowledge Management Function, Amendement 1 : Extension for General Relationship Model, Bibliographie iso, pp.10164-10180, 1998.

A. , Bégay (D.) et Crnbillé (P.).-Construction andAnalysis of Transition Systems with MEC, AMAST Series in Computing, vol.3, 1994.

(. L. Andrey, Schaff (A) et Tata (S.).-Expérience multi-FDT sur un modèle de gestion de configuration d'interconnexion de commutateurs, Festor (O.), vol.16, pp.753-777, 1997.

(. L. Aguilar, NCMA: A Management Architecture that Integrates Entreprise Network Assets.ln: [MW89j, pp.27-39, 1989.

A. , A).-Systèmes de transitions finis et sémantique des processus communicants, 1992.

, MIB view Language (MVL) for SNMP./n: [SRFV95j, pp.454-465, 1995.

C. ). Brlek and A. , A.).-Conception d'un système de gestion des appels téléphoniques. Un exemple d'utilisation des méthodes formelles, pp.149-164, 1993.
URL : https://hal.archives-ouvertes.fr/hal-00306270

(. S. Bapat, Richer Modeling Semantics for Management Information, pp.15-28, 1993.

(. S. Bapat, Object-Oriented Networks: Models for architecture, operations and management, 1994.

, Principes de la hiérarchie numérique synchrone. L'écho des RECHERCHES, vol.161, pp.3-14

, Benkiran (A) et Rafiq (O.) (édité par).-Colloque Francophone sur l'Ingénierie des Protocoles, ENSIAS, 1996.

, Berge (C).-Graphs, 1985.

, Benz (C) et Leischner (M.).-A High Level Specification Technique for Modeling Network and their Environnment including Semantic Aspects. In: [HY93j, pp.29-43, 1993.

. Bartocci, Larini (G.) et Romellini (C).-A first attempt to combine GDMO and SDL techniques, pp.333-345, 1993.

, Booch (G.).-Object-oriented design with applications, 1991.

(. H. Christensen, et Colban (E.).-Information Modelling Concepts.-Rapport technique, tinac, 1995.

, Principles for a Telecommunications Management Network, Comité Consultatif International Télégraphique et Téléphonique (CCITT), 1992.

, Directives por la Définition des Objets Gérés, vol.722, 1992.

, Information Technology-Open Systems Interconnection-Structure of Management InformationPart, vol.7, 1995.

, Documentation and Knowledge: An Approach for the Treatment of OSI-Behavior, Fourth International Workshop on Distributed Systems: Operations and Management.-1993, 1993.

. Case, A Simple Network Management Protocol, RFCl157, SNMP Research Inc., Performance Systems International, Fedor (M.), Schoffstall (M.) et Davin (1.), 1990.

(. T. Chatt and -. C++, An object-oriented API for GDMO, CMIS, and ASN.1. In: [LSS97], pp.177-191, 1997.

(. P. Chen, The entity-relationship model-toward a unified view of data, ACM Transaction on Database System, vol.1, pp.9-36, 1976.

C. , Kong (Q.).-Integrated TMN service provisionning and management environment, pp.99-112, 1997.

(. A. Clemm, Incorporating Relationship into Management Information. In: 2nd Network Management and Control Workshop, 1993.

. Clemm, Modellierung und Hanhabung von Beziehungen zwischen Managementobjekten im OSI-Netzmanagement.-Thèse de PhD, 1994.

, ).-Overall Concepts and Principles of TINA.-Rapport technique, tinac, 1995.

. Case, Management Information Base for version 2 of the Simple Network Management Protocol (SNMPv2), RFC1450, McCloghrie (K), Rose (M.) et Waldbusser (S.), 1993.

. Case, Management-to-Manager Management Information Base, RFC1451, McCloghrie (K), Rose (M.) et Waldbusser (S.), 1993.
DOI : 10.17487/rfc1451

URL : https://www.rfc-editor.org/rfc/pdfrfc/rfc1451.txt.pdf

, Structure of Management Informationfor version 2 of the Simple Network Management Protocol (SNMPv2), vol.442, 1993.

(. B. Codd, A relationnal model of data for large shared data banks, Comm ACM, vol.33, pp.377-387, 1970.

. Cherkaoui, Serhouchouni (A.) et Simoni (N.).-QOS Metrics tool using management by delegation, Obaid (A.), pp.836-848, 1998.

(. W. Clinger and . Rees, J.).-Revised Report on the Algorithmic Language Scheme. ACM Lisp Pointers, vol.4, 1991.

, Cornily (1.M.) et Stephan (T.).-Application des techniques des systèmes répartis ouverts

, à la gestion des réseaux SDH. L'echo des RECHERCHES, vol.161, pp.29-38, 1995.

. Chadha, (R) et Wuu (S.).-Incorparating Manageability into Distributed Software. In: [LSS97j, pp.489-502, 1997.

, Comité Consultatif International Télégraphique et Téléphonique (CCITT), Specification and Description Language (SDL) 1992, CCITT-Z-100-92, 1992.

(. P. Dini, Boutaba (R).-Deriving Varaible Polling Frequency Policies for Pro-active Management in Networks and Distributed Systems, pp.541-552, 1997.

, Telecommunications Management Network (TMN), 1996.

(. P. Dini, Migrating Wireless Services: A Management Solution for Automatic Reconfiguration, International Conference on Telecommunications, éd. par Larvey, pp.1103-1108, 1997.

, Dittrich (A).-Composite Managed Objects, pp.789-800

, ).-FormaI Description Techniques for Object Management, pp.641-653, 1995.

(. Deng and . Rh, Lazard (AA) et Wang (W.).-A Probalistic Approach to Fault Diagnosis in Linear Lightwave Network. In: [HY93j, pp.697-708, 1993.

, DMTE-Common Information Model (CIM) version 1.1.-Rapport technique, Desktop Management Task Force, 1997.

(. P. Dini, Bochmann (G.).-Agent based Management of Distributed Systems with Variable Polling Frequency Policies, pp.553-564, 1997.

, ).-Design and Testing of Information Models in a Virtual Environment, pp.461-472, 1997.

(. L. Fehskens, An Architectural Strategy for Entreprise Management. In: [MW89 J, pp.41-41

(. L. Feldkhun, Integrated Network Management Systems, MW89J, pp.279-301

. Festor, OSI Managed Objects Development with LOBSTERS, Fifth International Workshop on Distributed Systems: Operations and Management, pp.12-16, 1994.

. Festor, Formalisation du comportement des objets gérés dans le cadre du modèle OSI.-Thèse de PhD, 1995.

. Fernandez, Jéron (T.) et Viho (G.).-An experiment in automatic generation of test suites for protocols with verification technology, Jard (C.), 1996.

(. L. Feldkhun, Marini (M.) et Borioni (S.).-Integrated Customer-Focused Network Management: Architectural Perspectives. In: [LSS97j, pp.17-30, 1997.

, ).-Formalizing tmn information models for improving management applications, International Conference on Telecommunications, éd. par Larvey, pp.807-812, 1997.

;. Festor and . Lorraine, Nataf (E.) et Andrey (L.).-MODE-FE: A GRM/GDMO Parser and its API: Release 1.0 Reference Manual RT 0190, 1996.

. Festor, Nataf (E.) et Andrey (L.).-Simulation interactive du modèle de gestion d'interconnexion de commutateurs à l'aide de LOBSTERS et MODE. RR 2790, 1996.

(. O. Frergemand, et Sarma (A.) (édité par).-SDL'93, 1993.

, Combined Specification Using SDL and ASN.l. In: [FS93a}, pp.293-304, 1993.

, Synchronous Digital Hierarchy (SDH) management information model for the network element view, 1992.

, Application of the RM-ODP framework to the management of the transmission network, International Telecommunication Union-Telecommunication Sector (ITU-T), pp.851-852, 1993.

(. P. Graubman, et Mercouroff (N.).-Engineering Modelling Concepts (DPE architecture).-Rapport technique, tinac, 1995.

, CORBAServices: Common Object Services Specification, Object Management Group, 1997.

, Object Management Group, CORBA2.2IlIOP Specification, Object Management Group, 1998.

, ).-Semantic database modeling: Survey, applications, and research issues, ACM Computing Surveys, vol.19, pp.201-260, 1987.

(. D. Harrington and . Et-wijnen, An Architecture for Describing SNMP Management Frameworks, RFC2271, 1998.

(. D. Harrington and . Et-wijnen, Message Processing and Dispatching for the Simple Network Management Protocol, RFC2272, 1998.

. Hegering, Yemini (Y.) (édité par).-Integrated Network Management III. IFIP, 1993.

. Indulska, ).-Application of odp and type management concepts to network management, Annals of Telecommunication, vol.49, issue.2, pp.57-64, 1994.

, Basic Reference Model, ISO-7498, International Organization for Standardization, 1984.

, Specification of Basic Encoding Rulefor Abstract Syntax Notation Number One (ASN.l), ISO-8825, International Organization for Standardization, 1987.

, Basic Reference Model-Part 4: Managementframework, ISO-7498, vol.4, 1989.

, Test managementfunction, vol.12, 1991.

, Objects ans Attributesfor Access Control, ISO-10164.9, vol.9, 1991.

, Information Technology-Open System Interconnection-System Management Overview, International Organization for Standardization, p.10040, 1992.

, International Organization for Standardization (ISO), Information processing systemsDatabase language SQL, ISO-9075, 1992. International Organization for Standardization (ISO), Structure of Management Information-Part 5: Generic Management Information, ISO-10165.5, vol.5, 1992.

(. H. Jmaili, Implantation d'un service de relations dans un environnement de gestion osi, ENSEEITH IINRIA, juin 1998. Rapport de fin de stage d'école d'ingénieur. Jordaan (lF.) et Paterok (M.E.).-Event Correlation in Heterogeneous Networks Using the OSI Management Framework. In: [HY93), pp.683-695, 1993.
URL : https://hal.archives-ouvertes.fr/inria-00098502

(. G. Karner, Semantic Integration of ASN.1 into SDL. ln, pp.305-315, 1993.

, FormaI Description of OSI Management Information Structure as a Prerequisite for FormaI Specifications of TMN Interfaces. ln: Toward a PanEuropean Telecommunication Service Infrastructure-IS&N'94, éd. par Kugler (H. Jürgen), Mullery (A.) et Niebert (N.). Lecture Notes in Computer Science, pp.433-442, 1994.

(. J. Keller, An Extension of GDMO for Formalizing Managed Objects Behaviour, 1996.

(. H. Kilov, Generic Information Modeling Concepts: A Reusable Component Library. In: Technology of Object-Oriented Langages and Systems, éd. par Bévézin (J.) et Meyer (B.), pp.187-201, 1991.

(. H. Kilov, Understand-1-Specify-1-Reuse: precise specification of behaviour and relationships, p.1992

. Bibliographie,

(. H. Kilov, Understanding the semantics of collective behavior: the ISO General Relationship Model. In: ECOOP95 one day workshop: Use of Object-Oriented technology for Network Design and Management, 1995.

, ) et Kosarchyn (M.).-A Model for Object Relationship Management. In: [KZ9lj, pp.801-812, 1991.

, ).-Generic concepts for Specifying Relationships, Network Operations and Management Symposium, 1994.

. Kilov, Ross (l).-Information Modeling: an Object-oriented Approach, 1994.

(. P. Kabore and . Schaff, A).-Méthode abstraite de test pour l'administration de réseaux, vol.96, pp.337-355, 1996.
URL : https://hal.archives-ouvertes.fr/hal-02161892

, ).-Design of a Streadshhet Paradigm for Network Management, Workshop on Distributed systems: Operations and Management. IFIP 1 IEEE, 1996.

. Kalyanasundaram, Sethi (AS.), Sherwin (C.M.) et Zhu (D.).-A Spreadsheet-Based Scripting Environment for SNMP. In: [LSS97}, pp.752-765, 1997.

. Krishnan, Zimmer (W.) (édité par).-Integrated Network Management Il. IFIP.North-Rolland, 1991.

. Liotta, Knight (G.) et Pavlou (G.).-Modelling Network and System Monitoring over the Internet with Mobile Agent, pp.303-312, 1998.

(. D. Levi and . Stewart, SNMPv3 Applications, RFC2273, 1998.

. Lazar, Saracco (R.) et Stadler (R.) (édité par).-Integrated Management V, M3100: Generic Network Information Model, M3100, 1995.

(. B. Marre, Arnold (A) et Gaudel (M.C.).-Une expérience de validation de spécification par des formalismes différents: le noeud de transit, Technique et science informatiques, vol.16, pp.753-777, 1997.

(. Marshall, Using VDM to Specify Managed Object Relationship, 1993.

. Mazziota, , 1997.

, Meyer (B.).-Object-oriented Software Construction, 1988.

(. B. Meyer, Introduction à la théorie des langages de programmation, 1992.

(. S. Mazumdar and . Lazar, AA).-Knowledge-Based Monitoring of Integrated Networks. ln: [MW89}, pp.235-243

, ).-On the use of SDL-92 for the specification of Behaviour in OSI network Management Objects.ln: [FS93a}, pp.317-331, 1993.

(. Mackert and . Neumeier-mackert, LB.).-Communicating Rule Systems. ln: Proc. 7th. lnt. Symp. on Protocol Specification, Testing and Veri fication, pp.77-88, 1987.

(. K. Mccloghrie and . Rose, Management Information Base for Network Management of TCP/IP-based Internets: MlB-lI, RFC1213, Hughes LAN Systems Inc., Performance Systems International, 1991.

(. L. Margarida, et Tarouco (R).-Intelligent Network Management, pp.141-155

(. P. Muller, A).-Modélisation object avec UML, 1997.
URL : https://hal.archives-ouvertes.fr/hal-02103245

, Modelling techniques and their use in ODP, ISO-JTCl SC21 WG7 N109, 1989.

(. E. Nataf, Comportement des relations de la gestion osi, Colloque Francophone de l'Ingéniérie des Protocoles, éd. par Leduc (G.).-Liège-Belgique, 1997.
URL : https://hal.archives-ouvertes.fr/inria-00098473

(. E. Nataf, Comportement et environnement pour les relations de la gestion osi. Revue Électronique Réseaux et Informatique Répartie, sera publié en septembre, 1998.

, ).-RelMan: A GRM-Based Relationship Manager, pp.661-672, 1997.

, Festor (O.) et Schaff (A).-Validation du modèle de gestion d'interconnexion de commutateurs à l'aide de système de transitions étiquetées RR 2769, Nataf (E.), 1996.

, ).-Validation d'un modèle de gestion d'interconnexion de commutateurs à l'aide de système de transitions étiquetées, Colloque Francophone sur l'Ingénierie des Protocoles, éd. par Bennani (A), Dssouli (R), Benkiran (A) et Rafiq (O.), pp.83-97, 1996.

(. J. Noble, et Grundy (J.).-Explicit Relationships in Object Oriented Development, TOOLS'95, 1995.

, The Ensemble Concepts and Format, Network Management Forum

, Switch Interconnection Management: Configuration Management Ensemble, NMF, Network Management Forum, 1994.

, GRM+: an Extension of GRM for Specifying Managed Relationship Behaviour, 7N1234R, International Organization for Standardization, 1997.

, ) (édité par).-FormaI Methods for Open Object-based Distributed Systems, 1996.

, Kuepper (A).-An object-oriented description of services in a distributed system, pp.261-268, 1996.

(. O. Rafiq, Historique et problématique des réseaux informtiques: Architecture et ingénierie des protocoles, pp.11-33, 1995.

(. D. Redberg, Object Oriented Behavioural Specifications, chap. 15: The search for the linking invariant: behavioral modeling versus modeling behaviour, pp.241-264, 1996.

, Structure and Identification of Management Information for TCPIIP-based Intemets, RFC1155, Performance Systems International, 1990.

, ).-The Simple Book, 1994.

. Bibliographie,

, ).-Experiences on building a distributed computing platform prototype for telecom network and service management, LSS97J, pp.127-138, 1997.

, Relations as Semantics Constructs in an Object-Oriented Language, Proc. of the OOPSLA'87 conference, 1987.

, Sibilla (M.) et aIl.-Management Information Base: Guidelines Leading From Generic Specification of Managed Object Relationship to Consistent Implementation, Distributed Systems: Operation and Management, 1991.

, Bieszczad (A.) et Pagurek (B.).-Infrastructure for Advanced Network Management based on Mobile Code, pp.322-333, 1998.

(. J. Schneider, Frooqui (K.) et Logrippo (L.).-An experience modelling telecommunications systems using ODP-DLcomp, Protocol Engineering: A Rule-based Approach.-Vieweg, 1992. Stepien (B.)

, Soukouti (N.) et Holleberg (U).-Joint Inter Domain Management: CORBA,CMIP and SNMP. In: [LSS97J, pp.153-164, 1997.

(. D. Sidou, TIMS: a TNM-based Information Model Simulator, Principles and Application to a Simple Case Study, Distributed System Operation and Management, 1995.

(. D. Sidou, Validation offunctional Behavior Specifications of Distributed Object Framework, 1994.

(. S. Sethi and P. , Kalyanasundaram).-A Spreadsheet Paradigm for Network Management and Control. In: Distributed systems: Operations and Management. IFIP 1 IEEE, 1994.

. Sethi, Raynaud (Y.) et Faure-Vincent (p.) (édité par).-Integrated Network Management IV, 1995.

, ).-Architecture for an Integrated, Extensible Entreprise Management Director, pp.61-72

, Sun Microsystems Inc. The Java Management API, SNMp, SNMPv2, and CMIP the Practical Guide to Network-Management Standards, 1993.

, Guideline for Structuring Manageable Entities. In: [MW89 J, pp.169-183

, ).-A practical experience on validating GDMO-based Information Models with SDL' 88 and SDL'92, SDL'97: Time for Testing SDL, MSC and Trends, éd. par Cavalli (A.) et Sarma (A.), pp.367-380, 1997.

(. S. Tata, Modélisation d'un agent osi en sd1'92.-Université Henri Poincaré, 1997.

A. The and . Forum, M4 Network-View Interface Requirement, and Logical MIB, Technical Committee, 1994.

(. S. Todd and . Overview, Not yet assigned, Microsoft Corporation, One Microsoft Way, 1997.

. Todd, Introduction to HMMP, Not yet assigned, Microsoft Corporation, One Microsoft Way, 1997.

(. J. Tsay, Object-Oriented Intelligent Telecommunications Network Management System, HY93J, pp.557-567, 1993.

, Damage Assessment-A Network Management Application Based On An Integrated Information Model Of The Network, pp.641-652, 1993.

. Vassila, Pavlou (G.) et Knight (G.).-Active Object in TMN. In: [LSS97J, pp.139-150, 1997.

. Waldbusser, Remote Network Monitoring Management Information Base (RMON), 1995.

, White (S.) et Hapner (M.).-The JDBC Database Access API.-Sun Microsystems Inc, 1998.

(. S. Warrier, et Sunshine (A.C.).-A Platform for Heterogeneous Interconnection Network Management, pp.13-24

, ).-Application of Commercial Databases to Management, pp.499-515, 1994.

. Yamamura, Yasushi (T.) et Fujii (N.).-A Study on an End Customer Controlled Circuit Reconfiguration System for Leased Line Networks. In: [KZ91j, pp.383-394, 1991.

. Znaty, Simoni (N.).-Gestion de réseau et de service, 1997.