Consistent code generation from UML models

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.

[1]  Martin Fowler.  What Is the Point of the UML? , 2003, UML.

[2]  Paul Strooper.  Proceedings of the 2005 Australian Software Engineering Conference , 2004 .

[3]  Shengchao Qin,et al.  A Relational Model for Object-Oriented Designs , 2004, APLAS.

[4]  Jing Liu,et al.  Unifying Views of UML , 2004, CVUML.

[5]  Michael Boggs,et al.  Mastering UML with Rational Rose 2002 , 2002 .

[6]  Gianna Reggio,et al.  An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint , 2002, WADT.

[7]  P. Krutchen,et al.  The Rational Unified Process: An Introduction , 2000 .

[8]  Jing Liu,et al.  Linking UML models of design and requirement , 2004, 2004 Australian Software Engineering Conference. Proceedings..

[9]  강문설.  [서평]「The Unified Modeling Language User Guide」 , 1999 .

[10]  Michael Boggs,et al.  Mastering UML with Rational Rose , 1999 .

[11]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[12]  Gregor Engels,et al.  Consistent Interaction of Software Components , 2002, Trans. SDPS.

[13]  Quan Long,et al.  A Predicative Semantic Model for Integrating UML Models , 2004, ICTAC.

[14]  Donald Bell.  UML’s Sequence Diagram , 2006 .

[15]  Terry Quatrani.  Visual modelling with Rational Rose 2000 and UML , 1998 .

[16]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[17]  Stephen J. Mellor,et al.  Executable UML - A Foundation for Model-Driven Architecture , 2002, Addison Wesley object technology series.

[18]  Rob Pooley,et al.  The unified modelling language , 1999, IEE Proc. Softw..