Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Horizontal and vertical structuring techniques for statecharts

: Klar, M.; Ehrig, H.; Geisler, R.; Padberg, J.

Mazurkiewicz, A.; Winkowski, J.:
CONCUR '97. Concurrency theory. 8th International Conference. Proceedings
Berlin: Springer, 1997 (Lecture Notes in Computer Science 1243)
ISBN: 3-540-63141-0
ISSN: 0302-9743
CONCUR <8, 1997, Warschau>
Fraunhofer ISST ()
statechart; Strukturierungstechnik; Verfeinerung

In this paper we present an algebraic approach to statecharts as they are used in the STATEMATE tool in the style of "Petri-Nets are Monoids" for place-transition nets developed by Meseguer and Montanari. We apply the framework of high-level-replacement systems, a categorical generalization of graph transformation systems, in order to define union as horizontal as well as transformation and refinement as vertical structuring techniques for statecharts. The first main result shows compatibility of union and transformation in a suitable category of statecharts. We present an algorithm for the computation of all transitions enabled within one step. The second main result shows the correctness of this algorithm. We define refinement morphisms for statecharts, which allow refinement of arbitrary states, in contrast to concepts in the literature where only basic and root states are subject of refinement, The third main result shows that refinement morphisms are compatible with the behavior o f statecharts as defined in the formal semantics.