Z++
   HOME

TheInfoList



OR:

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