Abstract
Recently Z has been adopted by the ITU as one of two preferred formal languages for describing managed objects. This paper explains why Z has been chosen and how Z can be used to specify managed objects. It also discusses how the use of Z can improve managed object specifications, and how additional techniques can improve their implementations.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ISO/IEC IS 10165–4 Information Technology - Open Systems Interconnection Structure of Management Information Part 4: Guidelines for the Definition of Managed Objects. ISO/IEC JTC1 SC21/WG4, July 1991.
E Cusack and G H B Rafsanjani. ZEST. In S Stepney, R Barden, and D Cooper, editors, Object Orientation in Z,pages 113–126. Springer-Verlag, 1992.
Elspeth Cusack, Steve Rudkin, and Chris Smith. An object oriented interpretation of LOTOS. In S Vuong, editor, Formal Description Techniques 1989. North-Holland, 1990.
Elspeth Cusack and Clazien Wezeman. Deriving tests for objects specified in Z. In J P Bowen and J E Nicholls, editors, Proceedings of Z User Workshop 1992. Springer-Verlag, 1993.
Roger Duke, Paul King, Gordon Rose, and Graham Smith. The object-Z specification language version 1. Technical Report 91–1, Software Verification Research Centre, Department of Computing Science, The University of Queensland, Australia, 1991.
A J Judge and C Wezeman. Formal Specification of Managed Objects A Case Study. In BT Technology Journal,1993.
G.H. Bagherzadeh Rafsanjani. Complex Networked Systems, ZEST - Z Extended with STructuring Task 9 Deliverable. Technical Report Issue 1. 0, BT, February 1993.
G.H Bagherzadeh Rafsanjani and S J Colwill. From Object-Z to C++: A Structural Mapping. In J P Bowen and J E Nicholls, editors, Proceedings of Z User Workshop 1992. Springer-Verlag, 1993.
S Rudkin. Modelling Information Objects in Z. In J. de Meer, editor, International Workshop on ODP. North-Holland, October 1992.
Steve Rudkin. Inheritance in LOTOS. In K R Parker and G A Rose, editors, Formal Description Techniques 1991. North-Holland, 1992.
Colin C Smith, editor. CCITT ITU Telecommunications Standardization Sector, TD3026 Revised E. CCITT Study Group 7, Rapporteur Group on Question 13/7, July 1993.
J M Spivey. The Fuzz Manual. Computing Science Consultancy, 2 Willow Close, Garsington, Oxford, OX9 9AN, second edition, January 1991.
J M Spivey. The Z Notation: A reference Manual. International Series in Computer Science. Prentice-Hall, second edition, 1992.
S Stepney, R Barden, and D Cooper (Eds). Object Orientation in Z. Springer-Verlag, 1992.
Bjarne Stroustrup. The C++ Programming L anguage. Addison.Wesley, Reading, MA, 2 edition, 1991.
Kenneth J. Turner, editor. Using Formal Description Techniques - An Introduction to ESTELLE, LOTOS and SDL. Wiley, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this paper
Cite this paper
Wezeman, C., Judge, T. (1994). Z for Managed Objects. In: Bowen, J.P., Hall, J.A. (eds) Z User Workshop, Cambridge 1994. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3452-7_7
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3452-7_7
Publisher Name: Springer, London
Print ISBN: 978-3-540-19884-0
Online ISBN: 978-1-4471-3452-7
eBook Packages: Springer Book Archive