Z notation
Z is the name of a notation for the formal specification of software systems and modules.
Z is based on the Zermelo-Fraenkel set theory and first-level predicate logic . Specifications for complex software systems in Z are achieved through the hierarchical composition of schemes. A scheme consists of a number of typified variables and conditions that are placed on the assignments of the variables.
Z was created by Jean-Raymond Abrial in the late 1970s and further developed by the Programming Research Group at Oxford University Computing Laboratory . In 2002 Z was standardized by ISO ( ISO 13568 ).
Extensions
Object-Z
Object-Z is an object-oriented extension that was developed at the University of Queensland, Australia. It extends Z through language constructs that are similar to the object-oriented paradigms. Essentially, these are classes , inheritance, and polymorphism .
While Object-Z is not as popular as Z itself, it has received significant attention from the formal specification community. Research is underway on various aspects of the language, including languages that use Object-Z and various tool supports (e.g. through the Community Z-Tools project).
Z ++
Z ++ is an object-oriented extension of the Z notation.
literature
- J. Michael Spivey: The Z Notation: a reference manual , 2nd edition. Edition, Prentice Hall International Series in Computer Science, 1992, ISBN 0-13-978529-9 .
- Jim Davies and Jim Woodcock: Using Z: Specification, Refinement and Proof . Prentice Hall International Series in Computer Science, 1996, ISBN 0-13-948472-8 .
- Jonathan Bowen : Formal Specification and Documentation using Z: A Case Study Approach . International Thomson Computer Press, 1996, ISBN 1-85032-230-9 .
- Jonathan Jacky: The Way of Z: Practical Programming with Formal Methods . Cambridge University Press, 1997, ISBN 0-521-55976-6 .
- Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics, ISO / IEC 13568: 2002 2002.
- Z: An Introduction to Formal Methods , 2nd edition. Edition, John Wiley & Sons Ltd, 1996, ISBN 0-471-93973-0 .
- Object-Z: An object-oriented extension to Z. , David A. Carrington, David Duke, Roger Duke, Paul King, Gordon A. Rose, and Graeme Smith. in S. Vuong, Formal Description Techniques II, FORTE'89, pp. 281-296, North-Holland, 1990.
- Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics ( ISO / IEC 13568: 2002 )
Web links
- Community Z Tools
- CADiZ (Free Software Tools that assist the use of Z)
- Object-Z website , University of Queensland, Australia
- Z User Meetings , International Conference of Z Users
Individual evidence
- ↑ Lano, Kevin, Z ++, an Object-Oriented Extension to Z in Proceedings of the 5th Annual Z User Meeting, Oxford 1990, Workshops in Computing, Springer-Verlag 1991, pp. 151-172, BibTeX entry in the Digital Bibliography & Library Project