Abstract
The formal specification of OSI network management protocols presents a challenge as the structure and semantics of the information to be communicated across an interoperable interface is modelled as managed objects. It is necessary to integrate formal techniques into the specific object-oriented framework developed by the ISO management standards.
This paper examines the suitability of VDM as a candidate formal description method for use in specifying the behaviour of OSI managed objects. To investigate the suitability of incorporating object-oriented concepts such as inheritance within VDM, a case study of a simplified Log managed object class is examined.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Adelard. SpecBox User Manual. Coborn House Business Centre, London, UK, 1991.
Bear, S. Structuring for the VDM Specification Language, in Proceedings VDM'88: VDM—The Way Ahead. Eds. R. Bloomfield, L. Marshall, R. Jones. Lecture Notes in Computer Science 328, September 1988, pp. 2–25.
Cusack, E., Rudkin, S. and Smith, C. An Object Oriented Interpretation of LOTOS. Proceedings of the Second International Conference on Formal Description Techniques (FORTE '89), 5–8 December 1989, Vancouver, B.C., pp. 265–284.
Duke, R., Rose., G. and Lee, A. Object-Oriented Protocol Specification. Proceedings of the Tenth International IFIP WG 6.1 Symposium on Protocol Specification, Testing and Verification, 12–15 June 1990, Ottawa, Ont., pp. 323–339.
Eriksen, Kirsten E., and Prehn, Søren. RAISE Overview. Computer Resources International A/S, 1991.
ISO. Systems Management—Part 6: Log Control Function. (ISO/IEC JTC1/SC21 N-4862), Output of the editing meeting held in Kyoto, Japan, May 1990.
ISO. Final Text of IS 8824, Information Technology—Open Systems Interconnection —Specification of Abstract Syntax Notation One (ASN.1). (ISO/IEC JTC1/SC21 N-4720), April 1990.
ISO. Formal Specification of the CMIP Protocol Machine. (ISO/IEC JTC1/SC21 WG4 N-1057), National Body Contribution from Australia, March 1990.
ISO. Structure of Management Information Part 1-Management Information Model. (ISO/IEC JTC1/SC21 N-5252), Output of the editing meeting held in Paris, January 1990.
ISO. Structure of Management Information Part 4-Guidelines for the Definition of Managed Objects. (ISO/IEC JTC1/SC21 N-4852), Output of the May 1990, Editing Meeting held in Kyoto.
ISO. Architectural Semantics, Specification Techniques and Formalisms, Working Document. (ISO/IEC JTC1/SC21 N-4887), 1990.
Jones, C. B. Systematic Software Development Using VDM. Prentice-Hall International, Second Edition, 1990.
OSI/Network Management Forum. J-Team Technical Report on Modelling Principles for Managed Objects. Issue 1, Draft 8, December 17, 1990.
Wolczko, Mario. Typesetting VDM with LATEX. Department of Computer Science, University of Manchester, March 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marshall, L.S., Simon, L. (1991). Using VDM within an object-oriented framework. In: Prehn, S., Toetenel, W.J. (eds) VDM'91 Formal Software Development Methods. VDM 1991. Lecture Notes in Computer Science, vol 551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54834-3_37
Download citation
DOI: https://doi.org/10.1007/3-540-54834-3_37
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54834-8
Online ISBN: 978-3-540-46449-5
eBook Packages: Springer Book Archive