DocumentCode
3208982
Title
Analyzing UML Sequence Diagrams with UTP
Author
Yang, Jing
Author_Institution
Coll. of Comput. Sci. & Inf., Guizhou Univ., Guiyang, China
fYear
2009
fDate
17-19 Dec. 2009
Firstpage
417
Lastpage
423
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/FCST.2009.73
Filename
5392884
Link To Document