Semantics of interactions in UML 2.0

The recent major revision of the UML (see [4]) has introduced significant changes and additions. In particular, Message Sequence Charts (MSC) according to the ISO standard (see [2])have been integrated. In UML, the concept underlying these notations is called interaction. In this paper I shall look at its definition, defining a formal, yet straightforward trace semantics, including time.

• Type: Conference
• Year: 2003
• Where: VL
• Authors: Harald Störrle
• Keywords: Languages, Message Sequence Charts, Significant Changes, Straightforward Trace Semantics, VL 2003