, Volume 8, Issue 3, pp 347-364
Date: 13 Aug 2008

Model transformation by example using inductive logic programming

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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 (Muggleton and Raedt in J Logic Program 19-20:629–679, 1994) which aims at the inductive construction of first-order clausal theories from examples and background knowledge.

Communicated by Dr. Jean Bezivin.
This work was partially supported by the SENSORIA European project (IST-3-016004). Dániel Varró was also supported by the J. Bolyai Scholarship.