Consistent code generation from UML models
Long Q.1; Liu Z.1; Li X.5; Jifeng H.1
Conference Name16th Australian Software Engineering Conference (ASWEC 2005)
Source PublicationProceedings of the Australian Software Engineering Conference, ASWEC
Conference DateMAR 29-APR 01, 2005
Conference PlaceBrisbane, AUSTRALIA

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. © 2005 IEEE.

KeywordCode Generation Consistency Object Orientation Semantics Uml Utp
URLView the original
Indexed BySCIE
WOS Research AreaComputer Science
WOS SubjectComputer Science, Software Engineering
WOS IDWOS:000229263500005
Fulltext Access
Citation statistics
Cited Times [WOS]:8   [WOS Record]     [Related Records in WOS]
Document TypeConference paper
Affiliation1.United Nations University
2.East China Normal University
3.Peking University
4.University of Leicester
5.Universidade de Macau
Recommended Citation
GB/T 7714
Long Q.,Liu Z.,Li X.,et al. Consistent code generation from UML models[C],2005:23-30.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Long Q.]'s Articles
[Liu Z.]'s Articles
[Li X.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Long Q.]'s Articles
[Liu Z.]'s Articles
[Li X.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Long Q.]'s Articles
[Liu Z.]'s Articles
[Li X.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.