Formalize UML 2 Sequence Diagrams

Authors:
Hui Shen;Aliya Virani;Jianwei Niu
Affiliations:
-;-;-
Venue:
HASE '08 Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium
Year:
2008

Citing 0
Cited 2

The many meanings of UML 2 Sequence Diagrams: a survey

Software and Systems Modeling (SoSyM)
UML-compiler: a framework for syntactic and semantic verification of UML diagrams

ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

UML 2 sequence diagram introduced many new structured control constructs, such as CombinedFragments, to express concurrent message exchanges. These new features makes it more expressive than it in UML 1, however, the lack of formal semantics descriptions makes it difficult for software practitioners and tool builders to construct and analyze sequence diagrams. In this paper, we adapt our previously developed template semantics to formalize the structured control constructs of sequence diagrams.