Z-Notation
Z ist der Name einer Notation zur formalen Spezifikation von Software-Systemen und -Modulen.
Z basiert auf der Zermelo-Fraenkel-Mengenlehre und der Prädikatenlogik erster Stufe. Spezifikationen für komplexe Software-Systeme in Z werden durch die hierarchische Komposition von Schemata erreicht. Ein Schema besteht dabei aus einer Anzahl typisierter Variablen und Bedingungen, welche an die Belegungen der Variablen gestellt werden.
Z wurde von Jean-Raymond Abrial Ende der 1970er Jahre geschaffen und durch die Programming Research Group im Oxford University Computing Laboratory weiterentwickelt. Im Jahr 2002 wurde Z durch die ISO (ISO 13568) standardisiert.
Erweiterungen
Object-Z
Object-Z ist eine objektorientierte Erweiterung, die an der University of Queensland, Australien, entwickelt wurde. Sie erweitert Z durch Sprachkonstrukte, die den objektorientierten Paradigmen ähneln. Im Wesentlichen sind dies Klassen, Vererbung und Polymorphismus.
Object-Z ist zwar nicht so populär wie Z selbst, doch es erhielt erhebliche Aufmerksamkeit von der formalen Spezifikations-Gemeinschaft. Untersuchungen über verschiedene Aspekte der Sprache erfolgen derzeit, einschließlich-Sprachen, die Object-Z nutzen und diverser Tool-Unterstützungen (z. B. durch das Community Z-Tools-Projekt).
Z++
Z++ ist eine objektorientierte Erweiterung der Z-Notation.<ref name=Z++>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, S. 151–172, BibTeX-Eintrag im Digital Bibliography & Library Project</ref>
Literatur
- Vorlage:Cite book/URLVorlage:Cite book/Meldung2Vorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/Meldung
- Vorlage:Cite book/URLVorlage:Cite book/Meldung2Vorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/Meldung
- Vorlage:Cite book/URLVorlage:Cite book/Meldung2Vorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/Meldung
- Vorlage:Cite book/URLVorlage:Cite book/Meldung2Vorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/Meldung
- Vorlage:Cite book/URLVorlage:Cite book/Meldung2Vorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/Meldung
- Vorlage:Cite book/URLVorlage:Cite book/Meldung2Vorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/MeldungVorlage:Cite book/Meldung
- 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, S. 281–296, North-Holland, 1990.
- Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics (ISO/IEC 13568:2002)
Weblinks
- Community Z Tools
- CADiZ (Free Software Tools that assist the use of Z)
- Object-Z Webseite, University of Queensland, Australien
- Z User Meetings, International Conference of Z Users
- ISO 13568
Einzelnachweise
<references />