,

On formalizing UML state machines using ASMs

, , и .
Information and Software Technology, 46 (5): 287--292 (апреля 2004)
DOI: 10.1016/j.infsof.2003.09.009

Аннотация

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.

тэги

Пользователи данного ресурса

  • @leonardo

Комментарии и рецензии