Title :
A characterization of UML diagrams and their consistency
Author_Institution :
Dept. of Comput. & Inf. Sci., Macau Univ.
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
Keywords :
Unified Modeling Language; formal specification; formal verification; UML 2.0; class diagram; dynamic consistency checking; formal semantics; normal sequence diagram; normal state diagram; program variable; state constraint; static consistency checking; Books; Design engineering; Information science; Object oriented modeling; Object oriented programming; Software systems; System analysis and design; Unified modeling language; Visualization; Yarn; Consistency Checking.; Semantics; Sequence Diagram; UML2.0;
Conference_Titel :
Engineering of Complex Computer Systems, 2006. ICECCS 2006. 11th IEEE International Conference on
Conference_Location :
Stanford, CA
Print_ISBN :
0-7695-2530-X
DOI :
10.1109/ICECCS.2006.1690356
