Abstract
OOZS, which stands for ‘Object-Oriented Z Structured’, is an extension of the formal specification language Z to accommodate object orientation. It extends Z with a number of features that provide support for object-oriented design and management of specifications of very large systems. In addition to the usual object-oriented structures such as encapsulation into classes and inheritance, OOZS has some distinctive features: the Include facility, Import&Export mechanism, Pre&Post predicate, and the improved Delta&Xi list. This paper gives a brief description of this language.
Similar content being viewed by others
References
Spivey, J. M. The Z notation: a reference manual, Prentice Hall, 1992.
Carrington, D. et al, Object—Z: An object—oriented exnsion to Z. In Formal Description Techniques, II(FORTE’89), 281–296. North-Holland, 1990.
K Lano. Z++, an object-oriented extension to Z. In J Nicholls, editor, Z User Meeting, Oxford, UK, Workshops in Computing. Springer-Verlag, 1991.
Pan Xule, ZS: A Structured Specification Language, The postgraduate thesis of Shanghai University of Science and Technology, 1994 (in Chinese)
Miao Huaikou, Zhu Guanming and Tong Fu, A New Model for Software Development based on AI Production System, Proc. of Changsha International CASE Symposium, Changsha, China, Oct. 1995
Tong Fu and Shen Yidong, Knowledge Engineering, 25–26 Science Press, Beijing China, 1992 (in Chinese)
Morgan, C. Programming From Specifications. Prentice Hall, 1992.
Li Gang, Zhu Guanming, A Computational Model for Software Refinement, Journal of Shanghai University(Natural Science), 2 (3) (1996) (in Chinese)
Author information
Authors and Affiliations
About this article
Cite this article
Li, G., Miao, H. & Zhu, G. OOZS: an object-oriented structured formal specification language. J. of Shanghai Univ. 1, 70–74 (1997). https://doi.org/10.1007/s11741-997-0047-8
Received:
Issue Date:
DOI: https://doi.org/10.1007/s11741-997-0047-8