Title :
A graphical tool for specification of reactive systems
Author_Institution :
Tampere Univ. of Technol., Finland
Abstract :
A prototype of a simulation tool with graphical visualization and animation facilities has been implemented for the DisCo specification language. The paper describes the basic ideas behind it, with emphasis on the visualization and animation facilities. The DisCo language is designed so that formal reasoning can be used to ensure critical properties of the specification. Simulation with animation is intended to complement the formal reasoning, not to replace it. Another purpose of graphical animation is to visualize specifications so that their authors and the `customers´ can more easily discuss them
Keywords :
computer animation; digital simulation; graphical user interfaces; software tools; specification languages; visual programming; DisCo specification language; animation facilities; critical properties; formal reasoning; graphical animation; graphical visualization; joint action specification; reactive systems; simulation tool; Animation; Cultural differences; Data structures; Data visualization; Displays; Formal specifications; Natural languages; Shape; Specification languages; Virtual prototyping;
Conference_Titel :
Real Time Systems, 1991. Proceedings., Euromicro '91 Workshop on
Conference_Location :
Paris-Orsay
Print_ISBN :
0-8186-2210-5
DOI :
10.1109/EMWRT.1991.144073
