In this paper we consider a simple kind of the statechart language which is supported by the CASE tool Rhapsody. This kind of statecharts is already modeled in [4] using graph transformation. In accordance to [4], we allow hierarchical composition (sub-states and super-states) and parallel composition (combination of states by conjunction). A sample statechart is shown by Figure 1. It models the behavior of a blower withHigh andLow ventilation mode and three different temperature modes. Important is the fact that transitions of the following kinds are not permitted: (1) transitions between states of different statecharts which are not nested inside each other (e.g. a trans itio fromLow to Warm or fromStandby to Cool), (2) transitions between a state and one of its super-states (e.g. a transition from Low to its super-stateOn or fromStandby to NotOn), (3) transitions which enter sub-diagrams of parallel states (e.g. a transition fromNotOn to High).
[1]
Gabriele Taentzer,et al.
Visual Language Parsing in GenGEd
,
2001,
Electron. Notes Theor. Comput. Sci..
[2]
Andy Schürr,et al.
Defining and Parsing Visual Languages with Layered Graph Grammars
,
1997,
J. Vis. Lang. Comput..
[3]
Hartmut Ehrig,et al.
Generic Description, Behavior and Animation of Visual Modeling Languages
,
2001
.
[4]
Roswitha Bardohl.
GENGED: visual definition of visual languages: based on algebraic graph transformation
,
1999
.
[5]
Gabriele Taentzer,et al.
Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation
,
2000,
Proceeding 2000 IEEE International Symposium on Visual Languages.