Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
An Object-Oriented Structuring for Z Based on Views
| |
|
An Object-Oriented Structuring for Z Based on Views
Nuno Amálio1 , Fiona Polack1 and Susan Stepney1 
| (1) |
Department of Computer Science, University of York, York, YO10 5DD, UK |
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.
Fulltext Preview (Small, Large)
|
|
|
|
|
|