{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T03:12:26Z","timestamp":1762917146640},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,8,13]],"date-time":"2008-08-13T00:00:00Z","timestamp":1218585600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1007\/s10270-008-0092-1","type":"journal-article","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:28:41Z","timestamp":1218558521000},"page":"347-364","source":"Crossref","is-referenced-by-count":54,"title":["Model transformation by example using inductive logic programming"],"prefix":"10.1007","volume":"8","author":[{"given":"Zolt\u00e1n","family":"Balogh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,8,13]]},"reference":[{"key":"92_CR1","unstructured":"Ade, H., Denecker, M.: AILP: Abductive inductive logic programming. In: Proceedings of the 14th International Joint Conference on Artificial Intelligence, pp. 1201\u20131209. Morgan Kaufmann, Montr\u00e9al (1995)"},{"key":"92_CR2","unstructured":"Altova:. MapForce 2006. http:\/\/www.altova.com\/features_xml2xml_mapforce.html"},{"key":"92_CR3","doi-asserted-by":"crossref","unstructured":"Balogh, A., Varr\u00f3, D.: Advanced model transformation language constructs in the VIATRA2 framework. In: ACM Symposium on Applied Computing\u2014Model Transformation Track (SAC 2006), pp. 1280\u20131287. ACM Press, Dijon (2006)","DOI":"10.1145\/1141277.1141575"},{"issue":"2","key":"92_CR4","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s10270-005-0079-0","volume":"4","author":"J. B\u00e9zivin","year":"2005","unstructured":"B\u00e9zivin J.: On the unification power of models. Softw. Syst. Model. 4(2), 171\u2013188 (2005)","journal-title":"Softw. Syst. Model."},{"key":"92_CR5","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., di Ruscio, D., Eramo, R.: Towards propagation of changes by model approximations. In: Proceedings of the 10th International Enterprise Distributed Object Computing Conference Workshops (EDOC 2006), p. 24. IEEE Computer Society. Workshop on Models of Enterprise Computing (2006)","DOI":"10.1109\/EDOCW.2006.68"},{"key":"92_CR6","unstructured":"Cypher, A. (ed.): Watch What I Do: Programming by Demonstration. MIT Press, Cambridge (1993)"},{"issue":"2","key":"92_CR7","first-page":"227","volume":"4","author":"L. Raedt De","year":"1996","unstructured":"De Raedt L., Lavra\u010d N.: Multiple predicate learning in two inductive logic programming settings. J. Pure Appl. Logic 4(2), 227\u2013254 (1996)","journal-title":"J. Pure Appl. Logic"},{"key":"92_CR8","unstructured":"Didonet Del Fabro, M., B\u00e9zivin, J., Jouault, F., Valduriez, P.: Applying generic model management to data mapping. In: Journ\u00e9es Bases de Donn\u00e9es Avanc\u00e9s (BDA), pp. 343\u2013355 (2005)"},{"key":"92_CR9","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): Handbook on Graph Grammars and Computing by Graph Transformation, vol. 2: Applications, Languages and Tools. World Scientific, Singapore (1999)","DOI":"10.1142\/4180"},{"key":"92_CR10","doi-asserted-by":"crossref","unstructured":"Erwig, M.: Toward the automatic derivation of XML transformations. In: First International Workshop on XML Schema and Data Management (XSDM\u201903), LNCS, vol. 2814, pp. 342\u2013354. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-39597-3_34"},{"key":"92_CR11","doi-asserted-by":"crossref","unstructured":"Fabro, M.D.D., Valduriez, P.: Semi-automatic model integration using matching transformations and weaving models. In: SAC 2007: Proceedings of the 2007 ACM Symposium on Applied computing, pp. 963\u2013970. ACM, New York (2007)","DOI":"10.1145\/1244002.1244215"},{"key":"92_CR12","doi-asserted-by":"crossref","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story diagrams: a new graph transformation language based on UML and Java. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Proceedings of Theory and Application to Graph Transformations (TAGT\u201998), LNCS, vol. 1764. Springer, Heidelberg (2000)","DOI":"10.1007\/978-3-540-46464-8_21"},{"key":"92_CR13","doi-asserted-by":"crossref","unstructured":"Gerber, A., Lawley, M., Raymond, K., Steel, J., Wood, A.: Transformation: The missing link of MDA. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Proceedings of ICGT 2002: First International Conference on Graph Transformation, LNCS, vol. 2505, pp. 90\u2013105. Springer, Barcelona (2002)","DOI":"10.1007\/3-540-45832-8_9"},{"issue":"3","key":"92_CR14","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1093\/comjnl\/45.3.260","volume":"45","author":"G. Huszerl","year":"2002","unstructured":"Huszerl G., Majzik I., Pataricza A., Kosmidis K., Dal Cin M.: Quantitative analysis of UML Statechart models of dependable systems. Comput. J. 45(3), 260\u2013277 (2002)","journal-title":"Comput. J."},{"key":"92_CR15","first-page":"161","volume-title":"Proceedings of ICGT 2002: First International Conference on Graph Transformation, LNCS, vol. 2505","author":"R. Heckel","year":"2002","unstructured":"Heckel R., K\u00fcster J.M., Taentzer G.: Confluence of typed attributed graph transformation systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G.(eds) Proceedings of ICGT 2002: First International Conference on Graph Transformation, LNCS, vol. 2505, pp. 161\u2013176. Springer, Barcelona (2002)"},{"key":"92_CR16","doi-asserted-by":"crossref","unstructured":"Jouault, F., B\u00e9zivin, J.: KM3: A DSL for metamodel specification. In: Proceedings of Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), LNCS, vol. 4037, pp. 171\u2013185. Springer, Heidelberg (2006)","DOI":"10.1007\/11768869_14"},{"key":"92_CR17","doi-asserted-by":"crossref","unstructured":"Jouault, F., Kurtev, I.: Transforming models with ATL. In: Model Transformations in Practice Workshop at MODELS 2005, LNCS, vol. 3844, pp. 128\u2013138. Springer, Heidelberg (2005)","DOI":"10.1007\/11663430_14"},{"key":"92_CR18","doi-asserted-by":"crossref","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: MDI\u2014a rule-based multi-document and tool integration approach. J. Softw. Syst. Model., Special Section on Model-based Tool Integration (2006, in press)","DOI":"10.1007\/s10270-006-0016-x"},{"key":"92_CR19","first-page":"46","volume-title":"DEXA, LNCS, vol. 2736","author":"S. Lechner","year":"2003","unstructured":"Lechner S., Schrefl M.: Defining web schema transformers by example. In: Marik, V., Retschitzegger, W., Stepankova, O.(eds) DEXA, LNCS, vol. 2736, pp. 46\u201356. Springer, Heidelberg (2003)"},{"key":"92_CR20","first-page":"587","volume-title":"Proceedings of Database and Expert Systems Applications, 13th International Conference, DEXA 2002, Aix-en-Provence, France, 2\u20136 September, LNCS, vol. 2453","author":"B.G.T. Lowden","year":"2002","unstructured":"Lowden B.G.T., Robinson J.: Constructing inter-relational rules for semantic query optimisation. In: Hameurlain, A., Cicchetti, R., Traunm\u00fcller, R.(eds) Proceedings of Database and Expert Systems Applications, 13th International Conference, DEXA 2002, Aix-en-Provence, France, 2\u20136 September, LNCS, vol. 2453, pp. 587\u2013596. Springer, Heidelberg (2002)"},{"key":"92_CR21","first-page":"182","volume-title":"Proceedings of Twelfth International Conference on ILP (ILP 2002), vol. LNAI","author":"S. Moyle","year":"2003","unstructured":"Moyle S.: Using theory completion to learn a navigation control program. In: Matwin, S., Sammut, C.(eds) Proceedings of Twelfth International Conference on ILP (ILP 2002), vol. LNAI, pp. 182\u2013197. Springer, Heidelberg (2003)"},{"key":"92_CR22","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19-20","author":"S. Muggleton","year":"1994","unstructured":"Muggleton S., de Raedt L.: Inductive logic programming: Theory and methods. J. Logic Program. 19-20, 629\u2013679 (1994)","journal-title":"J. Logic Program."},{"key":"92_CR23","unstructured":"Object Management Group. QVT: Request for Proposal for Queries, Views and Transformations. http:\/\/www.omg.org"},{"key":"92_CR24","doi-asserted-by":"crossref","unstructured":"Ono, K., Koyanagi, T., Abe, M., Hori, M.: XSLT stylesheet generation by example with WYSIWYG editing. In: Proceedings of the 2002 Symposium on Applications and the Internet (SAINT 2002), pp. 150\u2013161. IEEE Computer Society, Washington, DC, USA (2002)","DOI":"10.1109\/SAINT.2002.994471"},{"key":"92_CR25","unstructured":"Progol. http:\/\/www.doc.ic.ac.uk\/~shm\/progol\/"},{"key":"92_CR26","unstructured":"Prover9: Automated Theorem Prover. http:\/\/www.cs.unm.edu\/~mccune\/prover9\/"},{"issue":"3","key":"92_CR27","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/330534.330546","volume":"43","author":"A. Repenning","year":"2000","unstructured":"Repenning A., Perrone C.: Programming by example: programming by analogous examples. Commun. ACM 43(3), 90\u201397 (2000)","journal-title":"Commun. ACM"},{"key":"92_CR28","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformations: Foundations","year":"1997","unstructured":"Rozenberg, G. (eds): Handbook of Graph Grammars and Computing by Graph Transformations: Foundations. World Scientific, Singapore (1997)"},{"key":"92_CR29","first-page":"151","volume-title":"Proceedings of WG94: International Workshop on Graph-Theoretic Concepts in Computer Science, LNCS, vol. 903","author":"A. Sch\u00fcrr","year":"1994","unstructured":"Sch\u00fcrr.: Specification of graph translators with triple graph grammars. In: Tinhofer, B. (ed.) Proceedings of WG94: InternationalWorkshop on Graph-Theoretic Concepts in Computer Science, LNCS, vol. 903, pp. 151\u2013163. Springer, Heidelberg (1994)"},{"issue":"6","key":"92_CR30","doi-asserted-by":"crossref","first-page":"950","DOI":"10.1109\/69.250077","volume":"5","author":"S. Shekhar","year":"1993","unstructured":"Shekhar S., Hamidzadeh B., Kohli A., Coyle M.: Learning transformation rules for semantic query optimization: A data-driven approach. IEEE Trans. Knowl. Data Eng. 5(6), 950\u2013964 (1993)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"92_CR31","doi-asserted-by":"crossref","unstructured":"Strommer, M., Murzek, M., Wimmer, M.: Applying model transformation by-example on business process modeling languages. In: Proceedings of Third International Workshop on Foundations and Practices of UML (ER 2007), LNCS, vol. 4802, pp. 116\u2013125. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-76292-8_14"},{"key":"92_CR32","unstructured":"StylisStudio. http:\/\/www.stylusstudio.com"},{"key":"92_CR33","unstructured":"The Aleph Manual. http:\/\/web.comlab.ox.ac.uk\/oucl\/research\/areas\/machlearn\/Aleph\/"},{"key":"92_CR34","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D.: Model transformation by example. In: Proceedings of Model Driven Engineering Languages and Systems (MODELS 2006), LNCS, vol. 4199, pp. 410\u2013424. Springer, Genova (2006)","DOI":"10.1007\/11880240_29"},{"key":"92_CR35","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Balogh, Z.: Automating model transformation by example using inductive logic programming. In: ACM Symposium on Applied Computing\u2014Model Transformation Track (SAC 2007). ACM Press, New York (2007)","DOI":"10.1145\/1244002.1244217"},{"key":"92_CR36","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Strommer, M., Kargl, H., Kramler, G.: Towards model transformation generation by-example. In: Proceedings of HICSS-40 Hawaii International Conference on System Sciences, p. 285. IEEE Computer Society, Hawaii, USA (2007)","DOI":"10.1109\/HICSS.2007.572"},{"key":"92_CR37","doi-asserted-by":"crossref","unstructured":"Yan, L.L., Miller, R.J., Haas, L.M., Fagin, R.: Data-driven understanding and refinement of schema mappings. In: Proceedings of ACM SIGMOD Conference on Management of Data, pp. 485\u2013496 (2001)","DOI":"10.1145\/376284.375729"},{"key":"92_CR38","doi-asserted-by":"crossref","unstructured":"Zloof, M.M.: Query-by-example: the invocation and definition of tables and forms. In: Kerr, D.S. (ed.) VLDB, pp. 1\u201324. ACM, New York (1975)","DOI":"10.1145\/1282480.1282482"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-008-0092-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-008-0092-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-008-0092-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T11:55:25Z","timestamp":1559130925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-008-0092-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8,13]]},"references-count":38,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["92"],"URL":"https:\/\/doi.org\/10.1007\/s10270-008-0092-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8,13]]}}}