Model transformation by example using inductive logic programming

Zoltán Balogh, D. Varró

Research output: Contribution to journalArticle

57 Citations (Scopus)

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.

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

Fingerprint

Inductive logic programming (ILP)
Inductive Logic Programming
Model Transformation
Critical Case
Logic Programs
Software Engineering
First-order
Target
Software engineering
Model

Keywords

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

ASJC Scopus subject areas

  • Software
  • Modelling and Simulation

Cite this

Model transformation by example using inductive logic programming. / Balogh, Zoltán; Varró, D.

In: Software and Systems Modeling, Vol. 8, No. 3, 2009, p. 347-364.

Research output: Contribution to journalArticle

@article{f0262489cd044028864719e2060fe654,
title = "Model transformation by example using inductive logic programming",
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 = "By-example synthesis, Inductive logic programming, Model transformation",
author = "Zolt{\'a}n Balogh and D. Varr{\'o}",
year = "2009",
doi = "10.1007/s10270-008-0092-1",
language = "English",
volume = "8",
pages = "347--364",
journal = "Software and Systems Modeling",
issn = "1619-1366",
publisher = "Springer Verlag",
number = "3",

}

TY - JOUR

T1 - Model transformation by example using inductive logic programming

AU - Balogh, Zoltán

AU - Varró, D.

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

KW - By-example synthesis

KW - Inductive logic programming

KW - Model transformation

UR - http://www.scopus.com/inward/record.url?scp=67650482814&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=67650482814&partnerID=8YFLogxK

U2 - 10.1007/s10270-008-0092-1

DO - 10.1007/s10270-008-0092-1

M3 - Article

VL - 8

SP - 347

EP - 364

JO - Software and Systems Modeling

JF - Software and Systems Modeling

SN - 1619-1366

IS - 3

ER -