Abstract
In network management, the networks are modelled using managed objects, but there is a gap in GDMO (the semi-formal language for managed objects specification) : behaviours are defined using natural language. Since experiments using classical FDTs haven’t been sufficiently satisfactory, this paper argues the idea of extending GDMO for formalizing managed objects behaviour and shows feasibility by defining a new template : the notification behaviour template. As a language is not well defined without formal semantics, formal semantics in Z of this template is also presented in this paper.
Chapter PDF
Similar content being viewed by others
References
J. Keller, O. Dubuisson (1994) Formal Description of OSI Management Information Structure as a Prerequisite for Formal Specifications of TMN interfaces Proceedings of ISampN’94. Lecture Notes in Computer Science 851. Springer -Verlag.
J. Keller, O. Dubuisson, R. Danion (Jan. 1995) Description Formelle et Validation de Documents GDMO France Telecom CNET Internal Report, NT/LAA/EIA/40.
O. Dubuisson (Jan. 1994) Techniques de Description Formelle et Comportements en GDMO: Etude de l’Existant France Telecom CNET Internal Report, NT/LAA/EIA/8.
O. Dubuisson (Feb. 1995) Description Formelle en Z de la Sémantique Statique de la Notation ASN.1 France TelecomCNET internal document.
O. Festor (Dec. 1994) Formalisation du comportement des objets gérés dans le cadre du modèle OSI PhD Thesis, Université de Nancy I.
ISO/IEC JTC 1/SC 21/WG 4 N8808 (July 1994) Working Draft on the Use of FDTs for the Specification of the Behaviour of Managed Objects .
CCITT Recommendation X.720 (1992) I ISO/IEC 10165–1 :1992 Structure of management information : Management information model.
CCITT Recommendation X.722 (1992) I ISO/IEC 10165–4 :1992 Structure of management information : Guidelines for the definition of managed objects.
CCITT Recommendation X.721 (1992) I ISO/IEC 10165–4 :1992 Structure of management information : Definition of management information.
CCITT Recommendation X.710 (1991) I ISO/IEC 9595 :1990 Common management information service definition.
CCITT Recommendation X.711 (1991) I ISO/IEC 9596–1 :1991 Common management information protocol - Part 1 : Specification.
CCITT Recommendation X.208 (1988) I ISO/IEC 8824 :1988 Information processing systems - Open System Interconnection - Specification of Abstract Syntax Notation One (ASN.1).
Spivey, J. M. (1992) The Z Notation : A Reference Manual . Prentice Hall.
I. Hayes (1987) Specification Cases Studies. Series in Computer Science. Prentice-Hall International.
D. A. Schmidt (1988) Denotational Semantics: A Methodology for Language Development. Wm. C. Brown Publishers.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Keller, J. (1996). An Extension of GDMO for Formalizing Managed Objects Behaviour. In: Bochmann, G.v., Dssouli, R., Rafiq, O. (eds) Formal Description Techniques VIII. FORTE 1995. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34945-9_15
Download citation
DOI: https://doi.org/10.1007/978-0-387-34945-9_15
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2958-9
Online ISBN: 978-0-387-34945-9
eBook Packages: Springer Book Archive