HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

A Translation of Statecharts and Activitycharts into Signal Equations

Jean-René Beauvais 1 Roland Houdebine 1 Paul Le Guernic 1 Eric Rutten 1 Thierry Gautier 1
1 EP-ATR - Environnement de programmation d'applications temps réel
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : The languages for modeling reactive systems can be divided in two styles: the imperative, state-based ones and the declarative, data-flow ones. Each of them is best adapted to a given application domain. This paper, through the example of the languages Statecharts and Signal, shows a way to translate an imperative specification (Statecharts) to a declarative, equational one (Signal). This translation makes multi-formalism specification possible, and provides a support for the interoperability of the languages. It gives access from a Statecharts specification to the DC+ exchange format between the tools implementing the synchronous technology, using e.g. the clock calculus available in Signal. Statecharts specifications can thereby be applied functionalities of verification, validation, compilation, optimization, efficient and compact code generation, distributed and execution architecture-dependent code generation. The results presented here cover the essential features of StateCharts as well as of another language of Statemate: Activitycharts.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00073292
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 12:27:05 PM
Last modification on : Friday, February 4, 2022 - 3:24:31 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:41:19 PM

Identifiers

  • HAL Id : inria-00073292, version 1

Citation

Jean-René Beauvais, Roland Houdebine, Paul Le Guernic, Eric Rutten, Thierry Gautier. A Translation of Statecharts and Activitycharts into Signal Equations. [Research Report] RR-3397, INRIA. 1998. ⟨inria-00073292⟩

Share

Metrics

Record views

101

Files downloads

52