Abstract
This paper defines an object-orientated extension, Z ++, to the popular specification language Z [24]. This extension makes explicit the known ob jectorientated characteristics of Z specifications and allows more complex forms of inheritance and views of specifications, as well as multi-levelled specifications. These encourage a healthy separation between implementation levels in systems, thus making modification and development of systems easier. We give examples of the use of the language, and describe related tools for interactive refinement and maintenance of systems written using this notation.
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
Bush E., Reverse Engineering Approaches in Industry, Proceedings of the 4th Software Maintenance Workshop, Centre for Software Maintenance, Durham University, 1990.
Coad P., Yourdon E., Object Orientated Analysis, Yourdon Press/PrenticeHall 1990.
Di Giovanni, R., Iachini P. L., HOOD and Z for the Development of Complex Software Systems, VDM ‘80 - VDM and Z, LNCS 428, D. Bjorner, C. A. R. Hoare (eds.), 1990, pp 262–289.
Duke R., Rose G., Smith G., Formal Specification of Object-Orientated Systems, Key Centre for Software Technology, Dept. of Computer Science, University of Queensland, 1990.
Duke D., Duke R., Towards a Semantics for Object-Z, VDM ‘80 - VDM and Z, LNCS 428, D. Bjorner, C. A. R. Hoare (eds), 1990, pp 244–261.
Hall A., Using Z as a specification calculus for Object-Orientated sys- tems, VDM ‘80 - VDM and Z, LNCS 428, D. Bjorner, C. A. R. Hoare (eds), 1990, pp 290–318.
Haughton H., Lano K., Three Dimensional Maintenance, Proceedings of the 4th Software Maintenance Workshop, Centre for Software Maintenance, Durham University, 1990.
Heyes I., Specifying the CICS Application Programmers Interface, PRG Technical Report PRG-47, Oxford University Programming Research Group, July 1985.
Goguen J.E., Hyperprogramming: A Formal Approach to Software Environments, Programming Research Group, Oxford, 1990.
Goguen J. E., Meseguer, J., Unifying Functional, Object-Orientated and Relational Programming with Logical Semantics, SRI International 1987.
Goguen J. E., Tse T. H., Functional Object-Orientated Design (FOOD), Programming Research Group 1990.
Goodland M., Ashworth C., SSADM - A Practical Approach, McGraw Hill, London, 1990.
Katsoulakos P., The REDO Project, ESPRIT 1989 Conference, Brussels, November 1989.
Khabaza I., Report on Task 101: The Representation of Environment Interaction, REDO Project Document, Lloyds Register of Shipping, 1990.
Lano K., The Semantics of Z++,REDO Project Document 2487-TN-PRG1045, Programming Research Group, 1990.
Meyer B., Object Orientated Software Construction,Prentice Hall, 1988, 534 pages.
Morgan C., On The Refinement Calculus, PRG Technical Monograph 70, Programming Research Group, Oxford University, Oct 1988.
Phillips M., CIOS/ESA 3.1 Experience, Z User Workshop, Springer-Verlag Workshops in Computing, Nicholls J. (ed ), September 1990.
Reps T., Algebraic Properties Of Program Integration, Proceedings of the 3rd European Symposium on Programming, (Copenhagen, Denmark), Lecture Notes in Computer Science 432, Jones N. (ed), Springer-Verlag, New York, 1990.
Sampaio A., Meira S., Modular Extensions to Z,VDM `90: VDM and Z, Lecture Notes in Computer Science 428, Bjorner D., Hoare C.A.R. (Eds.), pp 211–232.
Sampaio A., OOZE, Programming Research Group, Oxford University 1990.
Sorenson I. H., The B-Tool and an example of Automatic Refinement, BP Software Engineering Section, November 1989.
Spivey M., The Z Notation: A Reference Manual, Prentice Hall, London, 1989.
Spivey M., Understanding Z,Cambridge University Press, 1988.
Stanley-Smith C., Cahill T., UNIFORM: A Language Geared To System Independence, REDO Project Document UL-TN-1002, 1989.
Zimmer J. A., Restructuring For Style, Software - Practice and Experience, Vol. 20 (4), April 1990, 365–389.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lano, K. (1991). Z++, An Object-Orientated Extension To Z. In: Nicholls, J.E. (eds) Z User Workshop, Oxford 1990. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3540-1_11
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3540-1_11
Publisher Name: Springer, London
Print ISBN: 978-3-540-19672-3
Online ISBN: 978-1-4471-3540-1
eBook Packages: Springer Book Archive