Title :
A translation of Statecharts into Signal
Author :
Beauvais, J.-R. ; Gautier, T. ; Le Guernic, P. ; Houdebine, R. ; Rutten, E.
Author_Institution :
Campus de Beaulieu, IRISA, Rennes, France
Abstract :
The languages for modeling reactive systems can be divided in two styles: the imperative ones and the declarative ones. The paper shows a way to translate a Statecharts specification (imperative) to a Signal one (declarative, equational, synchronous). This translation gives access to the Signal tools from a Statecharts specification: verification, efficient/distributed/compact code generation using the clock calculus available in Signal
Keywords :
formal specification; program interpreters; program verification; systems analysis; Signal specification; Signal tools; Statecharts specification; clock calculus; efficient/distributed/compact code generation; reactive systems modeling languages; verification; Automata; Calculus; Circuits; Clocks; Control systems; Equations; Signal design; Signal generators; Signal processing; Wiring;
Conference_Titel :
Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on
Conference_Location :
Fukushima
Print_ISBN :
0-8186-8350-3
DOI :
10.1109/CSD.1998.657539
