DocumentCode
1836309
Title
Formalize UML 2 Sequence Diagrams
Author
Shen, Hui ; Virani, Aliya ; Niu, Jianwei
Author_Institution
Univ. of Texas at San Antonio, San Antonio, TX
fYear
2008
fDate
3-5 Dec. 2008
Firstpage
437
Lastpage
440
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.
Keywords
Unified Modeling Language; UML 2 sequence diagram formalization; formal semantics description; software practitioner; software tool builder; structured control construct; Computational modeling; Concurrent computing; Control systems; Electronic mail; High temperature superconductors; Logic; Software tools; Systems engineering and theory; USA Councils; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
High Assurance Systems Engineering Symposium, 2008. HASE 2008. 11th IEEE
Conference_Location
Nanjing
ISSN
1530-2059
Print_ISBN
978-0-7695-3482-4
Type
conf
DOI
10.1109/HASE.2008.51
Filename
4708901
Link To Document