Z++ (pronounced ''zed'', or ''zee'' in American
pronunciation
Pronunciation is the way in which a word or a language is spoken. This may refer to generally agreed-upon sequences of sounds used in speaking a given word or language in a specific dialect ("correct pronunciation") or simply the way a particular ...
, ''plus plus'') is an
object-oriented
Object-oriented programming (OOP) is a programming paradigm based on the concept of "objects", which can contain data and code. The data is in the form of fields (often known as attributes or ''properties''), and the code is in the form of pro ...
extension to the
Z specification language
A specification language is a formal language in computer science used during systems analysis, requirements analysis, and systems design to describe a system at a much higher level than a programming language, which is used to produce the executa ...
.
Z++ allows for the definition of
classes, and the relation of classes through
inheritance
Inheritance is the practice of receiving private property, Title (property), titles, debts, entitlements, Privilege (law), privileges, rights, and Law of obligations, obligations upon the death of an individual. The rules of inheritance differ ...
,
association
Association may refer to:
*Club (organization), an association of two or more people united by a common interest or goal
*Trade association, an organization founded and funded by businesses that operate in a specific industry
*Voluntary associatio ...
, or
aggregation. The primary construct of Z++ is a class. A Z++ class consists of a number of clauses which are optional.
Z++ class structure
''CLASS ClassName
WNS List_of_attributes UNCTIONS constant_definitions YPE type_declaration NTENDS list_of_super_classes PERATIONS list_of_state_change_operations_definitions ETURNS list_of_query_operations_definitions CTIONS all_operations_declarations NVARIANT predicates ISTORY RTL_predicates END CLASS
See also
*
Object-Z
Object-Z is an object-oriented extension to the Z notation developed at the University of Queensland, Australia.
Object-Z extends Z by the addition of language constructs resembling the object-oriented paradigm, most notably, classes. Other obje ...
References
*
Lano, K.C., ''Z++, an Object-Oriented Extension to Z''. Z User Workshop, Oxford 1990,
Springer
Springer or springers may refer to:
Publishers
* Springer Science+Business Media, aka Springer International Publishing, a worldwide publishing group founded in 1842 in Germany formerly known as Springer-Verlag.
** Springer Nature, a multinationa ...
, Workshops in Computing, 1991, pp. 151–172.
* Lano, K.C., Formal Object-Oriented Development. Springer-Verlag, London, 1995.
* AAOB - Thesis 2009.
1990 introductions
Specification languages
Z notation
Object-oriented programming
{{compu-lang-stub