Special Section Paper

Software & Systems Modeling

, Volume 8, Issue 3, pp 347-364

First online:

Model transformation by example using inductive logic programming

  • Zoltán BaloghAffiliated withDepartment of Measurement and Information Systems, Budapest University of Technology and EconomicsOptXware Research and Development Ltd
  • , Dániel VarróAffiliated withDepartment of Measurement and Information Systems, Budapest University of Technology and EconomicsOptXware Research and Development Ltd Email author 

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.

Keywords

Model transformation By-example synthesis Inductive logic programming