### 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 language | English |
---|---|

Title of host publication | Proceedings of the ACM Symposium on Applied Computing |

Pages | 978-984 |

Number of pages | 7 |

DOIs | |

Publication status | Published - 2007 |

Event | 2007 ACM Symposium on Applied Computing - Seoul, Korea, Republic of Duration: Mar 11 2007 → Mar 15 2007 |

### Other

Other | 2007 ACM Symposium on Applied Computing |
---|---|

Country | Korea, Republic of |

City | Seoul |

Period | 3/11/07 → 3/15/07 |

### Fingerprint

### Keywords

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

### ASJC Scopus subject areas

- Computer Science(all)

### Cite this

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

Research output: Chapter in Book/Report/Conference proceeding › Chapter

*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

}

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 -