Modeling the meaning of transitions from and to concurrent states in UML state machines
Egon Börger, Alessandra Cavarra, Elvinia Riccobene · 2003
This paper completes the ASM models developed for UML state machines in [4, 5] providing new submachines covering also transitions from and to concurrent states in the context of event deferring and run-to-completion. Due to the modular structure of the earlier ASM models for UML state diagrams, these new submachines can be inserted there as components. The modular treatment explicitly reflects the corresponding intended "semantic variation points" of UML, thus allowing to adapt definitions given in this paper to possibly changing standardization decisions.