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.
My Menu
Saved Items

An Object-Oriented Structuring for Z Based on Views

Nuno AmálioContact Information, Fiona PolackContact Information and Susan StepneyContact Information

(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.

Contact Information Nuno Amálio
Email: namalio@cs.york.ac.uk

Contact Information Fiona Polack
Email: fiona@cs.york.ac.uk

Contact Information Susan Stepney
Email: susan@cs.york.ac.uk
Fulltext Preview (Small, Large)
Image of the first page of the fulltext


Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.110 • Server: MPWEB25
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)