An approach to animation of software specifications

This paper addresses animation of software specifications that can ease understanding of the properties of software specifications which are not easy to capture from the specifications alone. It is useful for program understanding, testing, simulation, impact analysis, etc., in software development and maintenance. They present the basic concepts of a visual language for specifying animation of software specifications. In their approach, a scenario of animation is specified by using a Petri net, which enables us to describe concurrency and synchronization in animation, and audio-visual effects are associated with objects in software specifications. This is a step toward audio-visual specifications of a software system