© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Validation of object-oriented models using animation
Ian Oliver and Stuart Kent
pages 182-196, September 1999 Proceedings of EuroMicro'99, Milan, Italy.Abstract
Experience has shown that prototyping is a valuable technique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation is a technique where a design itself can be `executed' without the need to translate to a high-level language to build a pro- totype. While animation has been implemented with formal specification languages such as VDM, Z and B and used with some success, we feel that its application to a more graphical specification language/notation would introduce animation to a wider range of software designers. This paper discusses the basis of a technique for the animation of rigorously specified object-oriented models written using the Unified Modelling Language and the Object Constraint Language.
Download publication
107 kbytes
(PDF)
Bibtex Record
@inproceedings{755, author = {Ian Oliver and Stuart Kent}, title = {Validation of Object-Oriented Models using Animation}, month = {September}, year = {1999}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {Proceedings of EuroMicro'99, Milan, Italy}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1999/755}, }