Model transformation by example using inductive logic programming

Zoltán Balogh, Dániel Varró

Research output: Contribution to journalArticle

59 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)347-364
Number of pages18
JournalSoftware and Systems Modeling
Issue number3
Publication statusPublished - Jan 1 2009



  • By-example synthesis
  • Inductive logic programming
  • Model transformation

ASJC Scopus subject areas

  • Software
  • Modelling and Simulation

Cite this