Publica
Hier finden Sie wissenschaftliche Publikationen aus den FraunhoferInstituten. Horizontal and vertical structuring techniques for statecharts
 Mazurkiewicz, A.; Winkowski, J.: CONCUR '97. Concurrency theory. 8th International Conference. Proceedings Berlin: Springer, 1997 (Lecture Notes in Computer Science 1243) ISBN: 3540631410 ISSN: 03029743 pp.181195 
 CONCUR <8, 1997, Warschau> 

 English 
 Conference Paper 
 Fraunhofer ISST () 
 statechart; Strukturierungstechnik; Verfeinerung 
Abstract
In this paper we present an algebraic approach to statecharts as they are used in the STATEMATE tool in the style of "PetriNets are Monoids" for placetransition nets developed by Meseguer and Montanari. We apply the framework of highlevelreplacement 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.