Title :
Analyzing UML Sequence Diagrams with UTP
Author_Institution :
Coll. of Comput. Sci. & Inf., Guizhou Univ., Guiyang, China
Abstract :
In this paper, we present the formal semantics of sequence diagrams. The semantics of a sequence diagram is interpreted as a consecutive execution of steps in UTP. The semantics clearly captures the consistency between the design class diagram and sequence diagrams. This may underpin development of model consistency checking functions in UML CASE tools. It may also be used to reason about the correctness of design model with respect to the requirement model.
Keywords :
Unified Modeling Language; formal verification; UML CASE tools; UML sequence diagrams; UTP; formal semantics; unified modelling language; Computer aided software engineering; Computer science; Educational institutions; Information analysis; Laboratories; Programming; Software standards; Standards development; System analysis and design; Unified modeling language; Consistency; Semantics; Sequence Diagram; UML; UTP;
Conference_Titel :
Frontier of Computer Science and Technology, 2009. FCST '09. Fourth International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-0-7695-3932-4
Electronic_ISBN :
978-1-4244-5467-9
DOI :
10.1109/FCST.2009.73
