Z++ (pronounced ''zed'', or ''zee'' in American
pronunciation
Pronunciation is the way in which a word or a language is spoken. To
This may refer to generally agreed-upon sequences of sounds used in speaking a given word or all language in a specific dialect—"correct" or "standard" pronunciation—or si ...
, ''plus plus'') is an
object-oriented
Object-oriented programming (OOP) is a programming paradigm based on the concept of '' objects''. Objects can contain data (called fields, attributes or properties) and have actions they can perform (called procedures or methods and impleme ...
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 exec ...
.
Z++ allows for the definition of
classes, and the relation of classes through
inheritance
Inheritance is the practice of receiving private property, titles, debts, entitlements, privileges, rights, and obligations upon the death of an individual. The rules of inheritance differ among societies and have changed over time. Offi ...
,
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
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