L. Abdelkrim, E. Bu-steau, and . Duval, ent hom ogène FIG. 1.4 -. L 'int erface de construction de bases d'informations de gestion Bibliographie A

, rappor t de pr ojet indust riel, Ecole Supérieure d 'Infor m atique et Applica t ions de Lorraine, 1994.

B. Bar, A Conforman ce Test ing Approach fo r M an aged Obj ect s ". 1993. Fourth Intern at ional Work shop on Distributed Syst em s: Oper a tions and Managemen t, 1993.

A. Bartocci, G. Lar-ini, and C. Romellini, A fi rst att empt to com bine GDM O an d SDL techniques ". O. Faer gem and et A. Sarma , éd ite urs, S DL '93: Using Objects, pp.333-345, 1993.

S. Black and S. T. Vuong, Objecis an d LOTOS, Proc. 2n d Int. Conf. on Formai Description Techn iqu es f or Com m unicatio n Proi ocols and Distribut ed Sy st em s, pp.285-297, 1989.

G. V. Bochmann and M. Deslauriers, Com bining ASN.1 suppor t with th e LOTOS langu age". Proiocol Specifica tion, Test ing an d Verifi cation IX. North-Ro lland Publ, Proc. IFIP In t . Sy rn p . on Protocol Sp ecifica ti on , Test ing and Verification, 1989.

G. V. Bochmann, Obj ect-orien ted specificatio ns in OSI and distributed processing, Tutoriels of the 11th In t. Conf. on Protocol Sp ecifi cat ion, Testing and Verifi cation, pp.93-123, 1991.

G. V. Bochmann, P. Mondain-monval, L. Lecomte, and B. V. , Form ai D escription of Neiuiork M anagem ent Issu es ". 1. Krishnan et W. Zimmer , éd it eurs, Proc. of t he IFIP TC6/WG6. 6 2nd. In t . Symp . on In tegra ted Network Man agem ent Ap ril, pp.77-92, 1991.

D. Carr-ington, D. Duke, R. Duke, P. Ki-ng, G. Rose et al., Objec t-Z : An Obj ect -Orient ed Extension to, Proc. 2n d Int . Conf. on Formai Description Techniques f or Communicati on Proi ocols and Dist ribut ed Sy stems, pp.401-420, 1989.

J. Case, M. Fedor, M. Schoffst-all, and J. Davin, Si mp le N etuiork M an agem ent Pro tocol". RFC10 67, SNM P Research Inc., P er forman ce System s In t ernation al

[. ,

C. T. , , p.92

, Bibliographie

J. Case, M. Fedor, and M. Sehoffstall, Dav in, "A Simple Network Managem ent Protocol, RFC1l57, SNMP Researeh Ine., Performance Systems International, 1990.

J. Cas-e, K. Mec-loghrie, M. Rose, and S. Waldb-usser, Management Information Ba se for version 2 of the Simple Network Manag em ent Protocol (SNMPv2), RFC1450, SNMP Researeh In e., Hughes LAN Systems Ine, 1993.

J. Ca-se, K. Mec-loghrie, M. Rose, and S. Waldbusser, M an agemen t-to-M an ager Manag em ent Information Base, RFC1450 , SNMP Researeh In e., Hughes LAN Systems Ine, 1993.

J. Case, K. Mec-loghrie, M. Rose, and S. Waldbusser, Proioco l Operations for version 2 of th e Simple Network Manag ement Protocol (SNMPv2), RFC1448, SNMP Researeh Ine. , Hughes LAN Systems Ine., Dover Beach Con sulting, 1993.

J. Case, K. Mecloghri-e, M. Rose, and S. Waldb-usser, S truct ure of Manag em ent Inf orm ation for version 2 of th e Simple Network Manag em ent Protocol (SNMPv2), RFC1442, SNMP Researeh Ine., Hughes LAN Syst ems Ine, 1993.

J. D. Case, K. Mecloghrie, M. T. Rose, S. Waldbusser, and H. G. , A n In troduction to the Simple Manag em ent Protocol Hegering et Y. Yemini , édite ur s, In tegrated N etwork Manag em ent, III (C-1 2), Proe. of the IFIP TC6jWG6.6 3rd . Int . Symp. on Integrated Netwo rk Management, pp.261-272, 1993.

C. Ité, C. International, and T. Et-té-lép-honique, CC ITT), "S pecifi cation and D escription Language (SDL) 1992, Norm e Internat ionale, CCITT-Z-I00 -92, 1992.

, Gene ric N etwork Inf orm ation Mod el, Comité Consultatif Intern at ional Télégraphique et Té léphonique (CC ITT) Draft Intern ation al Standard, 1992.

C. T. , 701 92] Comité Consultatif International Télégraphique et Té léphonique (CC ITT)Tec hno logies de l'Inf orm ation -In terconn exion de Systèmes Ouv erts: Aperçu Gén éral de la Gestion des Syst èm es, Norme Internationale, CC ITT.X, vol.701, 1992.

C. T. , 720 92] Comité Consultatif Intern at ional T élégraphique et T éléphonique (CC ITT)Techn ologies de l'Information -In terconn exion de Systèm es Ouv erts -Stru cture des Informations de Gestion: Mod èle d'Information de Gestion, Norme Internationale, CCITT.X. J anv ier, vol.720, 1992.

[. Z. Ccitt, I00-I04 84] Comité Con sultatif Intern ational T élégraphique et T éléphoniqu e (CCITT) , "S pecifi cation and Description Language (SDL), Norme Internationale, CC IT T .Z.I, pp.0-04, 1984.

C. Bibliographie and . Citt, Z.100-A 88J

9. Desai, Dijkerman 89J [Dossogn e 93J

, Escheb, vol.91

9. Festor, T. Comit-É-consu-ltatif-international, and . Ccit-t-),-"-s-dl-user-gudelin-es, App end ix to Z.100, 1988.

A. Clemm, Incorporating R elationships into OSI Manag em ent Inf orm ation, pp.21-23, 1993.
DOI : 10.1007/978-1-4899-1298-5_20

A. Lem-m and O. Festor, Be hauior, Documentation and Konw ledge: An Approacli for th e Treaim ent of OSI-Behav ior, Fourtli In tern ational Workshop on Dist ribuied Systems: Operat ions an d Ma nagem ent, 1993.

W. Collins, B. Meandzija, and J. Westcost, OS I Manag em ent S ervice El em ents, P roiocols an d Applicati on Lay er Structure Int egmted N etuiork Manag em ent, I, Proc. of the IFIP T C6/WG6.6 l st . In t . Symp . on In tegr a ted Network Manag em ent, pp.119-131, 1989.

J. Davin, J. Galvin, K. Mcclo-ghrie, P. Securitsj, and . Roiocol, Trust ed Information System s In c., Hughes LA N System s Inc, 1992.

S. Desai, S. Joglekar, and P. B. Westerfie-ld, A n Object Manag em ent and Commu nication s Plaijorm f or Bu ilding TMN Compliant Operat ions Systems". 1993. Fourth In ternational Workshop on Dist ributed Systems: Oper a tion s a nd l'vI~­ nagem ent, 1993.
DOI : 10.1109/noms.1994.643235

E. M. Dijkerman, W. H. Van-hulzen, and P. A. Ilanus, O b ject Orien ted Sp ecificat ion Style in LOTOS" . r i no. 917-RNL-89 , PTT R esearch The Netherl ands, 1989.

F. Dossogne, M. P. Dupont, and H. G. , A sof tware architecture fo r Manag em ent Information Mode l definition, implementation and validation Hegering et y. Yemini, édite urs, Integmted Netuiork Manag em ent, III (C-12, Proc. of the IFIP TC6/ WG6 .6 3rd. Int. Symp. on Integra ted Network Management, pp.593-604, 1993.

R. Duke, G. Ros-e, A. Lee, and R. L. , Objeci-orienied proio col specification, Prober t et Ur al H., éd iteurs, Proc. 10th Int. Conf. on Proiocol Specification, pp.323-339, 1990.

W. and E. Ach, In terpretative A usju ehrunq kotnmun izieretider Regelsystem e". 1991, 1991.

O. Festor and J. M. Schneid-er, Zi::irntl einForrnal Descripti on of t he OSI Distrib uted Transaction Processing Proto col, Technical Rep or t , IBM Europ ean Networking Ce nte r, Heidelb er g, 1992.

, ISO-10026, p.92

, ISO-10164, p.92

, ISO-10164, p.92

, ISO-10164, p.92

O. Bibliograph-ie, G. Festor, H. G. Zoerntlein, Y. Hegering, and . Yemini, Form ol Description of Manag ed abject B ehavior -A Rule Ba sed Approach, Proceedings of the IF IP T C6/WG6.6 Third International Symposium on Integra ted Network Managem ent, pp.45-58, 1993.

O. Festor, OSI Man aged Obj ect s Development with LOBS TER S ". 1994. Fifth Intern ational Workshop on Dist ribut ed Syst em s: Operations and Managem ent, pp.12-16, 1994.

J. Fischer and R. Schro-eder, Com bined Specifi cation Using SDL and A SN

O. Faergem and E. A. Sanna, éd ite ur s, SDL '93: Using Object s, pp.293-304

, Elsiever Science Publishers B.Y, 1993.

A. Isher, M. Herp-ers, D. Holden, S. Sievert-he, D. Ins-manag-em-ent-language et al., Hegering et Y. Yemini , édite urs , Int egrated Ne iuiork M anag ement, III (C -12, Proc. IF IP T C6/WG6.6 3rd . In t . Sy mp. on Integrated Network Manageme nt, pp.181-192, 1993.

J. P. Frot, H. Lecorguillé, and J. , Lefr an c et D. Or ainCR USA DE : un en vironne m ent de développem ent de protocoles ". 1993. Industrial P roj ect Rep or t, 1993.

J. Galvin and K. Mccloghrie, A dm inistrative M odel f or versio n 2 of th e Simple N etuiork M anagem en t Protocol (S N MPv 2), RFC1445, Trust ed In formati on Systems, Hu ghes LAN Systems In c, 1993.

. Hein-z-gerd, . Hegering, . Sebast-ian-ab, and . Eck, Inieqriertes N etz-und System manag em en t, 1993.

, Distri bu ied Tran saction Processing -P art 1: OSI TP S erv ice, 1992.

, S ystem Manag em ent Overview, Interim Final Text, p.10040, 1992.

, Int ern a tional Or gan ization for St andardization (ISO), "S ystem Manag em ent - Part 1: abject Manag em ent Fun ction, Internat ional Standard, 1992.

, S yste m Manag em ent -P art 2: St at e Man agem ent Fun ct ion, tern ational Or gani zation for St andar dization (ISO) ternation al Standard, p.10164, 1992.

, System M anag em ent -P art 7: S ecurii sj A larm Reporting Fun ction, Internat ional Or gani zation for Standardization Interna tional St an dard, 1992.

, S tru cture of M anag em ent Inform ation -Part 1: M an agem ent Inform at ion Mod el, ternation al St andard, 1992.

, ISO-10165.2 92J [ISO-10165.4 92J [ISO-10165.5 92J [ISO-7498.4 89J [ISO-8649 88J [ISO-8807 87J [ISO-8824 90J [ISO-8825 87J [ISO-9072.1 89J [ISO-9074 87J [ISO-9545 89J [ISO-9595 91J [ISO-9596 91J [ISO-9646.3 91J International Org ani zation for Standardization (ISO), "S truc ture of Manag em ent Inform ation -Part 2: D efinition of Manag em ent Inf orm ation ", Intern ational Standard , ISO-10165.2, J anu ary 1992. International Organization for Standardization (ISO) , "S truct ure of Manag em ent Information -Part Intern a tional Standard, p.10165, 1992.

O. Zation and . St-andardiza-tion, Structure of M anag em ent Inf orm ation -Part 5: Gen eri c Manag em ent Injormaiion, International Standard, 1992.

, Intern ational Organ ization for St andardization (ISO) , "B asic R eferen ce Mod el -Pa rt 4: M anag em ent fram ework, terna tional Standard , ISO-7498, 1989.

, Intern ational Or gani zation for St andardization (ISO )Service defi nit ion f or the A ssociat ion Con trol S ervice El em ent, Intern ational Standard, p.8649, 1988.

, International Organi zation for Standard iza tion (ISO), "L OT OS: A Draft Intern a tion al Standard, p.8807, 1987.

, Intern ational Or gani zation for St andardization (ISO)Specific ation of A bstra ct Syntax N otation Number On e (A S N. 1), ternational Standard, p.8824, 1990.

, Specification of B asic En coding Rule for' Abstract S yn tax Notation Numb er On e (A SN. 1), Intern ationa l Standard, 1987.

, Intern ational Organ ization for Standardization (ISO)Re m ote Operat ions - Part 1: M odel, notation and service definition, Intern ational Standard , ISO- 9072.1, 1989.

S. Le, International Or ganiz ation for Standardiza tion (ISO) A Formal Description Techniqu e based on Ext ended State Tran sit ion Mod el, Dr aft International Standard, p.9074, 1987.

, Intern ation al Or gani zation for St andardization (ISO) , "A pplication Layer Structure, Draft International Standard, 1989.

, Co m mon Ma n agem ent Inf orm ation S ervice D efin it ion Intern a tion al Or gan ization for Standardization (ISO), Intern ational Or gani zation for St andardizationCom m on Manag ement Inf orm ation Protocol Specifi cation", Intern ational St andard, 1991.

, Intern ational Or gan ization for Standardization (ISO), "OS I Confo rmance Testing and Fram ework -P art 3: Th e Tr ee an dTa bular Com bine d N otation ( T TCN ), Intern ational Standard, vol.3, p.9646, 1991.

, Mackert, vol.87

, McC, vol.90

. Bibliographi-e,

, Com mitm ent Coticurren cy and Recovery (CCR) : S ervi ce Defin it ion, ternational Organi zation for Standardiza tion (ISO), p.9804, 1990.

C. B. Jones, Sys tem atic Software Development Using VDM (s econ d edition)

P. Ti and . Hall, , 1990.

P. and E. A. Schaff, Du test des sy stèmes d 'adm inistration de réseaux

C. Su-bmitted-to, , 1994.

P. Kab-or-É and A. Schaff, Obj ets de gest ion de réseaux: un e approche de test de conform ité, 1994.

G. Karner, Se m an tic Int egration of A SN. 1 in to SDL". O. Faer gem and et A. San na, éd ite urs, SDL '93: Using abjects, pp.305-315, 1993.

H. Ov, Unders tan â-v Sp eciju-s Reuse: Precise Specification of B ehauiou r and Relationships, Work sh op on Dist ribu ted Systems: Op eration s and Man agement, 1992.

A. J. Kouyzer, A. K. Van-den-boogaart, L. Kri-shnan, and W. Zimmer, T he LOTOS [ram euiork f or OSI S ystems M an agem ent, Elsiever Scien ce Publish ers B.V. (Nort h- Holland ), 1992. P roc. of t he IFIP T C6/WG6 .6 2nd . In t . Symp. on Integrated Network Management Ap ril, pp.147-148, 1991.

C. Lecerf and D. Chomel, Les N orm es de Gestion de R éseau à l'ISO, 1993.

L. F. Macker-t and L. , Neumeier-Macker tCom m un icati ng Rule S ystems, pp.77-88, 1987.

T. Mangold, Form ol Specifi catio n of the X. 25 P acket Layer in CRS, 1990.

D. E. Thesis, , 1990.

L. S. Mar and L. Simon, Usi ng VDM to Specifi y M anaged abj ect Relation ships ". 1992. FORTE'92, pp.13-16, 1992.

S. Mazah-er and B. Moller-pedersen, On the us e of SDL-92 for the Sp ecification of B elunnour in OSI Netui ork Manag em ent abjects ". O. Faer gem and et A. San n a , édit eurs , SDL '93: Using abjects, pp.317-331, 1993.

K. Mcc-loghr-ie and . Rose, M anageme n t Inf ormation B ase f or N eiuiork M an agement of T CP/ IP -based Itit ern eis, RFC 1l56, Hu ghes LAN System s Inc., P erformance Systems Intern ational, 1990.

K. Mcclogh-rie and . Rose, M an ageme n t Information B ase f or Neiui ork Ma n agem ent of T CP/ IP-based Intem ets: MIB -ll, gh es LA N Systems In c., P erforman ce Syst em s Internation al, 1991.

B. Meyer, Objec t-orie n ted Software Con struction JI, Inte rnational Series in Computer Science, 1988.

, A pplying D esign by Con trac t, Com pu ter M agazin e, pp.40-50, 1992.

S. D. Quemada, J. Manas, and E. Vazquez, In troduct ion to Obj ect -Orien, Tutoriels of th e 3rd Int. Conf. on Form al Descript ion Techn iqu es, pp.7-66, 1990.

, A Rule-bas ed E xecutable Sp ecifi cation of th e X. 25 N etwork lay er, 1989.

, In tern ati onal Organization for Standardization (ISO) , "M odelli ng techniques and their us e in ODP, Working Dr aft, vol.89, 1989.

S. Nakai and M. L. Liu, Con curren cu Con trol f or N etwork Manag emen t Transa ctions based on OS/'s Syst ems Manag ement an d Transa ction Proiocols, 1992.

I. Int, Workshop on Distributed System s: Oper a tions and Man agement , Mun ich, 1992.

, M odellie runq und Implem entieru ng kom m unizieren der System e m it hilf e von R egeln, 1988.

. Neumeier-m-acker-t-88b-]-lb, L. F. Neumeier-mackert, A. Macker-t, and . Fl-eischmann, A know ledge bascd Prot ocol Engineering E nviron m en t ". 1988. P ro c, 1st In t. Conf. on Networking in Op en Syst ems, 1988.

, Postel, vol.80

, Forum L ibrary Volum e 1: OMN Ipoint 1 D efi ni tions Forum 001, Network Managem en t Forum NMF, 1992.

D. Orain, C. Usa, and . Environment, A N ew ASN. 1 Compiler f or th e, 1993.

M. Pfeiler and M. Wi-tti-g, Distributed M odelling an d Adm in istrat ion of OSI M an agem ent Sc hema, GM D FOKUS, issue.2, pp.1000-1012, 1993.

D. Post-el, User D atag ram Protocol, RFC768, 1980.

T. Preuss, M an agemen t von vi r tue lien pr ivaten N et zen ". 1993. Master T hes is, 1993.

T. Mar and . Rose, T he Open B ook: A pra ct ical perspective on OSI, 1989.

M. Rose and K. Mccloghrie, S truc ture and I den tifi cation of M anagement Itijo rmation for TCP/ IP -based In tern ets, RFC1155, Perfo rman ce Systems In ternatio nal,Hughes LAN System s In c, 1990.

, Bibliographie

M. Rose and K. Mcc-loghrie, Conc ise MIB Definitions, RFC1212 , Performance Syst ems Intern at ional ,Hughes LAN Systems Inc, 1991.

H. Rudkin, On the us e of Z to specify OS I Manag ed-Objects behaviour, 1991.

, Proc. Int. Workshop on Op en Distributed Processing, 1991.

R. Rumbaugh, Obje ct -oriented mod elling techniques, 1992.

. Sample, SN A CC 1.1: A High P erformance A SN. 1 to C/C+ + Compiler

U. Scheere, Form ale Spezifi cation des OS I-TP-Standards mit der regelbasierten Techn ik CRS, 1991.

J. M. Schneider, L. F. Mackert, G. Zoerntlein, R. J. Velthuys, and U. Baer, An integrated environme n t f or Developing Communi cating R ule Sy st ems, Computer networks and ISDN systems, 1990.

J. M. Schneider, H. Mueller, L. F. Macker-t, G. Zoerntlein, and R. J. Velthuys, Transition S ystem S em an tics f or Comm uni cati ng Rule System s ". 1990, 1990.

J. M. Schneider, Protocol Engin eering : A Rule-baseâ Approach, 1992.

W. J. Schneider and . Don, Co-operative Manag em ent of Int egrated B roadband Communication S ervi ces over th e CCITT X Int erfa ce". 1993. Fourth International Workshop on Distributed Systems: Op erations and Man agement, 1993.

J. M. Schneider, T. Preuss, and P. S. Nielsen, M an agement of Virtual Private N etworks for In tegrated Broadband Communication, Proc. ACM SIG- COMM '93, 1993.

B. Schott, A. Clemm, and U. Hollb-erg, A n IS O/ OSI based Approach f or M odeling Het erogen eous N etw ork s ". 1992, 4th. IFI P Int. Conf. on Information Networks and Data Commun ication, 1992.

M. Sibilla, D. Marquie, and Y. Rayn-aud, M an agement Inf orm ation Base: Guidelin es leading from Gen eric Sp ecification of Manag ed Object R elationships to Consistent Implem entation, Fourili Int ernational Worksh op on Di stribut ed Systems: Operations and Manag ement, 1993.

R. Sijelmas-si, P. Gaudet-te, and K. J. Turner, An Object-Oriented M odel f or ESTELLE Formal Descript ion Techn iqu e, Proc. l st Int . Conf. on Formal Description Techniques for Communication Protocols and Distributed Systems, pp.91-105, 1989.

E. S. Simo-n and . Marshall, Using VDM to Specifiy OSI M an aged Obj ects

P. O. Bell-nor-th-ern-research-ltd,

J. M. Spivey, Th e Z Nota tion, 1989.

M. Sylor and H. G. , Junc ti on abjects: A solution to a probletn in naming and locating OS I managed abjects Heger ing et Y. Yem ini, édite urs , Integrated N etuiork Manag ement, III (C-1 2), pag es 161-1 73, Proc. IFIP TC6/WG6.6 3rd. Int. Symp. on Integrated Network Man agem ent, 1993.

M. T. Homas, A n ASN.l to LOTOS translater". 1992. FORTE'92, pp.13-16, 1992.

K. J. Turner, Using Formol Description Techn iques, 1993.

R. J. Velthuys, Conform ance testing based on [ormel syste m m odels, 1992.

R. J. Velth-uys, L. F. Mackert, J. M. Schn-eider, and G. Zoerntlein, Siructurinq m echan isms for the Forma i CRS". 1992, 1992.

S. Waldbusser and R. C1271, R em oie Ne tuiork M onit oring Manag em ent Inf orm ation Ba se, 1991.

J. J. Wester-et-l\l1 and . Van-everdingen, Distributed Managem ent Transaction s ". 1993. Fourth International Work shop on Distributed Syst em s: Op erat ions and Man agemen t, 1993.

M. Yao and G. Bochm-ann, Testing f or a confo rma nce relation based on acceptan ce". 1993, Proc. of t he TAPSOFT'93, 1993.

A. Appendice,

L. Formulaires-additionnels-de and G. Dans-le-cha-pitre, de la premiè re par tie, nous avons présenté les formulair es de GDMO qui sont à la base des extensions prop osées dans cette thèse. Il est cepe ndant nécessair e de présenter les aut res formulair es de la notation et ceci pour plusieurs raisons. La première est la volonté d 'être exha ustif dan s le présentation de GDMO, La seconde est que ces formulair es sont retenus te ls quels dans le formalisme LOB ST ERS et qu 'il convient donc à ce titre de les décrir e de mani ère détaillée

A. Les-formulaires-inchangés-les-form-ulaires-de and G. Mo, que nous n'avons pas encore présentés et qui sont repris sa ns modifi cations dan s notr e form alisme sont au nom bre de t rois. Il s'agit d u formulair e d 'attribu t, de groupe d 'attributs et de param ètre. Tou t comme les a ut res formul air es présentés précédemment , nou s allons les décrir e de façon détaillée

, Cha que sect ion de cet appe ndice décrit l'un de ces formulair es

, A.2 Les attributs Les attributs représentent l'espace des don nées d 'un objet géré Un attribut est défini par un e ét iquette , un typ e et par les opérations de compara ison qu 'il supporte . Les opérations d 'accès à l'attribut étant spécifiques au module dan s lequel celui-ci est intégré, celles-ci sont spécifiées dans la list e des propriétés de l

, A.2.1 Le formulaire d 'attribut

, at t ribut de deux mani ères différent es (voir figure A.1) En effet, un attribut peut êt re défini comme extension d'un attribut existant < a t t r i but e -l a b e l> via la clause DERIVED FROM, ou comme attribut de ty pe ind ép end ant via la clause WITH AT- TRIBUTE SYNTAX. Dan s le pr emier cas , le type est celui de l

. Le-type-de, La cla use MATCHES FOR per met de fixer la liste de ces opérations Elles sont au nombre de cinq. L'option EQUALITY indique que la valeur de l'at tribu t peu t faire l'objet d 'u n test d 'égalité avec un e valeur d 'u n type compatible. L'o ption ORDERING indique l'existence d 'une rela tion d 'ordr e sur le typ e de l'at tri bu t. Celui-ci peut donc êt re testé sur l'ordre par rapport

, cad re d 'une not ifica tion (conte xte EVENT-INFO ) Son type ASN .1 (Cause) comporte deux champs. Le prem ier indiqu e la sour ce de la rup t ure (inconnue, utilisa teur, fournisseur) et le second la ca use (inconnue, te mps d 'i nactivité excess if, nomb re de ret ransm issions excess ives), Il est utilisé comme inform ation da ns le

, Résumé Dan s cet te annexe, nous avons complété la descrip ti on des formulaires de spécifica t ion du lan gage GDMO . Pour ce faire et en suivant le même pr incip e que pour les for mulai res modifiés, nous avons présenté chac un d 'eux en deux étapes: les comp osants du formulaire et un exemple d 'utilisation. Ces formulair es sont tous

, Le système de base accède aux trois interfaces et possède un seul module. La spécificat ion de l'objet géré est donnée ci-desso us, BasicComputerSystem MANAGED OBJECT CLASS DERIVED FROM Top ; CHARACTERIZED BY

, BasicComputerSystemBehaviour; REGISTERED AS { lobsters-moc 1}, BEHAVIOUR

, L'objet géré de base ne comp orte qu'un seul module. Sa spécificat ion est la suivante

P. Basiccomputersystempackage and . Basiccomputersystempackagebehaviour, ATTRIBUTES operationalState GET, INITIAL VALUE enabled; ACTIONS activate; NOTIFICATIONS stateChange

, Le comportement lié au module est spécifié ci-dess ous

, BasicComputerSystemPackageBehaviour BEHAVIOUR