Z for Managed Objects

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.

[1]  Susan Stepney,et al.  Object Orientation in Z , 1992, Workshops in Computing.

[2]  Graeme Smith,et al.  The object-Z specification language: version 1 , 1991 .

[3]  Clazien D. Wezeman,et al.  Deriving Tests for Objects Specified in Z , 1992, Z User Workshop.

[4]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[5]  Steve Rudkin.  Inheritance in LOTOS , 1991, FORTE.

[6]  Chris Smith,et al.  An Object Oriented Interpretation of LOTOS , 1989, FORTE.

[7]  G.-H. Bagherzadeh Rafsanjani,et al.  From Object-Z to C++: A Structural Mapping , 1992, Z User Workshop.

[8]  Kenneth J. Turner,et al.  Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL , 1993 .

[9]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[10]  Steve Rudkin,et al.  Modelling Information Objects in Z , 1991, Open Distributed Processing.