A Precise Semantics of UML State Machines: Making Semantic Variation Points and Ambiguities Explicit
Alessandra Cavarra · 2002
We present a transparent yet rigorous semantics for UML state machines, which makes the semantic variation points of UML explicit, as well as various ambiguities and omissions in the official UML documents. This includes the event deferring and completion mechanism and the meaning of atomic and durative actions and of concurrent internal activities. In particular we describe conflict situations which may arise through the concurrent behavior of active objects.