Syntactic Constructs

  • Graeme Smith
Part of the Advances in Formal Methods book series (ADFM, volume 1)


An Object-Z specification, like a Z specification, comprises a list of formal paragraphs — type definitions, axiomatic definitions, global predicates, schema definitions and class definitions — interleaved with informal explanatory text and diagrams. As in Z, line breaks in axiomatic definitions and schema definitions, including those that occur within class definitions, are interpreted as semicolons — that is, as declaration or predicate separators — except when such an interpretation is syntactically invalid, in which case they are, as in other parts of the specification, ignored.


Auxiliary Variable Object Identity State Schema Operation Schema Local Definition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 2000

Authors and Affiliations

  • Graeme Smith
    • 1
  1. 1.University of QueenslandAustralia

Personalised recommendations