Animation of Object-Z Specifications Using a Z Animator

First International Conference on Software Engineering and Formal Methods (SEFM'03) p. 191
Animation of Object-Z Specifications Using a Z Animator
Tim McComb, University of Queensland
Graeme Smith, University of Queensland

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2003.1236221
Send link to a friend

Abstract
We discuss a methodology for animating the Object-Z specification language using a Z animation environment. Central to the process is the introduction of a framework to handle dynamic instantiation of objects and management of object references. Particular focus is placed upon building the animation environment through pre-existing tools, and a case study is presented that implements the proposed framework using a shallow encoding in the Possum Z animator. The animation of Object-Z using Z is both automated and made transparent to the user through the use of a software tool named Ozone.
Back to Top Additional Information
Citation: Tim McComb, Graeme Smith, "Animation of Object-Z Specifications Using a Z Animator," sefm, p. 191, First International Conference on Software Engineering and Formal Methods (SEFM'03), 2003

	Advanced Search
CS Search Google Search