Software & Systems Modeling

, Volume 8, Issue 3, pp 347–364

Model transformation by example using inductive logic programming

Authors

  • Zoltán Balogh
    • Department of Measurement and Information SystemsBudapest University of Technology and Economics
    • OptXware Research and Development Ltd
    • Department of Measurement and Information SystemsBudapest University of Technology and Economics
    • OptXware Research and Development Ltd
Special Section Paper

DOI: 10.1007/s10270-008-0092-1

Cite this article as:
Balogh, Z. & Varró, D. Softw Syst Model (2009) 8: 347. doi:10.1007/s10270-008-0092-1

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 transformationBy-example synthesisInductive logic programming

Copyright information

© Springer-Verlag 2008