Title :
An approach to animation of software specifications
Author :
Sugihara, Kazuo ; Takeda, Koji ; Inaba, Mitsuyuki
Author_Institution :
Dept. of Inf. & Comput. Sci., Hawaii Univ., Manoa, Honolulu, HI, USA
Abstract :
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
Keywords :
computer animation; formal specification; software tools; visual languages; visual programming; Petri net; animation; audio-visual effects; audio-visual specifications; concurrency; impact analysis; maintenance; program understanding; software development; software specifications; synchronization; visual language; Analytical models; Animation; Application software; Concurrent computing; Programming; Software algorithms; Software maintenance; Software systems; Software testing; Visualization;
Conference_Titel :
Visual Languages, 1993., Proceedings 1993 IEEE Symposium on
Conference_Location :
Bergen
Print_ISBN :
0-8186-3970-9
DOI :
10.1109/VL.1993.269560
