Specification and Verification of Model Transformations Using UML-RSDS

In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to specify model transformations facilitates the integration of model transformations with other software development processes. Extracts from three large case studies of the specification of model transformations are given, to demonstrate the practical application of the approach.

[1]  Richard F. Paige,et al.  The Epsilon Transformation Language , 2008, ICMT@TOOLS.

[2]  David W. Binkley,et al.  Program slicing , 2008, 2008 Frontiers of Software Maintenance.

[3]  Sabine Kuske,et al.  Transformation units: a structuring principle for graph transformation systems , 2000 .

[4]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[5]  Juan de Lara,et al.  Verification and validation of declarative model-to-model transformations through invariants , 2010, J. Syst. Softw..

[6]  Frédéric Jouault,et al.  Rule-based modularization in model transformation languages illustrated with ATL , 2007, Sci. Comput. Program..

[7]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[8]  Jesús Sánchez Cuadrado,et al.  Modularization of model transformations through a phasing mechanism , 2009, Software & Systems Modeling.

[9]  Frédéric Jouault,et al.  On the interoperability of model-to-model transformation languages , 2007, Sci. Comput. Program..

[10]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[11]  Axel Uhl,et al.  Model-Driven Architecture , 2002, OOIS Workshops.

[12]  Andy Schürr,et al.  Specification of Graph Translators with Triple Graph Grammars , 1994, WG.

[13]  Kevin Lano,et al.  A compositional semantics of UML-RSDS , 2009, Software & Systems Modeling.

[14]  Mark Harman,et al.  Amorphous program slicing , 1997, Proceedings Fifth International Workshop on Program Comprehension. IWPC'97.

[15]  Kevin Lano,et al.  Constraint-driven development , 2008, Inf. Softw. Technol..

[16]  Kevin Lano,et al.  UML 2 Semantics and Applications , 2009 .

[17]  Richard F. Paige,et al.  Model Migration Case for TTC 2010 , 2010 .

[18]  MSc PhD Kevin Lano BSc.  The B Language and Method , 1996, Formal Approaches to Computing and Information Technology (FACIT).