Consistent code generation from UML models

Quan Long; Zhiming Liu; Xiaoshan Li; He Jifeng

doi:10.1109/aswec.2005.17

Consistent code generation from UML models

Quan Long^*
, Zhiming Liu
, Xiaoshan Li
, He Jifeng

^*Corresponding author for this work

Software Engineering Institute

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

30 Scopus citations

Abstract

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.

Original language	English
Title of host publication	Proceedings - 2005 Australian Software Engineering Conference ASWEC 2005
Publisher	IEEE Computer Society
Pages	23-30
Number of pages	8
ISBN (Print)	0769522572, 9780769522579
DOIs	https://doi.org/10.1109/aswec.2005.17
State	Published - 2005
Event	2005 Australian Software Engineering Conference ASWEC 2005 - Brisbane, Australia Duration: 29 Mar 2005 → 1 Apr 2005

Publication series

Name	Proceedings of the Australian Software Engineering Conference, ASWEC
Volume	2005

Conference

Conference	2005 Australian Software Engineering Conference ASWEC 2005
Country/Territory	Australia
City	Brisbane
Period	29/03/05 → 1/04/05

Keywords

Code generation
Consistency
Object Orientation
Semantics
UML
UTP

Access to Document

10.1109/aswec.2005.17

Cite this

@inproceedings{26c056c53b43438b95dd46d0834d05f4,

title = "Consistent code generation from UML models",

abstract = "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.",

keywords = "Code generation, Consistency, Object Orientation, Semantics, UML, UTP",

author = "Quan Long and Zhiming Liu and Xiaoshan Li and He Jifeng",

year = "2005",

doi = "10.1109/aswec.2005.17",

language = "英语",

isbn = "0769522572",

series = "Proceedings of the Australian Software Engineering Conference, ASWEC",

publisher = "IEEE Computer Society",

pages = "23--30",

booktitle = "Proceedings - 2005 Australian Software Engineering Conference ASWEC 2005",

address = "美国",

note = "2005 Australian Software Engineering Conference ASWEC 2005 ; Conference date: 29-03-2005 Through 01-04-2005",

}

Long, Q, Liu, Z, Li, X & Jifeng, H 2005, Consistent code generation from UML models. in Proceedings - 2005 Australian Software Engineering Conference ASWEC 2005., 1401997, Proceedings of the Australian Software Engineering Conference, ASWEC, vol. 2005, IEEE Computer Society, pp. 23-30, 2005 Australian Software Engineering Conference ASWEC 2005, Brisbane, Australia, 29/03/05. https://doi.org/10.1109/aswec.2005.17

Consistent code generation from UML models. / Long, Quan; Liu, Zhiming; Li, Xiaoshan et al.
Proceedings - 2005 Australian Software Engineering Conference ASWEC 2005. IEEE Computer Society, 2005. p. 23-30 1401997 (Proceedings of the Australian Software Engineering Conference, ASWEC; Vol. 2005).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Consistent code generation from UML models

AU - Long, Quan

AU - Liu, Zhiming

AU - Li, Xiaoshan

AU - Jifeng, He

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

KW - Code generation

KW - Consistency

KW - Object Orientation

KW - Semantics

KW - UML

KW - UTP

UR - https://www.scopus.com/pages/publications/33646580068

U2 - 10.1109/aswec.2005.17

DO - 10.1109/aswec.2005.17

M3 - 会议稿件

AN - SCOPUS:33646580068

SN - 0769522572

SN - 9780769522579

T3 - Proceedings of the Australian Software Engineering Conference, ASWEC

SP - 23

EP - 30

BT - Proceedings - 2005 Australian Software Engineering Conference ASWEC 2005

PB - IEEE Computer Society

T2 - 2005 Australian Software Engineering Conference ASWEC 2005

Y2 - 29 March 2005 through 1 April 2005

ER -

Consistent code generation from UML models

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this