Automating model transformation by example using inductive logic programming

D. Varró, Zoltán Balogh

Research output: Chapter in Book/Report/Conference proceedingChapter

41 Citations (Scopus)

Abstract

Model transformation by example [18] 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 [14] which aims at the inductive construction of first-order clausal theories from examples and background knowledge.

Original languageEnglish
Title of host publicationProceedings of the ACM Symposium on Applied Computing
Pages978-984
Number of pages7
DOIs
Publication statusPublished - 2007
Event2007 ACM Symposium on Applied Computing - Seoul, Korea, Republic of
Duration: Mar 11 2007Mar 15 2007

Other

Other2007 ACM Symposium on Applied Computing
CountryKorea, Republic of
CitySeoul
Period3/11/073/15/07

Fingerprint

Inductive logic programming (ILP)
Software engineering

Keywords

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

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Varró, D., & Balogh, Z. (2007). Automating model transformation by example using inductive logic programming. In Proceedings of the ACM Symposium on Applied Computing (pp. 978-984) https://doi.org/10.1145/1244002.1244217

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

Proceedings of the ACM Symposium on Applied Computing. 2007. p. 978-984.

Research output: Chapter in Book/Report/Conference proceedingChapter

Varró, D & Balogh, Z 2007, Automating model transformation by example using inductive logic programming. in Proceedings of the ACM Symposium on Applied Computing. pp. 978-984, 2007 ACM Symposium on Applied Computing, Seoul, Korea, Republic of, 3/11/07. https://doi.org/10.1145/1244002.1244217
Varró D, Balogh Z. Automating model transformation by example using inductive logic programming. In Proceedings of the ACM Symposium on Applied Computing. 2007. p. 978-984 https://doi.org/10.1145/1244002.1244217
Varró, D. ; Balogh, Zoltán. / Automating model transformation by example using inductive logic programming. Proceedings of the ACM Symposium on Applied Computing. 2007. pp. 978-984
@inbook{fc49d91d275e490ea03f1748ef3709ac,
title = "Automating model transformation by example using inductive logic programming",
abstract = "Model transformation by example [18] 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 [14] 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 = "D. Varr{\'o} and Zolt{\'a}n Balogh",
year = "2007",
doi = "10.1145/1244002.1244217",
language = "English",
isbn = "1595934804",
pages = "978--984",
booktitle = "Proceedings of the ACM Symposium on Applied Computing",

}

TY - CHAP

T1 - Automating model transformation by example using inductive logic programming

AU - Varró, D.

AU - Balogh, Zoltán

PY - 2007

Y1 - 2007

N2 - Model transformation by example [18] 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 [14] which aims at the inductive construction of first-order clausal theories from examples and background knowledge.

AB - Model transformation by example [18] 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 [14] 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=35248896684&partnerID=8YFLogxK

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

U2 - 10.1145/1244002.1244217

DO - 10.1145/1244002.1244217

M3 - Chapter

AN - SCOPUS:35248896684

SN - 1595934804

SN - 9781595934802

SP - 978

EP - 984

BT - Proceedings of the ACM Symposium on Applied Computing

ER -