Back to Search
Start Over
An Object-Oriented Structuring for Z Based on Views.
- Source :
- ZB 2005: Formal Specification & Development in Z & B; 2005, p262-278, 17p
- Publication Year :
- 2005
-
Abstract
- There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) style. Our structuring is based on views, it uses the schema calculus, and it does not extend Z. The resulting OO Z specifications are comprehensible, modular, and conceptually clear. The modularity of the new approach supports a template-instantiation approach to expressing OO models in Z; practical formal verification and validation of the model can be undertaken using meta-proof, meta-lemmas, and formal snapshots. Keywords: Z, object-orientation. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISBNs :
- 9783540255598
- Database :
- Supplemental Index
- Journal :
- ZB 2005: Formal Specification & Development in Z & B
- Publication Type :
- Book
- Accession number :
- 32964328
- Full Text :
- https://doi.org/10.1007/11415787_16