| Publication type: |
 |
Article in peer-reviewed journal |
|
| Subject: |
|
Computer Science/Embedded Systems
|
|
| Title: |
|
Modelling Statecharts and Activitycharts as Signal equations |
|
| Author(s): |
|
Jean-René Beauvais 1, Éric Rutten ( ) 2, Thierry Gautier () 1, Roland Houdebine 1, Paul Le Guernic () 1, Yan-Mei Tang 1 |
|
| Laboratory: |
|
|
|
| Abstract: |
|
The languages for modeling reactive systems are of different styles, like the imperative, state-based ones and the declarative, data-flow ones. They are adapted to different application domains. This paper, through the example of the languages Statecharts and Signal, shows a way to give a model of an imperative specification (Statecharts) in a declarative, equational one (Signal). This model constitutes a formal model of the Statemate semantics of Statecharts, upon which formal analysis techniques can be applied. Being a transformation from an imperative to a declarative structure, it involves the definition of generic models for the explicit management of state (in the case of control as well as of data). In order to obtain a structural construction of the model, a hierarchical and modular organization is proposed, including proper management and propagation of control along the hierarchy. The results presented here cover the essential features of Statecharts as well as of another language of Statemate: Activitycharts. As a translation, it makes multiformalism specification possible, and provides support for the integrated operation of the languages. The motivation lies also in the perspective of gaining access to the various formal analysis and implementation tools of the synchronous technology, using the DC exchange format, as in the Sacres programming environment. |
|
| Fulltext language: |
|
English |
|
|
| Journal: |
|
| ACM Transactions on Software Engineering and Methodology |
| Publisher |
Association for Computing Machinery (ACM) |
| ISSN |
1049-331X |
|
|
| Audience: |
|
international |
|
| Publication date: |
|
2001-10 |
|
| Volume: |
|
10 |
|
| Issue: |
|
4 |
|
| Page, identifiant, ...: |
|
397-451 |
|
|
| Keyword(s): |
|
languages – behavioral modeling – reactive systems – Statecharts – Statemate – synchronous languages – Signal |
|
|
Export this paper
