• Corpus ID: 14381057

A Framework for Model Transformation in Logic Programming

  title={A Framework for Model Transformation in Logic Programming},
  author={Jes{\'u}s Manuel Almendros-Jim{\'e}nez and Luis Iribarne},
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… 

Figures from this paper

Teaching Model Driven Engineering from a Relational Database Perspective
We reinterpret MDE from the viewpoint of relational databases to provide an alternative way to teach, understand, and demonstrate MDE using concepts and technologies that should be familiar to
Teaching model-driven engineering from a relational database perspective
We reinterpret MDE from the viewpoint of relational databases to provide an alternative way to understand, demonstrate, and teach MDE using concepts and technologies that should be familiar to
Transformation Learning in the Context of Model-Driven Data Warehouse: An Experimental Design Based on Inductive Logic Programming
A machine learning approach to reduce the expert contribution in the transformation process by expressing the model transformation problem as an Inductive Logic Programming one and to use existing project traces to find the best business transformation rules.
The Effect of Increased Reliance on Information Systems and Relational Databases in Airline Industries: A Case Study of British Airways
This research informs the Aviation Sector on the unique role played by these systems and how it can make or break their organisation by analysing in depth on what information systems and relational database systems really are how they work and how they can be managed and developed into better practice.
SOLERES | A Spatio-Temporal Environmental Management Information System based on Neural-Networks, Agents and Software Components TIN2007-61497
This project aims to study the automatic generation of ecological maps from satellite images through neural-networks, useful for critical actions of environmental management in natural disasters (i.e. oods or earthquakes).


The model transformation language of the VIATRA2 framework
Automating model transformation by example using inductive logic programming
This paper automates the approach to model transformation by example using inductive logic programming which aims at the inductive construction of first-order clausal theories from examples and background knowledge.
Implementing a practical declarative logic-based model transformation engine
The design of specific features of the Tefkat transformation engine intended to facilitate writing and debugging declarative transformation specifications are discussed, and important implementation techniques used to avoid performance problems are described.
Formal and Tool Support for Model Driven Engineering with Maude
It is shown how some basic operations on models, such as model subtyping, type inference, and metric evaluation, can be easily specified and implemented in Maude, and made available in development environments such as Eclipse.
Practical Declarative Model Transformation with Tefkat
The language adopts a declarative paradigm, wherein users may concern themselves solely with the relations between the models rather than needing to deal explicitly with issues such as order of rule execution and pattern searching/traversal of input models.
On the interoperability of model-to-model transformation languages
RubyTL: A Practical, Extensible Transformation Language
The RubyTL transformation language is presented, which has been designed as an extensible language–a set of core features along with an extension mechanism that provides a framework for experimenting with features of hybrid transformation languages.
A Taxonomy of Model Transformation
The MT model transformation language
Although MT shares several aspects in common with other model transformation languages, an ability to rapidly experiment with the implementation has led MT to contain a number of new features, insights and differences from other approaches.
On the architectural alignment of ATL and QVT
The proposed QVT language and the ATLAS Transformation Language (ATL) are compared as a step in the direction of gathering knowledge about the existing model transformation approaches and the focus is on the major language components and how they are related.