Consistent Code Generation from UML Models

Authors:
Quan Long;Zhiming Liu;Xiaoshan Li;He Jifeng
Affiliations:
United Nations University and Peking University;United Nations University;University of Macau;United Nations University and Peking University
Venue:
ASWEC '05 Proceedings of the 2005 Australian conference on Software Engineering
Year:
2005

Citing 0
Cited 9

Methods and Tools for Formal Software Engineering

Verified Software: Theories, Tools, Experiments
Integrating Theories and Techniques for Program Modelling, Design and Verification

Verified Software: Theories, Tools, Experiments
Another approach for the teaching of the foundations of programming using UML and Java

CEA'09 Proceedings of the 3rd WSEAS international conference on Computer engineering and applications
Towards a Rigorous Approach to UML-Based Development

Electronic Notes in Theoretical Computer Science (ENTCS)
Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach

Science of Computer Programming
UXSOM: UML generated XML to software metrics

ACM SIGSOFT Software Engineering Notes
A predicative semantic model for integrating UML models

ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
rCOS: refinement of component and object systems

FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Model checking dynamic UML consistency

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.