{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T15:14:43Z","timestamp":1773501283024,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,14]],"date-time":"2018-10-14T00:00:00Z","timestamp":1539475200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","award":["TIN2014-52129-R"],"award-info":[{"award-number":["TIN2014-52129-R"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010789","name":"Comunidad de Madrid","doi-asserted-by":"publisher","award":["S2013\/ICE-3006"],"award-info":[{"award-number":["S2013\/ICE-3006"]}],"id":[{"id":"10.13039\/501100010789","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,14]]},"DOI":"10.1145\/3239372.3239377","type":"proceedings-article","created":{"date-parts":[[2018,10,4]],"date-time":"2018-10-04T12:21:55Z","timestamp":1538655715000},"page":"67-77","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Model Transformation Product Lines"],"prefix":"10.1145","author":[{"given":"Juan","family":"de Lara","sequence":"first","affiliation":[{"name":"Universidad Aut\u00f3noma de Madrid (Spain)"}]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[{"name":"Universidad Aut\u00f3noma de Madrid (Spain)"}]},{"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[{"name":"University of Toronto (Canada)"}]},{"given":"Rick","family":"Salay","sequence":"additional","affiliation":[{"name":"University of Toronto (Canada)"}]}],"member":"320","published-online":{"date-parts":[[2018,10,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2009.8.5.c5"},{"key":"e_1_3_2_1_2_1","volume-title":"Superimposition: A Language-Independent Approach to Software Composition. In Proc. ICSC'08 (LNCS)","author":"Apel Sven","year":"2008","unstructured":"Sven Apel and Christian Lengauer . 2008 . Superimposition: A Language-Independent Approach to Software Composition. In Proc. ICSC'08 (LNCS) , Vol. 4954 . Springer , 20--35. Sven Apel and Christian Lengauer. 2008. Superimposition: A Language-Independent Approach to Software Composition. In Proc. ICSC'08 (LNCS), Vol. 4954. Springer, 20--35."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094826"},{"key":"e_1_3_2_1_5_1","first-page":"2","article-title":"The Sat4j library, release 2.2","volume":"7","author":"Berre Daniel Le","year":"2010","unstructured":"Daniel Le Berre and Anne Parrain . 2010 . The Sat4j library, release 2.2 . JSAT 7 , 2 - 3 (2010), 59--6. Daniel Le Berre and Anne Parrain. 2010. The Sat4j library, release 2.2. JSAT 7, 2-3 (2010), 59--6.","journal-title":"JSAT"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. of ICMT'18 (LNCS)","author":"Bruel Jean-Michel","unstructured":"Jean-Michel Bruel , Benoit Combemale , Esther Guerra , Jean-Marc J\u00e9z\u00e9quel , J\u00f6rg Kienzle , Juan de Lara , Gunter Mussbacher , Eugene Syriani , and Hans Vangheluwe . 2018. Model Transformation Reuse across Metamodels: A Classification and Comparison of Approaches . In Proc. of ICMT'18 (LNCS) , Vol. 10888 . Springer , 92--109. Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc J\u00e9z\u00e9quel, J\u00f6rg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, and Hans Vangheluwe. 2018. Model Transformation Reuse across Metamodels: A Classification and Comparison of Approaches. In Proc. of ICMT'18 (LNCS), Vol. 10888. Springer, 92--109."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11804192_16"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2339852"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2635137"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54494-5_15"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0221-0"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3063384"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0367-z"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2016.07.004"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.09.001"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_8"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Esther Guerra Juan de Lara Marsha Chechik and Rick Salay. 2018. Analysing Meta-Model Product Lines. Submitted. Available at http:\/\/miso.es\/pubs\/merlin. pdf.  Esther Guerra Juan de Lara Marsha Chechik and Rick Salay. 2018. Analysing Meta-Model Product Lines. Submitted. Available at http:\/\/miso.es\/pubs\/merlin. pdf.","DOI":"10.1145\/3276604.3276609"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31491-9_30"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"e_1_3_2_1_20_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_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2009.67"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2095050.2095053"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11787044_11"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69927-9_4"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_27"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0343-7"},{"key":"e_1_3_2_1_27_1","volume-title":"Dafny: An Automatic Program Verifier for Functional Correctness. In LPAR-16 (LNCS)","author":"Leino K. Rustan M.","year":"2010","unstructured":"K. Rustan M. Leino . 2010 . Dafny: An Automatic Program Verifier for Functional Correctness. In LPAR-16 (LNCS) , Vol. 6355 . Springer , 348--370. K. Rustan M. Leino. 2010. Dafny: An Automatic Program Verifier for Functional Correctness. In LPAR-16 (LNCS), Vol. 6355. Springer, 348--370."},{"key":"e_1_3_2_1_28_1","volume-title":"Lopez-Herrejon and Don Batory","author":"Roberto","year":"2001","unstructured":"Roberto E. Lopez-Herrejon and Don Batory . 2001 . A Standard Problem for Evaluating Product-Line Methodologies. In Proc. of GCBSE'01, Jan Bosch (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg, 10--24. Roberto E. Lopez-Herrejon and Don Batory. 2001. A Standard Problem for Evaluating Product-Line Methodologies. In Proc. of GCBSE'01, Jan Bosch (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 10--24."},{"key":"e_1_3_2_1_29_1","volume-title":"Aspects for Graph Grammars. ECEASST 18","author":"Machado Rodrigo","year":"2009","unstructured":"Rodrigo Machado , Luciana Foss , and Leila Ribeiro . 2009. Aspects for Graph Grammars. ECEASST 18 ( 2009 ). Rodrigo Machado, Luciana Foss, and Leila Ribeiro. 2009. Aspects for Graph Grammars. ECEASST 18 (2009)."},{"key":"e_1_3_2_1_30_1","volume-title":"Mastering Software Variability with FeatureIDE","author":"Meinicke Jens","unstructured":"Jens Meinicke , Thomas Th\u00fcm , Reimar Schr\u00f6ter , Fabian Benduhn , Thomas Leich , and Gunter Saake . 2017. Mastering Software Variability with FeatureIDE . Springer . Jens Meinicke, Thomas Th\u00fcm, Reimar Schr\u00f6ter, Fabian Benduhn, Thomas Leich, and Gunter Saake. 2017. Mastering Software Variability with FeatureIDE. Springer."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_32_1","unstructured":"MOF. 2016. http:\/\/www.omg.org\/spec\/MOF.  MOF. 2016. http:\/\/www.omg.org\/spec\/MOF."},{"key":"e_1_3_2_1_33_1","first-page":"541","article-title":"Petri Nets","volume":"77","author":"Murata T.","year":"1989","unstructured":"T. Murata . 1989 . Petri Nets : Properties, Analysis and Applications. Proc. IEEE 77 , 4 (1989), 541 -- 580 . T. Murata. 1989. Petri Nets: Properties, Analysis and Applications. Proc. IEEE 77, 4 (1989), 541--580.","journal-title":"Properties, Analysis and Applications. Proc. IEEE"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01840446"},{"key":"e_1_3_2_1_35_1","unstructured":"L. Northrop and P. Clements. 2002. Software Product Lines: Practices and Patterns. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA.  L. Northrop and P. Clements. 2002. Software Product Lines: Practices and Patterns. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA."},{"key":"e_1_3_2_1_36_1","unstructured":"OCL. 2014. http:\/\/www.omg.org\/spec\/OCL\/.  OCL. 2014. http:\/\/www.omg.org\/spec\/OCL\/."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2009.14"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2896982.2896987"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2015.7338247"},{"key":"e_1_3_2_1_40_1","volume-title":"Proc. of ECOOP'97 (LNCS)","author":"Prehofer Christian","unstructured":"Christian Prehofer . 1997. Feature-Oriented Programming: A Fresh Look at Objects . In Proc. of ECOOP'97 (LNCS) , Vol. 1241 . Springer , 419--443. Christian Prehofer. 1997. Feature-Oriented Programming: A Fresh Look at Objects. In Proc. of ECOOP'97 (LNCS), Vol. 1241. Springer, 419--443."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568267"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42064-6_8"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_3_2_1_44_1","first-page":"39","article-title":"Introducing Variability Rules in ATL for Managing Variability in MDE-Based Product Lines","volume":"10","author":"Sijtema Marten","year":"2010","unstructured":"Marten Sijtema . 2010 . Introducing Variability Rules in ATL for Managing Variability in MDE-Based Product Lines . Proc. of MtATL' 10 (2010), 39 -- 49 . Marten Sijtema. 2010. Introducing Variability Rules in ATL for Managing Variability in MDE-Based Product Lines. Proc. of MtATL' 10 (2010), 39--49.","journal-title":"Proc. of MtATL'"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0036-6"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89363-1_19"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-017-0441-3"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2017.22"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2009.06.003"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2631675.2631678"}],"event":{"name":"MODELS '18: ACM\/IEEE 21th International Conference on Model Driven Engineering Languages and Systems","location":"Copenhagen Denmark","acronym":"MODELS '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3239372.3239377","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3239372.3239377","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:53Z","timestamp":1750207433000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3239372.3239377"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,14]]},"references-count":50,"alternative-id":["10.1145\/3239372.3239377","10.1145\/3239372"],"URL":"https:\/\/doi.org\/10.1145\/3239372.3239377","relation":{},"subject":[],"published":{"date-parts":[[2018,10,14]]},"assertion":[{"value":"2018-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}