2 search results - page 1 / 1 » An ASM Semantics of Token Flow in UML 2 Activity Diagrams |
ERSHOV
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. The token flow semantics of UML 2 activity diagrams is formally defined using Abstract State Machines. Interruptible activity regions and multiplicity bounds for pins are...
EDOC
2005
IEEE
13 years 10 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...