{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:47:04Z","timestamp":1750308424747,"version":"3.41.0"},"reference-count":70,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2019,9,2]],"date-time":"2019-09-02T00:00:00Z","timestamp":1567382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2019,10,31]]},"abstract":"<jats:p>Model transformations are key elements of model-driven engineering, where they are used to automate the manipulation of models. However, they are typed with respect to concrete source and target meta-models, making their reuse for other (even similar) meta-models challenging.<\/jats:p>\n          <jats:p>\n            To improve this situation, we propose capturing the typing requirements for reusing a transformation with other meta-models by the notion of a\n            <jats:italic>typing requirements model<\/jats:italic>\n            (TRM). A TRM describes the prerequisites that a model transformation imposes on the source and target meta-models to obtain a correct typing. The key observation is that any meta-model pair that satisfies the TRM is a valid reuse context for the transformation at hand.\n          <\/jats:p>\n          <jats:p>\n            A TRM is made of two\n            <jats:italic>domain requirement models<\/jats:italic>\n            (DRMs) describing the requirements for the source and target meta-models, and a compatibility model expressing dependencies between them. We define a notion of refinement between DRMs and see meta-models as a special case of DRM. We provide a catalogue of valid refinements and describe how to automatically extract a TRM from an ATL transformation. The approach is supported by our tool TOTEM. We report on two experiments\u2014based on transformations developed by third parties and meta-model mutation techniques\u2014validating the correctness and completeness of our TRM extraction procedure and confirming the power of TRMs to encode variability and support flexible reuse.\n          <\/jats:p>","DOI":"10.1145\/3340108","type":"journal-article","created":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T12:47:00Z","timestamp":1567514820000},"page":"1-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Automated Reuse of Model Transformations through Typing Requirements Models"],"prefix":"10.1145","volume":"28","author":[{"given":"Juan De","family":"Lara","sequence":"first","affiliation":[{"name":"Universidad Aut\u00f3noma de Madrid (Spain)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[{"name":"Universidad Aut\u00f3noma de Madrid (Spain)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide Di","family":"Ruscio","sequence":"additional","affiliation":[{"name":"University of L'Aquila (Italy)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juri Di","family":"Rocco","sequence":"additional","affiliation":[{"name":"University of L'Aquila (Italy)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jes\u00fas S\u00e1nchez","family":"Cuadrado","sequence":"additional","affiliation":[{"name":"Universidad de Murcia (Spain)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ludovico","family":"Iovino","sequence":"additional","affiliation":[{"name":"Gran Sasso Science Institute, L'Aquila (Italy)"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfonso","family":"Pierantonio","sequence":"additional","affiliation":[{"name":"University of L'Aquila (Italy)"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,9,2]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/643120.643123"},{"key":"e_1_2_1_2_1","volume-title":"Ludovico Iovino, and Alfonso Pierantonio.","author":"Basciani Francesco","year":"2014","unstructured":"Francesco Basciani , Davide Di Ruscio , Ludovico Iovino, and Alfonso Pierantonio. 2014 . Automated chaining of model transformations with incompatible metamodels. In Proceedings of the MoDELS (LNCS), Vol. 8767 . Springer International Publishing , 602--618. Francesco Basciani, Davide Di Ruscio, Ludovico Iovino, and Alfonso Pierantonio. 2014. Automated chaining of model transformations with incompatible metamodels. In Proceedings of the MoDELS (LNCS), Vol. 8767. Springer International Publishing, 602--618."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3136014.3136026"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the ICMT (LNCS)","volume":"10888","author":"Bruel Jean-Michel","year":"2018","unstructured":"Jean-Michel Bruel , Benoit Combemale , Esther Guerra , Jean-Marc Jezequel , Joerg Kienzle , Juan de Lara , Gunter Mussbacher , Eugene Syriani , and Hans Vangheluwe . 2018 . Model transformation reuse across metamodels: A classification and comparison of approaches . In Proceedings of the ICMT (LNCS) , Vol. 10888 . Springer, 92--109. Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jezequel, Joerg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, and Hans Vangheluwe. 2018. Model transformation reuse across metamodels: A classification and comparison of approaches. In Proceedings of the ICMT (LNCS), Vol. 10888. Springer, 92--109."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2375201"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33693-0_3"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0553-x"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2008.44"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129512000941"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0221-0"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3063384"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3280985"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2685615"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276604.3276610"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0367-z"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54494-5_15"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42064-6_5"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33654-6_2"},{"volume-title":"Fundamentals of Algebraic Graph Transformation","author":"Ehrig Hartmut","key":"e_1_2_1_19_1","unstructured":"Hartmut Ehrig , Karsten Ehrig , Ulrike Prange , and Gabriele Taentzer . 2006. Fundamentals of Algebraic Graph Transformation . Springer . Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, and Gabriele Taentzer. 2006. Fundamentals of Algebraic Graph Transformation. Springer."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2016.07.004"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0379-8"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.73"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0594-9"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167499"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31491-9_30"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897760"},{"key":"e_1_2_1_27_1","unstructured":"Daniel Jackson. 2006. Software Abstractions\u2014Logic Language and Analysis. The MIT Press. Retrieved from: http:\/\/alloytools.org\/.   Daniel Jackson. 2006. Software Abstractions\u2014Logic Language and Analysis. The MIT Press. Retrieved from: http:\/\/alloytools.org\/."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985875"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/11768869_14"},{"key":"e_1_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Kyo Kang Sholom Cohen James Hess William Novak and A. Peterson. 1990. Feature-oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU\/SEI-90-TR-021. Software Engineering Institute Carnegie Mellon University Pittsburgh PA.  Kyo Kang Sholom Cohen James Hess William Novak and A. Peterson. 1990. Feature-oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU\/SEI-90-TR-021. Software Engineering Institute Carnegie Mellon University Pittsburgh PA.","DOI":"10.21236\/ADA235785"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3239372.3239381"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/11787044_14"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/11787044_11"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69927-9_4"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0343-7"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2354344"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0291-7"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0392-y"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0429-x"},{"volume-title":"Mastering Software Variability with FeatureIDE","author":"Meinicke Jens","key":"e_1_2_1_41_1","unstructured":"Jens Meinicke , Thomas Th\u00fcm , Reimar Schr\u00f6ter , Fabian Benduhn , Thomas Leich , and Gunter Saake . 2017. Mastering Software Variability with FeatureIDE . Springer . Retrieved from: https:\/\/featureide.github.io\/. Jens Meinicke, Thomas Th\u00fcm, Reimar Schr\u00f6ter, Fabian Benduhn, Thomas Leich, and Gunter Saake. 2017. Mastering Software Variability with FeatureIDE. Springer. Retrieved from: https:\/\/featureide.github.io\/."},{"key":"e_1_2_1_42_1","unstructured":"Object Management Group. 2005. UML 2.0 OCL Specification. Retrieved from: https:\/\/www.omg.org\/spec\/UML\/2.0\/.  Object Management Group. 2005. UML 2.0 OCL Specification. Retrieved from: https:\/\/www.omg.org\/spec\/UML\/2.0\/."},{"key":"e_1_2_1_43_1","unstructured":"Object Management Group. 2016. MOF Query\/View\/Transformation (QVT). Retrieved from: https:\/\/www.omg.org\/spec\/QVT\/.  Object Management Group. 2016. MOF Query\/View\/Transformation (QVT). Retrieved from: https:\/\/www.omg.org\/spec\/QVT\/."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/3351736.3351759"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42064-6_8"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2339852"},{"key":"e_1_2_1_47_1","volume-title":"Proceedings of the ICMT (LNCS)","volume":"8568","author":"Cuadrado Jes\u00fas S\u00e1nchez","year":"2014","unstructured":"Jes\u00fas S\u00e1nchez Cuadrado , Esther Guerra , and Juan de Lara . 2014 b. Reverse engineering of model transformations for reusability . In Proceedings of the ICMT (LNCS) , Vol. 8568 . Springer, 186--201. Jes\u00fas S\u00e1nchez Cuadrado, Esther Guerra, and Juan de Lara. 2014b. Reverse engineering of model transformations for reusability. In Proceedings of the ICMT (LNCS), Vol. 8568. Springer, 186--201."},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21155-8_5"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2635137"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0541-1"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69927-9_12"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0093-0"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2017.20"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_4"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231150"},{"volume-title":"last accessed","year":"2018","key":"e_1_2_1_57_1","unstructured":"Sirius. last accessed in 2018 . Retrieved from: https:\/\/eclipse.org\/sirius\/. Sirius. last accessed in 2018. Retrieved from: https:\/\/eclipse.org\/sirius\/."},{"key":"e_1_2_1_58_1","volume-title":"Kurtz","author":"Slonneger Kenneth","year":"1995","unstructured":"Kenneth Slonneger and Barry L . Kurtz . 1995 . Formal Syntax and Semantics of Programming Languages. Vol. 340 . Addison-Wesley Reading . Kenneth Slonneger and Barry L. Kurtz. 1995. Formal Syntax and Semantics of Programming Languages. Vol. 340. Addison-Wesley Reading."},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0036-6"},{"key":"e_1_2_1_60_1","volume-title":"Merks","author":"Steinberg Dave","year":"2008","unstructured":"Dave Steinberg , Frank Budinsky , Marcelo Paternostro , and Ed Merks . 2008 . EMF : Eclipse Modeling Framework, 2<sup>nd<\/sup> Edition. Addison-Wesley Professional . Retrieved from: http:\/\/www.eclipse.org\/modeling\/emf\/. Dave Steinberg, Frank Budinsky, Marcelo Paternostro, and Ed Merks. 2008. EMF: Eclipse Modeling Framework, 2<sup>nd<\/sup> Edition. Addison-Wesley Professional. Retrieved from: http:\/\/www.eclipse.org\/modeling\/emf\/."},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-017-0441-3"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3241744"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2011.10.1.a5"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30476-7_4"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/352029.352035"},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0191-2"},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0134-3"},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2013.65"},{"key":"e_1_2_1_69_1","article-title":"Surveying rule inheritance in model-to-model transformation languages","volume":"11","author":"Wimmer Manuel","year":"2012","unstructured":"Manuel Wimmer , Gerti Kappel , Angelika Kusel , Werner Retschitzegger , Johannes Sch\u00f6nb\u00f6ck , Wieland Schwinger , Dimitris S. Kolovos , Richard F. Paige , Marius Lauder , Andy Sch\u00fcrr , and Dennis Wagelaar . 2012 . Surveying rule inheritance in model-to-model transformation languages . J. Obj. Technol. 11 , 2 (2012), 3: 1--46. Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Sch\u00f6nb\u00f6ck, Wieland Schwinger, Dimitris S. Kolovos, Richard F. Paige, Marius Lauder, Andy Sch\u00fcrr, and Dennis Wagelaar. 2012. Surveying rule inheritance in model-to-model transformation languages. J. Obj. Technol. 11, 2 (2012), 3: 1--46.","journal-title":"J. Obj. Technol."},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/2631675.2631678"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3340108","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3340108","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:31Z","timestamp":1750268971000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3340108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,2]]},"references-count":70,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,10,31]]}},"alternative-id":["10.1145\/3340108"],"URL":"https:\/\/doi.org\/10.1145\/3340108","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"type":"print","value":"1049-331X"},{"type":"electronic","value":"1557-7392"}],"subject":[],"published":{"date-parts":[[2019,9,2]]},"assertion":[{"value":"2018-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-09-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}