An Approach to Semantics for UML Activities

摘要

The precise semantics for UML Activities is must-have in automated applications of them. The paper proposes an approach to a definition of a semantics of a set of UML Activities in the form of LTS (Labelled Transition System). The set of activities is transformed to a graph of possible execution traces, using OCL (Object Constraint Language) operations. So far, it covers basic elements of an activity, i.e. sequential control and object flows. Moreover, an Activity Semantics Metamodel is introduced. It specifies concepts, informally described in the UML, used for Activity semantics definition.