Transformation Laws for UML-RT

With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is a demand. Transformations must take into account changes in both behavioural and structural diagrams. In this paper, we present a set of transformation laws that aims to systematise the evolution of semantically well-defined UML-RT models, with preservation of both static and dynamic aspects. The proposed laws support the transformation of initial abstract analysis models into concrete design models. Furthermore, we show the seamless application of the laws through design activities of the Rational Unified Process in the development of a case study. Soundness and completeness of the laws are briefly addressed.

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

[2]  Heike Wehrheim,et al.  Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods , 2000, FASE.

[3]  Robert Sandner,et al.  Developing Distributed Systems Step by Step with UML-RT , 2003 .

[4]  Bernhard Rumpe,et al.  The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[5]  Jean-Marc Jézéquel,et al.  Refactoring UML Models , 2001, UML.

[6]  Reiko Heckel,et al.  Consistency-Preserving Model Evolution through Transformations , 2002, UML.

[7]  Willem P. de Roever,et al.  29 New Unclarities in the Semantics of UML 2.0 State Machines , 2005, ICFEM.

[8]  Augusto Sampaio,et al.  Class and Capsule Refinement in UML for Real Time , 2004, WMF.

[9]  Augusto Sampaio,et al.  A Semantics for UML-RT Active Classes via Mapping into Circus , 2005, FMOODS.

[10]  Augusto Sampaio,et al.  Algebraic reasoning for object-oriented programming , 2004, Sci. Comput. Program..

[11]  Bran Selic,et al.  Using UML for Modeling Complex Real-Time Systems , 1998, LCTES.

[12]  Lu Zhang,et al.  Viewing use cases as active objects , 2001, SOEN.

[13]  Philippe Kruchten,et al.  The Rational Unified Process: An Introduction, Second Edition , 2000 .

[14]  Kevin Lano,et al.  Semantics and Transformations for UML Models , 1998, UML.

[15]  Carroll Morgan,et al.  Programming from specifications (2nd ed.) , 1994 .

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

[17]  Paulo Borba,et al.  Refactoring Alloy Specifications , 2004, Electron. Notes Theor. Comput. Sci..

[18]  Carroll Morgan,et al.  Programming from specifications , 1990, Prentice Hall International Series in computer science.

[19]  Sun Meng,et al.  On Refinement of Software Architectures , 2005, ICTAC.

[20]  J. Woodcock,et al.  Refinement in Circus , 2002, FME.