Title :
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
fDate :
29 March-1 April 2005
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;
Conference_Titel :
Software Engineering Conference, 2005. Proceedings. 2005 Australian
Print_ISBN :
0-7695-2257-2
DOI :
10.1109/ASWEC.2005.17
