UM  > 科技學院  > 電腦及資訊科學系
A characterization of UML diagrams and their consistency
Li X.
2006-12-01
Conference Name11th IEEE International Conference on Engineering of Complex Computer Systems
Source PublicationProceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Pages67-76
Conference DateAUG 15-17, 2006
Conference PlaceStanford, CA
PublisherIEEE
Abstract

In this paper, we focus on giving a formal semantics of sequence diagram of UML2.0. A model of a system comprises a set of program variables, a class diagram, a family of normal sequence diagrams, a family of normal state diagrams, and a state constraint. We then define their static and dynamic consistency supported by the formal semantics. © 2006 IEEE.

KeywordConsistency Checking Semantics Sequence Diagram Uml2.0
DOI10.1109/ICECCS.2006.1690356
URLView the original
Indexed BySCI
Language英语
WOS Research AreaComputer Science
WOS SubjectComputer Science, Hardware & Architecture ; Computer Science, Software Engineering
WOS IDWOS:000240909700008
Fulltext Access
Citation statistics
Cited Times [WOS]:1   [WOS Record]     [Related Records in WOS]
Document TypeConference paper
CollectionDEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
AffiliationUniversidade de Macau
Recommended Citation
GB/T 7714
Li X.. A characterization of UML diagrams and their consistency[C]:IEEE,2006:67-76.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Li X.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Li X.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Li X.]'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.