loading...
Consistent Code Generation from UML Models
Brisbane, Australia March 29-April 01
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASWEC.2005.172005 Australian Software Engineering ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Quan Long, Zhiming Liu, Xiaoshan Li, He Jifeng, "Consistent Code Generation from UML Models," Australian Software Engineering Conference, 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 ={Australian Software Engineering Conference},
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 - Australian Software Engineering Conference
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 - Australian Software Engineering Conference
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.