A graphical tool for specification of reactive systems

Author

Systä, Kari

Author_Institution

Tampere Univ. of Technol., Finland

fYear

1991

fDate

12-14 Jun 1991

Firstpage

12

Lastpage

19

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Real Time Systems, 1991. Proceedings., Euromicro '91 Workshop on

Conference_Location

Paris-Orsay

Print_ISBN

0-8186-2210-5

Type

conf

DOI

10.1109/EMWRT.1991.144073

Filename

144073