Executable UML models are of increasing importance in the software design process. In previous work, we introduced an approach on executable UML models based on a UML Virtual Machine for executing composite object-oriented models consisting of state- and control-oriented behavior parts. Interactions in the form of sequence diagrams describe the operation behavior. Those Interactions are based on a subset of the UML 2.0 Interaction syntax. In this paper, we describe this subset as well as its binary representation and execution on the UML Virtual Machine.
展开▼
