Automating Model Transformation by Example Using Inductive Logic Programming

Model transformation by example is a novel approach in model-driven software engineering 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. In the current paper, we automate this approach using inductive logic programming which aims at the inductive construction of first-order clausal theories from examples and background knowledge.