The goal of this short review is to demonstrate how can we realize the complex process to derive model transformation rules by example using the VIATRA2 model transformation framework.

Introduction

To define a model transformation, transformation designers need to understand not only the transformation problem, i.e. how to map source models to target models, but significant knowledge is required in the transformation language itself to formalize the solution. Unfortunately, many domain experts, who are specialized in the source and target languages, lack such skills in underlying transformation technologies.

Model transformation by example (MTBE) is a novel approach (first introduced in 1) to bridge this conceptual gap in transformation design. The essence of the approach is to derive model transformation rules from an initial prototypical set of interrelated source and target models, which describe critical cases of the model transformation problem in a purely declarative way. A main advantage of the approach is that transformation designers use the concepts of the source and target modeling languages for the specification of the transformation, while the implementation, i.e. the actual model transformation rules are generated (semi-)automatically. In our context, (semi-)automatic rule generation means that transformation designers give hints how source and target models can potentially be interconnected in the form of a mapping metamodel. Then the actual contextual conditions used in the transformation rules are derived automatically based upon the prototypical source and target model pairs.

Now we give a short overview of the automation of the MTBE process using the VIATRA2 framework and inductive logic programming (ILP). ILP can be defined as an intersection of inductive learning and logic programming as it aims at the inductive construction of first-order clausal theories from examples and background knowledge, thus using induction instead of deduction as the basic mode of inference.

Overview of the MTBE

Model transformations by example is defined as a highly iterative and interactive process as illustrated in the upper figure.

Implementation using VIATRA2

Without further review of the main process (which can be found in 2) let’s see how much VIATRA2 can facilitate the implementation of the process of MTBE. The upper figure shows the whole process in details highlighted the VIATRA specific parts.

From the prototype mapping model some ILP problem models are derived using VIATRA2 transformations. These models contain information expressed in term of the ILP domain, so from the ILP problem model it’s easy now to generate the ILP specific input files. Running the Inductive Logic Programming with the given files, prolog rules are generated, which has to be imported to the VIATRA model space for further processing. These prolog rules are used for final transformation in which we transform the models of prolog rules to the graph transformation rules that can be used directly by VIATRA framework to execute model transformations.

This work is in initial phase now, which means that it can be used only by the direct invocation of the core components/ core transformations. One of our main future works is to develop a convenient end-user interface that can hide the core layers and can help to achieve a higher-level mechanism to generate model transformation rules by example.

References

1 D. Varró. Model transformation by example. In In Proc. 9th International Conference on Model Driven Engineering Languages and Systems (MODELS 2006). Springer, 2006. In press.

2 D. Varró and Z. Balogh. Automating model transformation by example using inductive logic programming. In ACM Symposium on Applied Computing -- Model Transformation Track (SAC 2007). ACM Press, New York, NY, USA, 2007.