A Translation of Statecharts into Signal Approach of Time, Interoperability

The languages for modeling reactive systems can be divided in two styles: the imperative ones and the declarative ones. This 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.