Consistent code generation from UML models

doi:10.1109/ASWEC.2005.17

UM > Faculty of Science and Technology > DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE

Residential College	false
Status	已發表Published
	Consistent code generation from UML models
	Long Q.1; Liu Z.1; Li X.5 ; Jifeng H.1
	2005-12-01
Conference Name	16th Australian Software Engineering Conference (ASWEC 2005)
Source Publication	Proceedings of the Australian Software Engineering Conference, ASWEC
Volume	2005
Pages	23-30
Conference Date	MAR 29-APR 01, 2005
Conference Place	Brisbane, AUSTRALIA
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. © 2005 IEEE.
Keyword	Code Generation Consistency Object Orientation Semantics Uml Utp
DOI	10.1109/ASWEC.2005.17
URL	View the original
Indexed By	SCIE
Language	英語English
WOS Research Area	Computer Science
WOS Subject	Computer Science, Software Engineering
WOS ID	WOS:000229263500005
Scopus ID	2-s2.0-33646580068
Fulltext Access	View Full-Text via DOI View Full-Text via Web of Science View Full-Text via Scopus
Citation statistics
Document Type	Conference paper
Collection	DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
Affiliation	1.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.
APA	Long Q.., Liu Z.., Li X.., & Jifeng H. (2005). Consistent code generation from UML models. Proceedings of the Australian Software Engineering Conference, ASWEC, 2005, 23-30.

Files in This Item:
There are no files associated with this item.

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Affiliation No.
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh