Consistent code generation from UML models

Author

Long, Quan ; Liu, Zhiming ; Li, Xiaoshan ; Jifeng, He

Author_Institution

Int. Inst. for Software Technol., United Nations Univ., Macao, China

fYear

2005

fDate

29 March-1 April 2005

Firstpage

23

Lastpage

30

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

Unified Modeling Language; formal specification; formal verification; object-oriented languages; program compilers; programming language semantics; refinement calculus; UML; Unified Modeling Language; class diagram; code generation; object-oriented languages; observation-oriented semantic; refinement calculus; relational calculus; sequence diagram; Calculus; Collaboration; Computer languages; Computer science; Helium; Informatics; Mathematical programming; Object oriented modeling; Software systems; Unified modeling language; Code generation; Consistency; Object Orientation; Semantics; UML; UTP;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Conference, 2005. Proceedings. 2005 Australian

ISSN

1530-0803

Print_ISBN

0-7695-2257-2

Type

conf

DOI

10.1109/ASWEC.2005.17

Filename

1401997