DocumentCode
2870997
Title
Linking UML models of design and requirement
Author
Liu, Jing ; Liu, Zhiming ; He, Jifeng ; Li, Xiaoshan
Author_Institution
Int. Inst. for Software Technol., United Nat. Univ., Macau, China
fYear
2004
fDate
2004
Firstpage
329
Lastpage
338
Abstract
Both a UML model of requirement and a UML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semantics for models of requirements and designs. We define the consistency between a design class diagram and the interaction diagrams and show how the removal of inconsistency can be treated as a model refinement. We then formally define the correctness of UML model of design with respect to the model of requirement.
Keywords
formal specification; formal verification; object-oriented languages; programming language semantics; specification languages; UML design model; UML requirement model; class diagram; inconsistency removal; interaction diagram; model refinement; sequence diagram; Computer science; Helium; Joining processes; Programming; Scattering; Software engineering; Software maintenance; Software systems; Software tools; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 2004. Proceedings. 2004 Australian
Print_ISBN
0-7695-2089-8
Type
conf
DOI
10.1109/ASWEC.2004.1290486
Filename
1290486
Link To Document