The Community for Technology Leaders
Engineering of Complex Computer Systems, IEEE International Conference on (2006)
Stanford, California
Aug. 15, 2006 to Aug. 17, 2006
ISBN: 0-7695-2530-X
pp: 67-76
Xiaoshan Li , University of Macau, Macao,China
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.
INDEX TERMS
Semantics, UML2.0, Sequence Diagram, Consistency Checking.
CITATION
Xiaoshan Li, "A Characterization of UML Diagrams and their Consistency", Engineering of Complex Computer Systems, IEEE International Conference on, vol. 00, no. , pp. 67-76, 2006, doi:10.1109/ICECCS.2006.1690356
143 ms
(Ver 3.3 (11022016))