A Framework for Model Transformation in Logic Programming

In this paper we will present a framework for using logic programming (in particular, Prolog) for specifying model transformations in the context of UML. Our approach describes how the UML metamodel can be represented in Prolog, and how model transformations can be expressed by means of Prolog rules. It uses rules for specifying queries in source models and rules for expressing how to build the target model. Therefore we can distinguish between a model query language and a transformation language.Our approach will be applied to a well-known example of model transformation in which an UML class diagram for a database can be transformed into an UML diagram representing a relational database.

[1]  Michael Codish,et al.  Efficient Goal Directed Bottom-up Evaluation of Logic Programs , 1999, ICLP.

[2]  Jesús Sánchez Cuadrado,et al.  RubyTL: A Practical, Extensible Transformation Language , 2006, ECMDA-FA.

[3]  Frédéric Jouault,et al.  On the architectural alignment of ATL and QVT , 2006, SAC '06.

[4]  Michael Lawley,et al.  Implementing a practical declarative logic-based model transformation engine , 2007, SAC '07.

[5]  Laurence Tratt,et al.  Model transformations and tool integration , 2005, Software & Systems Modeling.

[6]  Aditya Agrawal.  Graph rewriting and transformation (GReAT): a solution for the model integrated computing (MIC) bottleneck , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[7]  Jim Steel,et al.  Transformation: The Missing Link of MDA , 2002, ICGT.

[8]  Krzysztof Czarnecki,et al.  Classification of Model Transformation Approaches , 2003 .

[9]  Jesús Manuel Almendros-Jiménez,et al.  An extension of UML for the modeling of WIMP user interfaces , 2008, J. Vis. Lang. Comput..

[10]  Gunter Saake,et al.  Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic , 2002, CAiSE.

[11]  Narciso Martí-Oliet,et al.  The Maude 2.0 System , 2003, RTA.

[12]  Dániel Varró,et al.  Automating model transformation by example using inductive logic programming , 2007, SAC '07.

[13]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[14]  Jim Steel,et al.  Practical Declarative Model Transformation with Tefkat , 2005, MoDELS Satellite Events.

[15]  Laurence Tratt.  The MT model transformation language , 2006, SAC '06.

[16]  Gabriele Taentzer,et al.  AGG: A Graph Transformation Environment for Modeling and Validation of Software , 2003, AGTIVE.

[17]  Jesús Manuel Almendros-Jiménez,et al.  Designing GUI components from UML use cases , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[18]  Antonio Vallecillo,et al.  Formal and Tool Support for Model Driven Engineering with Maude , 2007, J. Object Technol..

[19]  Dániel Varró,et al.  The model transformation language of the VIATRA2 framework , 2007, Sci. Comput. Program..

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