Trace Semantics of Interactions in UML 2 . 0

  title={Trace Semantics of Interactions in UML 2 . 0},
  author={Harald St{\"o}rrle},
The Unified Modeling Language (UML, see [27]) is the industry standard for modeling software intensive systems. Recently, the standard has been upgraded from version 1.5 to 2.0, introducing significant changes and additions. In particular, Message Sequence Charts (MSC) according to the ISO standard (see [13, 12]) have been integrated. In UML, the concept underlying these notations is called interaction. This article examines UML interactions by defining a formal, yet straightforward trace… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS
23 Citations
34 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 23 extracted citations


Publications referenced by this paper.
Showing 1-10 of 34 references

Personal communication by email

  • Øystein Haugen
  • 2003
Highly Influential
4 Excerpts

Human Centric Computing Languages and Environments

  • John Hosking, Philip Cox, editors
  • IEEE Computer Society,
  • 2003

Reniers . A hierarchy of communication models for Message Sequence Charts

  • André Engels, Sjouke Mauw, A. Michel
  • Science of Computer Programming
  • 2002

Similar Papers

Loading similar papers…