Towards a UML virtual machine
Michelle L. Crane, Juergen Dingel · 2008
An interpreter for UML 2 actions and activities is presented. It is based on two novel features in UML 2: the three-layer semantics architecture and the new token offer semantics for activities, which is intended to generalize the token flow semantics of Petri nets. The interpreter offers an array of analysis capabilities, ranging from random execution to reachability properties and assertion and deadlock checking. The design of the interpreter makes it suitable as the basis for a more comprehensive UML virtual machine.