Abstract
The Z notation (pronounced as zed, named after the German mathematician Ernst Zermelo) originated at the Oxford University Computing Laboratory, UK, and has evolved over the last decade into a conceptually clear and mathematically welldefined specification language. The mathematical bases for Z notation are ZF set theory and the classical two-valued predicate logic. An interesting feature of the Z specification language is the schema notation. Using schemas, one can develop modular specifications in Z and compose them using schema calculus.
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.
References
VS. Alagar and K. Periyasamy, “Real-Time Object-Z: A Language for the Specification and Design of Real-Time Reactive Systems,” Technical Report, Department of Computer Science, Concordia University, Montreal, Canada, June 1996.
P. Baumann and K. Lermer, “A Framework for the Specification of Reactive and Concurrent Systems in Z,” Proceedings of the Fifteenth Conference on Foundations of Software Technology and Theoretical Computer Science; published as Lecture Notes in Computer Science Series, Vol. 1026, Springer-Verlag, 1995, pp. 62–79.
J.M. Carrido, “Specification of Real-Time Systems with Extensions to Object-Z,” Proceedings of Technology of Object-Oriented Languages and Systems (TOOLS USA), Santa Barbara, CA, 1995, pp. 167–179.
A.C. Coombes and J.A. McDermid, “Specifying Temporal Requirements for Distributed Real-Time Systems in Z,” Technical Report YCS176, Computer Science Department, University of York, Heslington, York, England, 1992.
R. Duke, G. Rose, and G. Smith, “Object-Z: A Specification Language for the Description of Standards,” Computer Standards & Interfaces, Vol. 17, 1995, pp. 511–533.
I.J. Hayes (Ed.), Specification Case Studies, Prentice Hall International (UK), 1987.
B.P. Mahony and I.J. Hayes, “A Case-Study in Timed Refinement: A Mine Pump,” IEEE Transactions on Software Engineering, Vol. 18, No. 9, September 1992, pp. 817–826.
S.L. Meira and A.L.C. Cavalcanti, “The MooZ Specification Language,” Technical Report, Departamento de Informática, Universidade Federal de Pernambuco, Recife — PE, Brasil, 1992.
C. Morgan and T. Vickers (Eds.), On the Refinement Calculus, Springer-Verlag, London, England, 1994.
B. Potter, J. Sinclair, and D. Till, An Introduction to Formal Specification and Z, Prentice Hall International (UK), 1991.
J.M. Spivey, The fuzz Reference Manual, J.M. Spivey Computing Science Consultancy, Oxford OX44 9AN, U.K., 1992.
J.M. Spivey, The Z Notation — A Reference Manual (second edition), Prentice Hall International (UK), 1992.
S. Stepney, R. Barden, and D. Cooper (Eds.), Object-Orientation in Z, Workshops in Computing Series, Springer-Verlag, London, England, 1992.
J.C.P. Woodcock and J. Davies, Using Z: Specification, Refinement and Proof, Prentice Hall International (UK), 1996.
J.B. Wordsworth, Software Development with Z, Addison-Wesley Publishing Company, International Computer Science Series, 1992.
The Z Notation, ISO/IEC JTC 1/SC22 CD 13568, September 1995.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media New York
About this chapter
Cite this chapter
Alagar, V.S., Periyasamy, K. (1998). The Z Notation. In: Specification of Software Systems. Graduate Texts in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-2920-7_10
Download citation
DOI: https://doi.org/10.1007/978-1-4757-2920-7_10
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4757-2922-1
Online ISBN: 978-1-4757-2920-7
eBook Packages: Springer Book Archive