Formalize UML 2 Sequence Diagrams

dc.contributor.authorShen, Hui
dc.contributor.authorVirani, Aliya
dc.contributor.authorNiu, Jianwei
dc.date.accessioned2023-10-24T16:12:55Z
dc.date.available2023-10-24T16:12:55Z
dc.date.issued2008-09
dc.description.abstractUML 1 sequence diagrams have been widely employed for modeling software requirements and design. UML 2 introduced many new features, such as Combined Fragments, to make sequence diagrams more expressive than UML 1. However, the lack of formal semantics descriptions of these features makes it difficult for practitioners and tool builders to construct and analyze sequence diagrams that specify high assurance systems. In previous work, we presented a formalism, template semantics, for describing the operational semantics of behavioral notations. In this paper, we adapt template semantics to describe the combined fragments and other constructs of sequence diagrams. We believe that formalizing the semantics of sequence diagrams is an important step towards synthesizing multiple sequence diagrams into behavioral models (i.e., state machines) and formally analyzing them.
dc.description.departmentComputer Science
dc.identifier.urihttps://hdl.handle.net/20.500.12588/2147
dc.language.isoen_US
dc.publisherUTSA Department of Computer Science
dc.relation.ispartofseriesTechnical Report; CS-TR-2008-013
dc.subjectformal methods
dc.subjectsemantics
dc.subjectsequence diagrams
dc.subjectcombined fragments
dc.titleFormalize UML 2 Sequence Diagrams
dc.typeTechnical Report

Files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Shen_et_al_CS-TR-2008-013.pdf
Size:
283.42 KB
Format:
Adobe Portable Document Format

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.86 KB
Format:
Item-specific license agreed upon to submission
Description: