Automating model transformation by example using inductive logic programming

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2007, Pages 978-984

  Varró, Dániel ^a   Balogh, Zoltán ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

By example synthesis; Inductive logic programming; Model transformation

Indexed keywords

KNOWLEDGE ACQUISITION; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING; SOFTWARE ENGINEERING;

AUTOMATING MODEL; BY-EXAMPLE SYNTHESIS; FIRST-ORDER CLAUSAL THEORIES; INDUCTIVE LOGIC PROGRAMMING; MODEL TRANSFORMATION;

LOGIC PROGRAMMING;

EID: 35248896684     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1244002.1244217     Document Type: Conference Paper

References (21)

1. StylisStudio. http://www.stylusstudio.com.
2. The Aleph Manual. http://web.comlab.ox.ac.uk/oucl/research/areas/ machlearn/Aleph/.
3. Altova:. MapForce 2006. http://www.altova.com/ features_xml2xml_mapforce.html.
4. ATLAS Group. The ATLAS Transformation Language. http://www.eclipse.org/gmt.
5. A. Cicchetti, D. di Ruscio, and R. Eramo. Towards propagation of changes by model approximations. In International Workshop on Models of Enterprise Computing. 2006. To appear.
6. A. Cypher (ed.). Watch What I Do: Programming by Demonstration. The MIT Press, 1993.
7. H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg (eds.). Handbook on Graph Grammars and Computing by Graph Transformation, vol. 2: Applications, Languages and Tools. World Scientific, 1999.
8. M. Erwig. Toward the automatic derivation of XML transformations. In 1st Int. Workshop on XML Schema and Data Management (XSDM'03), vol. 2814 of LNCS, pp. 342-354. Springer, 2003.
9. T. Fischer, J. Niere, L. Torunski, and A. Zündorf. Story diagrams: A new graph transformation language based on UML and Java. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg (eds.), Proc. Theory and Application to Graph Transformations (TAGT'98), vol. 1764 of LNCS. Springer, 2000.
10. A. Gerber, M. Lawley, K. Raymond, J. Steel, and A. Wood. Transformation: The missing link of MDA. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg (eds.), Proc. ICGT 2002: Firs International Conference on Graph Transformation, vol. 2505 of LNCS, pp. 90-105. Springer-Verlag, Barcelona, Spain, 2002.
11. A. Königs and A. Schürr. MDI - a rule-based multi-document and tool integration approach. Journal of Software and Systems Modelling, 2006. DOI: 10.1007/s10270-006-0016.
12. S. Lechner and M. Schrefl. Defining web schema transformers by example. In V. Marik, W. Retschitzegger, and O. Stepankova (eds.), DEXA, vol. 2736 of LNCS, pp. 46-56. Springer, 2003.
13. B. G. T. Lowden and J. Robinson. Constructing inter-relational rules for semantic query optimisation. In A. Hameurlain, R. Cicchetti, and R. Traunmüller (eds.), Proceedings of Database and Expert Systems Applications, 13th International Conference, DEXA 2002, Aix-en-Provence, France, September 2-6, vol. 2453 of LNCS, pp. 587-596. Springer, 2002.
14. S. Muggleton and L. de Raedt. Inductive logic programming: Theory and methods. Journal of Logic Programming, vol. 19-20:pp. 629-679, 1994.
15. K. Ono, T. Koyanagi, M. Abe, and M. Hori. XSLT stylesheet generation by example with WYSIWYG editing. In Proceedings of the 2002 Symposium on Applications and the Internet (SAINT 2002), pp. 150-161. IEEE Computer Society, Washington, DC, USA, 2002.
16. A. Repenning and C. Perrone. Programming by example: programming by analogous examples. Comm. of the ACM, vol. 43(3):pp. 90-97, 2000.
17. S. Shekhar, B. Hamidzadeh, A. Kohli, and M. Coyle. Learning transformation rules for semantic query optimization: A data-driven approach. IEEE Trans. Knowl. Data Eng., vol. 5(6):pp. 950-964, 1993.
18. D. Varró. Model transformation by example. In Proc. MODELS 2006, pp. 410-424, Vol. 4199 of LNCS. Springer, 2006.
19. M. Wimmer, M. Strommer, H. Kargl, and G. Kramler. Towards model transformation generation by-example. In Proc. of HICSS-40 Hawaii International Conference on System Sciences. Hawaii, USA., 2007. To appear.
20. L. L. Yan, R. J. Miller, L. M. Haas, and R. Fagin. Data-driven understanding and refinement of schema mappings. In Proc. ACM SIGMOD Conference on Management of Data. 2001.
21. M. M. Zloof. Query-by-example: the invocation and definition of tables and forms. In D. S. Kerr (ed.), VLDB, pp. 1-24. ACM, 1975.