loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2004 Australian Software Engineering Conference (ASWEC'04)
Linking UML Models of Design and Requirement
Melbourne, Australia
April 13-April 16
ISBN: 0-7695-2089-8
ASCII Text
x 
 
Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li, "Linking UML Models of Design and Requirement," Software Engineering Conference, Australian, pp. 329, 2004 Australian Software Engineering Conference (ASWEC'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/ASWEC.2004.1290486,
author = {Jing Liu and Zhiming Liu and Jifeng He and Xiaoshan Li},
title = {Linking UML Models of Design and Requirement},
journal ={Software Engineering Conference, Australian},
volume = {0},
year = {2004},
issn = {1530-0803},
pages = {329},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASWEC.2004.1290486},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Conference, Australian
TI - Linking UML Models of Design and Requirement
SN - 1530-0803
SP
EP
A1 - Jing Liu,
A1 - Zhiming Liu,
A1 - Jifeng He,
A1 - Xiaoshan Li,
PY - 2004
KW - UML
KW - semantics
KW - consistency
VL - 0
JA - Software Engineering Conference, Australian
ER -
 
Jing Liu, United Nations University, Macau; Shanghai University, China
Zhiming Liu, United Nations University, Macau; University of Leicester, UK
Jifeng He, United Nations University, Macau
Xiaoshan Li, University of Macau, Macau
In this paper, 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.
Index Terms:
UML, semantics, consistency
Citation:
Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li, "Linking UML Models of Design and Requirement," aswec, pp.329, 2004 Australian Software Engineering Conference (ASWEC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.