A translation of Statecharts into Signal

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.