Semantics of interactions in UML 2.0
Harald Störrle · 2004
The recent major revision of the UML has introduced significant changes and additions. In particular, message sequence charts (MSC) according to the ISO standard have been integrated. In UML, the concept underlying these notations is called interaction. In this paper, the author shall look at its definition, defining a formal, yet straightforward trace semantics, including time.