Formalize UML 2 Sequence Diagrams

摘要：

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.

作者: Hui Shen Aliya Virani Jianwei Niu

作者单位: University of Texas at San Antonio, One UTSA Circle, San Antonio, Texas, USA 78249

会议类型: 国际会议

会议名称: 11th IEEE High Assurance Systems Engineering Symposium(HASE 2008)(第十一届IEEE高可信系统工程国际研讨会)

会议地点: 南京

会议语种:英文

页码: 437-440

在线出版日期: 2008-12-03（万方平台首次上网日期，不代表论文的发表时间）