UML 2 . 0 Interactions : Semantics and Refinement

  title={UML 2 . 0 Interactions : Semantics and Refinement},
  author={Maŕıa Victoria Cengarle and Alexander Knapp},
The UML 2.0 integrates a dialect of High-Level Message Sequence Charts (HMSCs) for interaction modelling. The most noteworthy addition of UML 2.0 interactions to HMSCs is the introduction of negated specifications which can be used to rule out behaviour from implementations. A trace-based semantics for UML 2.0 interactions is proposed which captures both the standard composition operators for UML 2.0 interactions from HMSCs, and the proprietary negation and assertion operators. The semantics… CONTINUE READING
Highly Influential
This paper has highly influenced 14 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 86 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


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

87 Citations

Citations per Year
Semantic Scholar estimates that this publication has 87 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…