Abstract
The concrete syntax of Object-Z extends that of Z with productions for class paragraphs and their associated definitions — visibility lists, inherited class designators, state schemas, initial state schemas and operations. In addition, the productions for predicates are extended to include initial state predicate promotions and (Boolean-valued) expressions, and the productions for expressions are extended to include class names, expressions involving polymorphism, class union and object containment, attribute promotion and the constant self.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
Smith, G. (2000). Concrete Syntax. In: The Object-Z Specification Language. Advances in Formal Methods, vol 1. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5265-9_6
Download citation
DOI: https://doi.org/10.1007/978-1-4615-5265-9_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7401-5
Online ISBN: 978-1-4615-5265-9
eBook Packages: Springer Book Archive