Automating Model Transformation by Example Using Inductive Logic Programming

TitleAutomating Model Transformation by Example Using Inductive Logic Programming
Publication TypeConference Paper
Year of Publication2007
AuthorsVarró, D., and Balogh, Z.
EditorCho, Y., Wainwright, R. L., Haddad, H., Shin, S. Y., and Koo, Y W.
Conference NameProceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15, 2007
PublisherACM Press
ISBN Number1-59593-480-4
Keywordsby-example synthesis, inductive logic programming, model transformation, Viatra

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.

NotesAcceptance rate: 32%
URL varro/publication/2007/sac2007-vb.pdf