Formalize UML 2 Sequence Diagrams | IEEE Conference Publication | IEEE Xplore

Formalize UML 2 Sequence Diagrams


Abstract:

UML 2 sequence diagram introduced many new structured control constructs, such as Combined Fragments, to express concurrent message exchanges. These new features makes it...Show More

Abstract:

UML 2 sequence diagram introduced many new structured control constructs, such as Combined Fragments, 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.
Date of Conference: 03-05 December 2008
Date Added to IEEE Xplore: 12 December 2008
Print ISBN:978-0-7695-3482-4
Print ISSN: 1530-2059
Conference Location: Nanjing, China

Contact IEEE to Subscribe

References

References is not available for this document.