A computer aided animation tool set

Computer based support for the animation of object oriented formal specifications is desirable and technically feasible. This has been brought about by the arrival of new formal notation similar to Z but employing object oriented principles. Initial work on an animation tool set which in addition to the usual editing and type checking facilities also provides tools for developing animations, is described. Prolog code is generated by automatic translation of the formal description. This executable code can then be transformed to obtain a number of views of a specification (A.J.J. Dick et al., 1989). The tool set includes a Prolog transformation system which performs both user guided and automatic optimisation of code