References

Boo92

G. Booch.
Conception orient e objets et applications.
Addison-Wesley France, 1992.

COR93

Object Management Group.
The Common Object Request Broker : Architecture and Specification, Rev. 1.2., 1993.

Fes94

O. Festor.
Formalisation du comportement des objets g r s dans le cadre du mod le OSI.
PhD thesis, Universit Henri Poincar - Nancy I, 1994.

GDM92

International Telecommunication Union.
Structure of Management Information: Guidelines for the Definition of Managed Objects, X.722, 1992.

GDM97

International Telecommunication Union.
Structure of Management Information: Guidelines for the Definition of Managed Objects, Draft Amendment 4, X.722, 1997.

ISO94

ISO/IEC JTC 1/SC 21/WG 4 N8088.
Working Draft on the Use of FDTs for the Specification of the Behaviour of Managed Objects, 1994.

Kel95

J. Keller.
An extension of gdmo for formalizing managed objects behaviour.
In 8th IFIP TC6 International Conference on Formal Description Techniques (FORTE'95), October 17-20, 1995, Montreal, Canada., 1995.

KTW93

N. Kincl, D. Thompson, and R. Webber.
Adapting DME to Manage DCE-based Services, RFC 22.0.
The Open Group, 1993.

Mey92

B. Meyer.
EIFFEL, The Language.
Object-Oriented. Prentice Hall, 1992.

Mor90

Carroll Morgan.
Programming from Specifications.
Prentice Hall, 1990.

ODL96

Telecommunications Information Networking Architecture Consortium.
TINA Object Definition Language MANUAL, Version: 2.3, 1996.

RM90

M.T. Rose and K. MacCloghrie.
Structure and Identification of Management Information for TCP/IP-based Internets, RFC 1155.
Internet Engeneering Task Force, 1990.

Spi92

J.M. Spivey.
The Z Notation.
Prentice Hall, 1992.

TIN95

Telecommunications Information Networking Architecture Consortium.
Information Modelling Concepts, Version: 2.0, 1995.