A formal semantics of UML sequence diagram
Li X.3; Liu Z.1; Jifeng H.2
Conference Name15th Australian Software Engineering Conference
Source PublicationProceedings of the Australian Software Engineering Conference, ASWEC
Conference DateAPR 13-16, 2004
Conference PlaceMelbourne, AUSTRALIA

This paper presents a formal semantics of UML sequence diagram. In abstract syntax form, a well-formed sequence diagram corresponds to an ordered hierarchical structure tree. The static semantics of a sequence diagram is to check whether it is consistent with the class diagram declaration as well as with its well-formed tree structure. Meanwhile, the dynamic semantics is defined in terms of the state transitions that are carried out by the method invocations in the diagram. When a message is executed, it must be consistent with system state, i.e., object diagram and the state diagrams of its related objects. The semantics clearly captures the consistency between sequence diagram with class diagram and state diagram. Therefore, it is useful to develop the model consistent checking functions in UML CASE tools. And it also can be used to reason about the correctness of a design model with respect to a requirement model.

KeywordConsistency Semantics Sequence Diagram Uml
URLView the original
Indexed BySCI
WOS Research AreaComputer Science
WOS SubjectComputer Science, Software Engineering
WOS IDWOS:000221453700018
Fulltext Access
Citation statistics
Cited Times [WOS]:21   [WOS Record]     [Related Records in WOS]
Document TypeConference paper
Affiliation1.United Nations University International Institute for Software Technology
2.University of Leicester
3.Universidade de Macau
Recommended Citation
GB/T 7714
Li X.,Liu Z.,Jifeng H.. A formal semantics of UML sequence diagram[C],2004:168-177.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Li X.]'s Articles
[Liu Z.]'s Articles
[Jifeng H.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Li X.]'s Articles
[Liu Z.]'s Articles
[Jifeng H.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Li X.]'s Articles
[Liu Z.]'s Articles
[Jifeng H.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.