Abstract
This paper presents a framework for developing Z specifications in an object-oriented style. Within the framework, object-oriented concepts and design strategies are captured by the application of development operators. The framework also records the history of operator application enabling “classes” to be identified and, hence, the possibility of modular verification and refinement.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alencar A, Goguen J. OOZE: An object oriented Z environment. In America P (ed), Proceedings European Conference on Object-Oriented Programming (ECOOP’91), vol 512 of Lecture Notes in Computer Science, pp 180–199. Springer-Verlag, 1991.
Booch G. Object-Oriented Design with Applications. Addison-Wesley, 1990.
Duke R, Duke D. Aspects of object-oriented formal specification. In Proceedings 5th Australian Software Engineering Conference (ASWEC’90), pp 21–26, Sydney, 1990.
Duke R, King P, Rose G, Smith G. The Object-Z specification language: Version 1. Technical Report 91–1, Software Verification Research Centre, Department of Computer Science, University of Queensland, Australia, 1991.
Finance J, Lévy N, Souquières J, Valdenaire A. SACSO: un environnement d’aide à la spécification. T.S.I., 9 (3): 245–261, 1990.
Hall A. Using Z as a specification calculus for object-oriented systems. In Bjorner D, Hoare C, Langmaack H (eds), VDM’90: VDM and Z!, vol 428 of Lecture Notes in Computer Science, pp 290–318. Springer-Verlag, 1990.
Schuman S, Pitt D. Object-oriented subsystem specification. In Meertens L (ed), Program Specification and Transformation, pp 313–341. North-Holland, 1987.
Souquières J, Lévy N. Description of specification developments. In Proceedings IEEE International Symposium on Requirements Engineering, San Diego, 1993.
Spivey J. The Z Notation: A Reference Manual. Series in Computer Science. Prentice-Hall International, 1989.
Stepney S, Barden R, Cooper D (eds). Object Orientation in Z. Workshops in Computing. Springer-Verlag, 1992.
Whysall P, McDermid J. An approach to object oriented specification using Z. In Nicholls J (ed), Z User Workshop Oxford 1990. Springer-Verlag, 1990.
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
Smith, G. (1994). An Object-Oriented Development Framework for Z. 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_6
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3452-7_6
Publisher Name: Springer, London
Print ISBN: 978-3-540-19884-0
Online ISBN: 978-1-4471-3452-7
eBook Packages: Springer Book Archive