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
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;
Conference_Titel :
Software Engineering Conference, 2004. Proceedings. 2004 Australian
Print_ISBN :
0-7695-2089-8
DOI :
10.1109/ASWEC.2004.1290486