Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


OMER - Object-Oriented Modeling of Embedded Real-Time Systems, GI- Workshops OMER-1 & OMER-2 May 28/29, 1999 & May 10-12, 2001, Herrsching am Amersee, Germany. P-05, 175-185 (2001).

GI, Gesellschaft für Informatik, Bonn
2001


Editors

Peter P. Hofmann (ed.), Andy Schürr (ed.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

State machine modeling: from synch states to synchronized state machines

Dominikus Herzberg and Andre Marburger

Abstract


To synchronize concurrent regions of a state machine, the Unified Modeling Language (UML) provides the concept of so-called “synch states”. Synch states insure that one region leaves a particular state or states before another region can enter a particular state or states. For some application areas, it is beneficial to synchronize not only regions but also state machines. For example, in data and telecommunications, a pure black box specification of communication interfaces via statechart diagrams gives no adequate means to describe their coordination and synchronization. To circumvent the limitations of the UML, this paper presents the concepts of Trigger De- tection Points (TDP) and Trigger Initiation Points (TIP); it allows a modeler to couple state machines. The approach is generic, easy to extend and smoothly fits to the event model of the UML; it could also substitute the more specific concept of synch states.


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn


Last changed 13.04.2012 16:07:41