{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T03:21:24Z","timestamp":1762917684022,"version":"3.41.0"},"reference-count":53,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2016,6,6]],"date-time":"2016-06-06T00:00:00Z","timestamp":1465171200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000038","name":"NSERC","doi-asserted-by":"crossref","award":["RGPIN-2014-06702"],"award-info":[{"award-number":["RGPIN-2014-06702"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2016,8,22]]},"abstract":"<jats:p>Model-driven engineering promotes models as main development artifacts. As several models may be manipulated during the software-development life cycle, model transformations ensure their consistency by automating model generation and update tasks. However, writing model transformations requires much knowledge and effort that detract from their benefits. To address this issue, Model Transformation by Example (MTBE) aims to learn transformation programs from source and target model pairs supplied as examples. In this article, we tackle the fundamental issues that prevent the existing MTBE approaches from efficiently solving the problem of learning model transformations. We show that, when considering complex transformations, the search space is too large to be explored by naive search techniques. We propose an MTBE process to learn complex model transformations by considering three common requirements: element context and state dependencies and complex value derivation. Our process relies on two strategies to reduce the size of the search space and to better explore it, namely, multi-step learning and adaptive search. We experimentally evaluate our approach on seven model transformation problems. The learned transformation programs are able to produce perfect target models in three transformation cases, whereas precision and recall values larger than 90% are recorded for the four remaining cases.<\/jats:p>","DOI":"10.1145\/2904904","type":"journal-article","created":{"date-parts":[[2016,6,10]],"date-time":"2016-06-10T13:00:33Z","timestamp":1465563633000},"page":"1-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["Multi-Step Learning and Adaptive Search for Learning Complex Model Transformations from Examples"],"prefix":"10.1145","volume":"25","author":[{"given":"Islem","family":"Baki","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Montr\u00e9al, Montr\u00e9al, Canada"}]},{"given":"Houari","family":"Sahraoui","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Montr\u00e9al, Montr\u00e9al, Canada"}]}],"member":"320","published-online":{"date-parts":[[2016,6,6]]},"reference":[{"volume-title":"Simulated Annealing and Boltzmann Machines: A Stochastic Approach to Combinatorial Optimization and Neural Computing","author":"Aarts Emile","key":"e_1_2_1_1_1","unstructured":"Emile Aarts and Jan Korst . 1988. Simulated Annealing and Boltzmann Machines: A Stochastic Approach to Combinatorial Optimization and Neural Computing . Wiley , New York, NY . Emile Aarts and Jan Korst. 1988. Simulated Annealing and Boltzmann Machines: A Stochastic Approach to Combinatorial Optimization and Neural Computing. Wiley, New York, NY."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0965-9978(00)00070-3"},{"key":"e_1_2_1_3_1","volume-title":"Proceedings of the 2nd Annual Conference on Evolutionary Programming. Citeseer, 154--163","author":"Angeline Peter","year":"1993","unstructured":"Peter Angeline and Jordan Pollack . 1993 . Evolutionary module acquisition . In Proceedings of the 2nd Annual Conference on Evolutionary Programming. Citeseer, 154--163 . Peter Angeline and Jordan Pollack. 1993. Evolutionary module acquisition. In Proceedings of the 2nd Annual Conference on Evolutionary Programming. Citeseer, 154--163."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2015.02.005"},{"volume-title":"Model-Driven Engineering Languages and Systems","author":"Baki Islem","key":"e_1_2_1_5_1","unstructured":"Islem Baki , Houari Sahraoui , Quentin Cobbaert , Philippe Masson , and Martin Faunes . 2014. Learning implicit and explicit control in model transformations by example . In Model-Driven Engineering Languages and Systems . Springer , Berlin , 636--652. Islem Baki, Houari Sahraoui, Quentin Cobbaert, Philippe Masson, and Martin Faunes. 2014. Learning implicit and explicit control in model transformations by example. In Model-Driven Engineering Languages and Systems. Springer, Berlin, 636--652."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0092-1"},{"key":"e_1_2_1_7_1","volume-title":"Keane","author":"Bearpark Keith","year":"2005","unstructured":"Keith Bearpark and Andy J . Keane . 2005 . The use of collective memory in genetic programming. In Knowledge Incorporation in Evolutionary Computation. Springer , Berlin, 15--36. Keith Bearpark and Andy J. Keane. 2005. The use of collective memory in genetic programming. In Knowledge Incorporation in Evolutionary Computation. Springer, Berlin, 15--36."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_20"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVSM.2009.5071723"},{"key":"e_1_2_1_10_1","volume-title":"EMISA","volume":"2007","author":"Buckl Sabine","year":"2007","unstructured":"Sabine Buckl , Alexander M. Ernst , Josef Lankes , Christian M. Schweda , and Andr\u00e9 Wittenburg . 2007 . Generating visualizations of enterprise architectures using model transformations . In EMISA , Vol. 2007 . 33--46. Sabine Buckl, Alexander M. Ernst, Josef Lankes, Christian M. Schweda, and Andr\u00e9 Wittenburg. 2007. Generating visualizations of enterprise architectures using model transformations. In EMISA, Vol. 2007. 33--46."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0621"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/EIT.2007.4374541"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOCW.2010.32"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/606612.606616"},{"volume-title":"Parameter Setting in Evolutionary Algorithms","author":"Eiben Agoston","key":"e_1_2_1_15_1","unstructured":"Agoston Eiben , Zbigniew Michalewicz , Marc Schoenauer , and James Smith . 2007. Parameter control in evolutionary algorithms . In Parameter Setting in Evolutionary Algorithms . Springer , Berlin , 19--46. Agoston Eiben, Zbigniew Michalewicz, Marc Schoenauer, and James Smith. 2007. Parameter control in evolutionary algorithms. In Parameter Setting in Evolutionary Algorithms. Springer, Berlin, 19--46."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.771166"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351714"},{"volume-title":"Theory and Practice of Model Transformations","author":"Faunes Martin","key":"e_1_2_1_18_1","unstructured":"Martin Faunes , Houari Sahraoui , and Mounir Boukadoum . 2013. Genetic-programming approach to learn model transformation rules from examples . In Theory and Practice of Model Transformations . Springer , Berlin , 17--32. Martin Faunes, Houari Sahraoui, and Mounir Boukadoum. 2013. Genetic-programming approach to learn model transformation rules from examples. In Theory and Practice of Model Transformations. Springer, Berlin, 17--32."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90020-0"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02408-5_5"},{"volume-title":"Model Matching for Trace Link Generation in Model-Driven Software Development","author":"Grammel Birgit","key":"e_1_2_1_21_1","unstructured":"Birgit Grammel , Stefan Kastenholz , and Konrad Voigt . 2012. Model Matching for Trace Link Generation in Model-Driven Software Development . Springer , Berlin . Birgit Grammel, Stefan Kastenholz, and Konrad Voigt. 2012. Model Matching for Trace Link Generation in Model-Driven Software Development. Springer, Berlin."},{"volume-title":"Jess in Action: Java Rule-Based Systems","author":"Hill Ernest Friedman","key":"e_1_2_1_22_1","unstructured":"Ernest Friedman Hill . 2003. Jess in Action: Java Rule-Based Systems . Manning Greenwich, CT . Ernest Friedman Hill. 2003. Jess in Action: Java Rule-Based Systems. Manning Greenwich, CT."},{"volume-title":"Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence","author":"Holland John H.","key":"e_1_2_1_23_1","unstructured":"John H. Holland . 1975. Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence . U Michigan Press . John H. Holland. 1975. Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence. U Michigan Press."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/45.3.260"},{"key":"e_1_2_1_25_1","volume-title":"Mariane Rembold Petraglia, and Maria Augusta Soares Machado","author":"Ingber Lester","year":"2012","unstructured":"Lester Ingber , Antonio Petraglia , Mariane Rembold Petraglia, and Maria Augusta Soares Machado . 2012 . Adaptive simulated annealing. In Stochastic Global Optimization and its Applications with Fuzzy Adaptive Simulated Annealing. Springer , Berlin, 33--62. Lester Ingber, Antonio Petraglia, Mariane Rembold Petraglia, and Maria Augusta Soares Machado. 2012. Adaptive simulated annealing. In Stochastic Global Optimization and its Applications with Fuzzy Adaptive Simulated Annealing. Springer, Berlin, 33--62."},{"volume-title":"Conceptual Modelling and Its Theoretical Foundations","author":"Kappel Gerti","key":"e_1_2_1_26_1","unstructured":"Gerti Kappel , Philip Langer , Werner Retschitzegger , Wieland Schwinger , and Manuel Wimmer . 2012. Model transformation by-example: A survey of the first wave . In Conceptual Modelling and Its Theoretical Foundations . Springer , Berlin , 197--215. Gerti Kappel, Philip Langer, Werner Retschitzegger, Wieland Schwinger, and Manuel Wimmer. 2012. Model transformation by-example: A survey of the first wave. In Conceptual Modelling and Its Theoretical Foundations. Springer, Berlin, 197--215."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_12"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0175-7"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1811147.1811149"},{"volume-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"Kleppe Anneke G.","key":"e_1_2_1_31_1","unstructured":"Anneke G. Kleppe , Jos Warmer , and Wim Bast . 2003. MDA Explained: The Model Driven Architecture: Practice and Promise . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA . Anneke G. Kleppe, Jos Warmer, and Wim Bast. 2003. MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley Longman Publishing Co., Inc., Boston, MA."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1595536.1595553"},{"key":"e_1_2_1_33_1","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection.","author":"Koza John R.","year":"1992","unstructured":"John R. Koza . 1992 . Genetic Programming: On the Programming of Computers by Means of Natural Selection. Vol. 1 . MIT Press, Cambridge , MA. John R. Koza. 1992. Genetic Programming: On the Programming of Computers by Means of Natural Selection. Vol. 1. MIT Press, Cambridge, MA."},{"volume-title":"Theory and Practice of Model Transformations","author":"Langer Philip","key":"e_1_2_1_34_1","unstructured":"Philip Langer , Manuel Wimmer , and Gerti Kappel . 2010. Model-to-model transformations by demonstration . In Theory and Practice of Model Transformations . Springer , Berlin , 153--167. Philip Langer, Manuel Wimmer, and Gerti Kappel. 2010. Model-to-model transformations by demonstration. In Theory and Practice of Model Transformations. Springer, Berlin, 153--167."},{"key":"e_1_2_1_35_1","first-page":"208","article-title":"A revised comparison of crossover and mutation in genetic programming","volume":"98","author":"Luke Sean","year":"1998","unstructured":"Sean Luke and Lee Spector . 1998 . A revised comparison of crossover and mutation in genetic programming . Genetic Programming 98 , 55 (1998), 208 -- 213 . Sean Luke and Lee Spector. 1998. A revised comparison of crossover and mutation in genetic programming. Genetic Programming 98, 55 (1998), 208--213.","journal-title":"Genetic Programming"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0219-7"},{"key":"e_1_2_1_37_1","unstructured":"Franois Pfister Vincent Chapurlat Marianne Huchard and Cl\u00e9mentine Nebut. 2012. A proposed tool and process to design domain specific modeling languages. (2012). Franois Pfister Vincent Chapurlat Marianne Huchard and Cl\u00e9mentine Nebut. 2012. A proposed tool and process to design domain specific modeling languages. (2012)."},{"key":"e_1_2_1_38_1","volume-title":"Koza","author":"Poli Riccardo","year":"2008","unstructured":"Riccardo Poli , William B. Langdon , Nicholas F. McPhee , and John R . Koza . 2008 . A Field Guide to Genetic Programming. Lulu .com. Riccardo Poli, William B. Langdon, Nicholas F. McPhee, and John R. Koza. 2008. A Field Guide to Genetic Programming. Lulu.com."},{"volume-title":"Technology of Object-Oriented Languages and Systems, TOOLS EUROPE","author":"Revault Nicolas","key":"e_1_2_1_39_1","unstructured":"Nicolas Revault , Houari A. Sahraoui , Gilles Blain , and Jean-Fran\u00e7ois Perrot . 1995. A metamodeling technique: The METAGEN system . In Technology of Object-Oriented Languages and Systems, TOOLS EUROPE , Vol. 16 . Prentice Hall , Piscataway, NJ , 127--139. Nicolas Revault, Houari A. Sahraoui, Gilles Blain, and Jean-Fran\u00e7ois Perrot. 1995. A metamodeling technique: The METAGEN system. In Technology of Object-Oriented Languages and Systems, TOOLS EUROPE, Vol. 16. Prentice Hall, Piscataway, NJ, 127--139."},{"key":"e_1_2_1_40_1","doi-asserted-by":"crossref","unstructured":"Justinian P. Rosca. 1995. Genetic programming exploratory power and the discovery of functions. In Evolutionary Programming. Citeseer 719--736. Justinian P. Rosca. 1995. Genetic programming exploratory power and the discovery of functions. In Evolutionary Programming. Citeseer 719--736.","DOI":"10.7551\/mitpress\/2887.003.0061"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_35"},{"key":"e_1_2_1_42_1","volume-title":"Proceedings of the 9th International Conference on Concept Lattices and Applications. 45--56","author":"Saada Hajer","year":"2012","unstructured":"Hajer Saada , Xavier Dolques , Marianne Huchard , Cl\u00e9mentine Nebut , and Houari Sahraoui . 2012 b. Learning model transformations from examples using fca: One for all or all for one? In Proceedings of the 9th International Conference on Concept Lattices and Applications. 45--56 . Hajer Saada, Xavier Dolques, Marianne Huchard, Cl\u00e9mentine Nebut, and Houari Sahraoui. 2012b. Learning model transformations from examples using fca: One for all or all for one? In Proceedings of the 9th International Conference on Concept Lattices and Applications. 45--56."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693134"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2008.4493307"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/21.286385"},{"volume-title":"Advances in Conceptual Modeling--Foundations and Applications","author":"Strommer Michael","key":"e_1_2_1_47_1","unstructured":"Michael Strommer , Marion Murzek , and Manuel Wimmer . 2007. Applying model transformation by-example on business process modeling languages . In Advances in Conceptual Modeling--Foundations and Applications . Springer , Berlin , 116--125. Michael Strommer, Marion Murzek, and Manuel Wimmer. 2007. Applying model transformation by-example on business process modeling languages. In Advances in Conceptual Modeling--Foundations and Applications. Springer, Berlin, 116--125."},{"volume-title":"Objects, Components, Models and Patterns","author":"Strommer Michael","key":"e_1_2_1_48_1","unstructured":"Michael Strommer and Manuel Wimmer . 2008. A framework for model transformation by-example: Concepts and tool support . In Objects, Components, Models and Patterns . Springer , Berlin , 372--391. Michael Strommer and Manuel Wimmer. 2008. A framework for model transformation by-example: Concepts and tool support. In Objects, Components, Models and Patterns. Springer, Berlin, 372--391."},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985966"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_58"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1080\/019697298125461"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_29"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2007.572"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141499"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2904904","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2904904","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:54:02Z","timestamp":1750222442000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2904904"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,6]]},"references-count":53,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,8,22]]}},"alternative-id":["10.1145\/2904904"],"URL":"https:\/\/doi.org\/10.1145\/2904904","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"type":"print","value":"1049-331X"},{"type":"electronic","value":"1557-7392"}],"subject":[],"published":{"date-parts":[[2016,6,6]]},"assertion":[{"value":"2015-06-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-03-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-06-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}