Z++

Z++ is also a version of the C++ programming language (not to be confused with Z++ that this article is about).

Z++ (pronounced zed plus plus) was an object-oriented extension to the Z specification language.

Z++ is an object-oriented extension to the Z specification language, allowing for the definition of classes, and the relation of classes through inheritance, association 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
  [OWNS List_of_attributes]
  [FUNCTIONS constant_definitions]
  [TYPE type_declaration]
  [ENTENDS list_of_super_classes]
  [OPERATIONS list_of_state_change_operations_definitions]
  [RETURNS list_of_query_operations_definitions]
  [ACTIONS all_operations_declarations]
  [INVARIANT predicates]
  [HISTORY 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, Workshops in Computing, 1991, pp. 151–172.

This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.

• Lano, K.C., Formal Object-Oriented Development. Springer-Verlag, London, 1995.

• AAOB - Thesis 2009.