Loading [a11y]/accessibility-menu.js
Formalize UML 2 Sequence Diagrams | IEEE Conference Publication | IEEE Xplore
Scheduled Maintenance: On Monday, 30 June, IEEE Xplore will undergo scheduled maintenance from 1:00-2:00 PM ET (1800-1900 UTC).
On Tuesday, 1 July, IEEE Xplore will undergo scheduled maintenance from 1:00-5:00 PM ET (1800-2200 UTC).
During these times, there may be intermittent impact on performance. We apologize for any inconvenience.

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.