An ASM Semantics of Token Flow in UML 2 Activity Diagrams

@inproceedings{Sarstedt2006AnAS,
  title={An ASM Semantics of Token Flow in UML 2 Activity Diagrams},
  author={Stefan Sarstedt and Walter Guttmann},
  booktitle={Ershov Memorial Conference},
  year={2006}
}
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 considered for the first time in a comprehensive and rigorous way. The formalisation provides insight into problems with the UML specification, and their solutions. It also serves as a… CONTINUE READING