Article,

On formalizing UML state machines using ASMs

, , and .
Information and Software Technology, 46 (5): 287--292 (April 2004)
DOI: 10.1016/j.infsof.2003.09.009

Abstract

We present a transparent yet rigorous conceptual framework for defining the semantics of dynamic UML diagrams. We illustrate the method for UML state machines, making the ^a€oesemantic variation points"i¿½? of UML explicit, as well as various ambiguities and omissions in the official UML documents. This includes the event deferring and completion mechanism, the meaning of atomic and durative actions, concurrent internal activities and conflict situations which may arise through the concurrent behavior of active objects.

Tags

Users

  • @leonardo

Comments and Reviews