The Z Notation
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.
KeywordsGlobal Constraint Resource Type Operation Schema Proof Obligation Predicate Part
Unable to display preview. Download preview PDF.
- 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.Google Scholar
- 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.MathSciNetCrossRefGoogle Scholar
- 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.Google Scholar
- 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.Google Scholar
- I.J. Hayes (Ed.), Specification Case Studies, Prentice Hall International (UK), 1987.Google Scholar
- 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.Google Scholar
- C. Morgan and T. Vickers (Eds.), On the Refinement Calculus, Springer-Verlag, London, England, 1994.Google Scholar
- J.M. Spivey, The fuzz Reference Manual, J.M. Spivey Computing Science Consultancy, Oxford OX44 9AN, U.K., 1992.Google Scholar
- J.M. Spivey, The Z Notation — A Reference Manual (second edition), Prentice Hall International (UK), 1992.Google Scholar
- S. Stepney, R. Barden, and D. Cooper (Eds.), Object-Orientation in Z, Workshops in Computing Series, Springer-Verlag, London, England, 1992.Google Scholar
- J.B. Wordsworth, Software Development with Z, Addison-Wesley Publishing Company, International Computer Science Series, 1992.Google Scholar
- The Z Notation, ISO/IEC JTC 1/SC22 CD 13568, September 1995.Google Scholar