@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",
}