imported>SchlurcherBot: Bot: http → https

2026-04-19T22:02:54Z

Bot: http → https

Neue Seite

'''Z''' ist der Name einer [[Notation]] zur [[Formale Spezifikation|formalen Spezifikation]] von Software-Systemen und -Modulen.

Z basiert auf der [[Zermelo-Fraenkel-Mengenlehre]] und der [[Prädikatenlogik|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 [[International Organization for Standardization|ISO]] ([[ISO 13568]]) standardisiert.

== Erweiterungen ==
[[Datei:Object-Z.png|mini|Beispiel in Object-Z]]

=== 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 [[Klasse (objektorientierte Programmierung)|Klassen]], [[Vererbung (Programmierung)|Vererbung]] und [[Polymorphie (Programmierung)|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 Science+Business Media|Springer-Verlag]] 1991, S. 151–172, [https://dblp.uni-trier.de/rec/bibtex/conf/zum/Lano90 BibTeX-Eintrag] im [[Digital Bibliography & Library Project]]</ref>

== Literatur ==
*{{cite book
| author = J. Michael Spivey
| title = The Z Notation: a reference manual
| edition = 2nd edition
| year = 1992
| isbn = 0-13-978529-9
| publisher = Prentice Hall International Series in Computer Science
| url = https://spivey.oriel.ox.ac.uk/corner/Z_Reference_Manual
| language = en
}}
*{{cite book
| author = Jim Davies and Jim Woodcock
| title = Using Z: Specification, Refinement and Proof
| year = 1996
| isbn = 0-13-948472-8
| publisher = Prentice Hall International Series in Computer Science
| url = http://www.usingz.com/text/online/
| language = en
}}
*{{cite book
| author = [[Jonathan Bowen]]
| title = Formal Specification and Documentation using Z: A Case Study Approach
| year = 1996
| isbn = 1-85032-230-9
| publisher = International Thomson Computer Press
| url = http://www.zuser.org/zbook/
| language = en
}}
*{{cite book
| author = Jonathan Jacky
| title = The Way of Z: Practical Programming with Formal Methods
| year = 1997
| isbn = 0-521-55976-6
| publisher = Cambridge University Press
| url = https://staff.washington.edu/jon/z-book/
| language = en
}}
*{{cite book
| author =
| title = Information Technology – Z Formal Specification Notation – Syntax, Type System and Semantics, ISO/IEC 13568:2002
| year = 2002
| isbn =
| publisher =
| url =
| language = en
}}
*{{cite book
| author =
| title = Z: An Introduction to Formal Methods
| edition = 2nd edition
| year = 1996
| isbn = 0-471-93973-0
| publisher = John Wiley & Sons Ltd
| url =
| language = en
}}
* ''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.
* ''[https://standards.iso.org/ittf/PubliclyAvailableStandards/c021573_ISO_IEC_13568_2002(E).zip Information Technology — Z Formal Specification Notation — Syntax, Type System and Semantics]'' ([https://www.iso.org/standard/21573.html ISO/IEC 13568:2002])

== Weblinks ==
* [https://czt.sourceforge.net/ Community Z Tools]
* [http://www.cs.york.ac.uk/hise/cadiz/home.html CADiZ (Free Software Tools that assist the use of Z)]
* [http://www.itee.uq.edu.au/~smith/objectz.html Object-Z Webseite], University of Queensland, Australien
* [http://www.zuser.org/zum/ Z User Meetings], International Conference of Z Users
* [https://standards.iso.org/ittf/PubliclyAvailableStandards/c021573_ISO_IEC_13568_2002(E).zip ISO 13568]

== Einzelnachweise ==
<references />

{{SORTIERUNG:ZNotation}}
[[Kategorie:Softwaretechnik]]

Z-Notation - Versionsgeschichte

imported>SchlurcherBot: Bot: http → https