loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2005 Australian Software Engineering Conference (ASWEC'05)
Consistent Code Generation from UML Models
Brisbane, Australia
March 29-April 01
ISBN: 0-7695-2257-2
ASCII Text
x 
 
Quan Long, Zhiming Liu, Xiaoshan Li, He Jifeng, "Consistent Code Generation from UML Models," Software Engineering Conference, Australian, pp. 23-30, 2005 Australian Software Engineering Conference (ASWEC'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/ASWEC.2005.17,
author = {Quan Long and Zhiming Liu and Xiaoshan Li and He Jifeng},
title = {Consistent Code Generation from UML Models},
journal ={Software Engineering Conference, Australian},
volume = {0},
year = {2005},
issn = {1530-0803},
pages = {23-30},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASWEC.2005.17},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Conference, Australian
TI - Consistent Code Generation from UML Models
SN - 1530-0803
SP23
EP30
A1 - Quan Long,
A1 - Zhiming Liu,
A1 - Xiaoshan Li,
A1 - He Jifeng,
PY - 2005
KW - Object Orientation
KW - Semantics
KW - UTP
KW - UML
KW - Code generation
KW - Consistency
VL - 0
JA - Software Engineering Conference, Australian
ER -
 
Quan Long, United Nations University and Peking University
Zhiming Liu, United Nations University
Xiaoshan Li, University of Macau
He Jifeng, United Nations University and Peking University
Relational Calculus of Object Systems (rCOS) is an OO-language which is equipped with an observation-oriented semantics and a refinement calculus based on the Hoare and He?s Unifying Theories of Programming (UTP). In this paper, we give syntactic definitions for class diagrams and sequence diagrams in UML 2.0. Based on these definitions, we give an algorithm for checking the consistency of a class diagram and a sequence diagram. Furthermore, we develop an algorithm to generate rCOS code from any given consistent class diagram and sequence diagram.
Index Terms:
Object Orientation, Semantics, UTP, UML, Code generation, Consistency
Citation:
Quan Long, Zhiming Liu, Xiaoshan Li, He Jifeng, "Consistent Code Generation from UML Models," aswec, pp.23-30, 2005 Australian Software Engineering Conference (ASWEC'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.