School of Computing

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},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014