{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T15:14:51Z","timestamp":1773501291888,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":48,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,14]]},"DOI":"10.1145\/3239372.3239386","type":"proceedings-article","created":{"date-parts":[[2018,10,4]],"date-time":"2018-10-04T12:21:55Z","timestamp":1538655715000},"page":"78-88","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Expressive and Efficient Model Transformation with an Internal DSL of Xtend"],"prefix":"10.1145","author":[{"given":"Artur","family":"Boronat","sequence":"first","affiliation":[{"name":"Department of Informatics, University of Leicester, UK"}]}],"member":"320","published-online":{"date-parts":[[2018,10,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11787044_27"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814251.2814258"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21155-8_8"},{"key":"e_1_3_2_1_4_1","volume-title":"MoDELS","volume":"6394","author":"Bergmann G\u00e1bor","year":"2010","unstructured":"G\u00e1bor Bergmann , \u00c1kos Horv\u00e1th , Istv\u00e1n R\u00e1th , D\u00e1niel Varr\u00f3 , Andr\u00e1s Balogh , Zolt\u00e1n Balogh , and Andr\u00e1s \u00d6kr\u00f6s . 2010 . Incremental Evaluation of Model Queries over EMF Models . In MoDELS , Vol. 6394 . LNCS, 76--90. G\u00e1bor Bergmann, \u00c1kos Horv\u00e1th, Istv\u00e1n R\u00e1th, D\u00e1niel Varr\u00f3, Andr\u00e1s Balogh, Zolt\u00e1n Balogh, and Andr\u00e1s \u00d6kr\u00f6s. 2010. Incremental Evaluation of Model Queries over EMF Models. In MoDELS, Vol. 6394. LNCS, 76--90."},{"key":"e_1_3_2_1_5_1","unstructured":"Artur Boronat. 2018. ATL Batch M2M Transformation for the VIATRA CPS Benchmark. https:\/\/github.com\/yamtl\/viatra-cps-batch-benchmark\/blob\/master\/m2m.batch.data\/atlFiles\/Cps2Dep.atl.  Artur Boronat. 2018. ATL Batch M2M Transformation for the VIATRA CPS Benchmark. https:\/\/github.com\/yamtl\/viatra-cps-batch-benchmark\/blob\/master\/m2m.batch.data\/atlFiles\/Cps2Dep.atl."},{"key":"e_1_3_2_1_6_1","unstructured":"Artur Boronat. 2018. ATL Batch M2M Transformation for the VIATRA CPS Benchmark (variant with lazy rules). https:\/\/github.com\/yamtl\/viatra-cps-batch-benchmark\/blob\/master\/m2m.batch.data\/atlFiles\/Cps2Dep_lazy.atl.  Artur Boronat. 2018. ATL Batch M2M Transformation for the VIATRA CPS Benchmark (variant with lazy rules). https:\/\/github.com\/yamtl\/viatra-cps-batch-benchmark\/blob\/master\/m2m.batch.data\/atlFiles\/Cps2Dep_lazy.atl."},{"key":"e_1_3_2_1_7_1","volume-title":"ATL2010 (EMFVM) Runner for Batch M2M Transformation for the VIATRA CPS Benchmark. https:\/\/github.com\/yamtl\/viatra-cps-batch-benchmark\/tree\/master\/m2m.batch.cps2dep.atl2010","author":"Boronat Artur","year":"2018","unstructured":"Artur Boronat . 2018 . ATL2010 (EMFVM) Runner for Batch M2M Transformation for the VIATRA CPS Benchmark. https:\/\/github.com\/yamtl\/viatra-cps-batch-benchmark\/tree\/master\/m2m.batch.cps2dep.atl2010 . Artur Boronat. 2018. ATL2010 (EMFVM) Runner for Batch M2M Transformation for the VIATRA CPS Benchmark. https:\/\/github.com\/yamtl\/viatra-cps-batch-benchmark\/tree\/master\/m2m.batch.cps2dep.atl2010."},{"key":"e_1_3_2_1_8_1","volume-title":"ATL2010 (EMFVM) Runner for Batch M2M Transformation for the VIATRA CPS Benchmark (lazy variant). https:\/\/github.com\/yamtl\/viatra-cps-batch-benchmark\/tree\/master\/m2m.batch.cps2dep.atl2010_lazy.","author":"Boronat Artur","year":"2018","unstructured":"Artur Boronat . 2018 . ATL2010 (EMFVM) Runner for Batch M2M Transformation for the VIATRA CPS Benchmark (lazy variant). https:\/\/github.com\/yamtl\/viatra-cps-batch-benchmark\/tree\/master\/m2m.batch.cps2dep.atl2010_lazy. Artur Boronat. 2018. ATL2010 (EMFVM) Runner for Batch M2M Transformation for the VIATRA CPS Benchmark (lazy variant). https:\/\/github.com\/yamtl\/viatra-cps-batch-benchmark\/tree\/master\/m2m.batch.cps2dep.atl2010_lazy."},{"key":"e_1_3_2_1_9_1","unstructured":"Artur Boronat. 2018. Discussion on the integration of the YAMTL solution into the VIATRA CPS Benchmark. https:\/\/github.com\/viatra\/viatra-cps-benchmark\/issues\/23.  Artur Boronat. 2018. Discussion on the integration of the YAMTL solution into the VIATRA CPS Benchmark. https:\/\/github.com\/viatra\/viatra-cps-benchmark\/issues\/23."},{"key":"e_1_3_2_1_10_1","unstructured":"Artur Boronat. 2018. EMFTVM Runner for Batch M2M Transformation for the VIATRA CPS Benchmark. https:\/\/github.com\/yamtl\/viatra-cps-batch-benchmark\/tree\/master\/m2m.batch.cps2dep.emftvm.plugin.  Artur Boronat. 2018. EMFTVM Runner for Batch M2M Transformation for the VIATRA CPS Benchmark. https:\/\/github.com\/yamtl\/viatra-cps-batch-benchmark\/tree\/master\/m2m.batch.cps2dep.emftvm.plugin."},{"key":"e_1_3_2_1_11_1","unstructured":"Artur Boronat. 2018. Repository with Examples of YAMTL Model Transformations. https:\/\/github.com\/yamtl\/examples.  Artur Boronat. 2018. Repository with Examples of YAMTL Model Transformations. https:\/\/github.com\/yamtl\/examples."},{"key":"e_1_3_2_1_12_1","unstructured":"Artur Boronat. 2018. YAMTL Batch M2M Transformation for the VIATRA CPS Benchmark. https:\/\/github.com\/yamtl\/viatra-cps-batch-benchmark\/tree\/master\/m2m.batch.cps2dep.yamtl#benchmark-cps2dep-variant-yamtl-batch.  Artur Boronat. 2018. YAMTL Batch M2M Transformation for the VIATRA CPS Benchmark. https:\/\/github.com\/yamtl\/viatra-cps-batch-benchmark\/tree\/master\/m2m.batch.cps2dep.yamtl#benchmark-cps2dep-variant-yamtl-batch."},{"key":"e_1_3_2_1_13_1","unstructured":"Artur Boronat. 2018. YAMTL Evaluation Repository with the batch component of the VIATRA CPS Benchmark. https:\/\/github.com\/yamtl\/viatra-cps-batch-benchmark.  Artur Boronat. 2018. YAMTL Evaluation Repository with the batch component of the VIATRA CPS Benchmark. https:\/\/github.com\/yamtl\/viatra-cps-batch-benchmark."},{"key":"e_1_3_2_1_14_1","unstructured":"M. Clavel F. Dur\u00e1n S. Eker J. Meseguer P. Lincoln N. Mart\u00ed-Oliet and C. Talcott. 2007. All About Maude. LNCS 4350.  M. Clavel F. Dur\u00e1n S. Eker J. Meseguer P. Lincoln N. Mart\u00ed-Oliet and C. Talcott. 2007. All About Maude. LNCS 4350."},{"key":"e_1_3_2_1_15_1","volume-title":"Gremlin-ATL: A Scalable Model Transformation Framework","author":"Daniel Gwendal","unstructured":"Gwendal Daniel , Fr\u00e9d\u00e9ric Jouault , Gerson Suny\u00e9 , and Jordi Cabot . 2017. Gremlin-ATL: A Scalable Model Transformation Framework . In ASE. IEEE Computer Society , 462--472. Gwendal Daniel, Fr\u00e9d\u00e9ric Jouault, Gerson Suny\u00e9, and Jordi Cabot. 2017. Gremlin-ATL: A Scalable Model Transformation Framework. In ASE. IEEE Computer Society, 462--472."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.08.002"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0326-8"},{"key":"e_1_3_2_1_18_1","unstructured":"The Eclipse Foundation. 2018. Xtend (official web page). http:\/\/www.eclipse.org\/xtend\/.  The Eclipse Foundation. 2018. Xtend (official web page). http:\/\/www.eclipse.org\/xtend\/."},{"key":"e_1_3_2_1_19_1","unstructured":"EU FP7. 2018. The MONDO Project: Scalable Modelling and Model Management on the Cloud. http:\/\/www.mondo-project.org\/.  EU FP7. 2018. The MONDO Project: Scalable Modelling and Model Management on the Cloud. http:\/\/www.mondo-project.org\/."},{"key":"e_1_3_2_1_20_1","unstructured":"D\u00e9nes Harmath and Istv\u00e1n R\u00e1th. 2016. VIATRA\/Query\/FAQ: Performance optimization guidelines. https:\/\/wiki.eclipse.org\/VIATRA\/Query\/FAQ#Performance_optimization_guidelines.  D\u00e9nes Harmath and Istv\u00e1n R\u00e1th. 2016. VIATRA\/Query\/FAQ: Performance optimization guidelines. https:\/\/wiki.eclipse.org\/VIATRA\/Query\/FAQ#Performance_optimization_guidelines."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21155-8_1"},{"key":"e_1_3_2_1_22_1","volume-title":"Change propagation and bidirectionality in internal transformation DSLs. Softw Syst Model","author":"Hinkel Georg","year":"2017","unstructured":"Georg Hinkel and Erik Burger . 2017. Change propagation and bidirectionality in internal transformation DSLs. Softw Syst Model ( 2017 ). Georg Hinkel and Erik Burger. 2017. Change propagation and bidirectionality in internal transformation DSLs. Softw Syst Model (2017)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Georg Hinkel Thomas Goldschmidt Erik Burger and Ralf Reussner. 2017. Using internal domain-specific languages to inherit tool support and modularity for model transformations. Soft. Syst. Model. (2017).  Georg Hinkel Thomas Goldschmidt Erik Burger and Ralf Reussner. 2017. Using internal domain-specific languages to inherit tool support and modularity for model transformations. Soft. Syst. Model. (2017).","DOI":"10.1007\/s10270-017-0578-9"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.10.009"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2487766.2487768"},{"key":"e_1_3_2_1_27_1","volume-title":"Solving the TTC'15 Train Benchmark Case Study with SIGMA. In Transformation Tool Contest@STAF 2015 (CEUR Workshop Proceedings)","volume":"1524","author":"Krikava Filip","year":"2015","unstructured":"Filip Krikava . 2015 . Solving the TTC'15 Train Benchmark Case Study with SIGMA. In Transformation Tool Contest@STAF 2015 (CEUR Workshop Proceedings) , Vol. 1524 . 167--175. Filip Krikava. 2015. Solving the TTC'15 Train Benchmark Case Study with SIGMA. In Transformation Tool Contest@STAF 2015 (CEUR Workshop Proceedings), Vol. 1524. 167--175."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2554850.2555127"},{"key":"e_1_3_2_1_29_1","volume-title":"France","author":"Krikava Filip","year":"2014","unstructured":"Filip Krikava , Philippe Collet , and Robert B . France . 2014 . SIGMA : Scala Internal Domain-Specific Languages for Model Manipulations. In MoDELS (LNCS), Vol. 8767 . Springer , 569--585. Filip Krikava, Philippe Collet, and Robert B. France. 2014. SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations. In MoDELS (LNCS), Vol. 8767. Springer, 569--585."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2016.08.006"},{"key":"e_1_3_2_1_31_1","volume-title":"Merks","author":"Steinberg David","year":"2009","unstructured":"David Steinberg , Frank Budinsky , Marcelo Paternostro , and Ed Merks . 2009 . EMF : Eclipse Modeling Framework 2.0 ( 2 nd ed.). Addison-Wesley Professional . David Steinberg, Frank Budinsky, Marcelo Paternostro, and Ed Merks. 2009. EMF: Eclipse Modeling Framework 2.0 (2nd ed.). Addison-Wesley Professional.","edition":"2"},{"key":"e_1_3_2_1_32_1","volume-title":"MoDELS","volume":"8767","author":"Sz\u00e1rnyas G\u00e1bor","year":"2014","unstructured":"G\u00e1bor Sz\u00e1rnyas , Benedek Izs\u00f3 , Istv\u00e1n R\u00e1th , D\u00e9nes Harmath , G\u00e1bor Bergmann , and D\u00e1niel Varr\u00f3 . 2014 . IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud . In MoDELS , Vol. 8767 . LNCS, 653--669. G\u00e1bor Sz\u00e1rnyas, Benedek Izs\u00f3, Istv\u00e1n R\u00e1th, D\u00e9nes Harmath, G\u00e1bor Bergmann, and D\u00e1niel Varr\u00f3. 2014. IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud. In MoDELS, Vol. 8767. LNCS, 653--669."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/243439.243441"},{"key":"e_1_3_2_1_34_1","unstructured":"VIATRA Team. 2016. Simple Xtend and Query M2M Transformation. https:\/\/github.com\/viatra\/viatra-docs\/blob\/master\/cps\/Simple-Xtend-and-Query-M2M-transformation.adoc.  VIATRA Team. 2016. Simple Xtend and Query M2M Transformation. https:\/\/github.com\/viatra\/viatra-docs\/blob\/master\/cps\/Simple-Xtend-and-Query-M2M-transformation.adoc."},{"key":"e_1_3_2_1_35_1","unstructured":"VIATRA Team. 2016. VIATRA CPS Benchmark (batch use case performance results). https:\/\/github.com\/viatra\/viatra-cps-benchmark\/wiki\/Performance-evaluation#runtime.  VIATRA Team. 2016. VIATRA CPS Benchmark (batch use case performance results). https:\/\/github.com\/viatra\/viatra-cps-benchmark\/wiki\/Performance-evaluation#runtime."},{"key":"e_1_3_2_1_36_1","unstructured":"VIATRA Team. 2016. VIATRA CPS Benchmark (CPS to Deployment Transformation). https:\/\/github.com\/viatra\/viatra-docs\/blob\/master\/cps\/CPS-to-Deployment-Transformaton.adoc.  VIATRA Team. 2016. VIATRA CPS Benchmark (CPS to Deployment Transformation). https:\/\/github.com\/viatra\/viatra-docs\/blob\/master\/cps\/CPS-to-Deployment-Transformaton.adoc."},{"key":"e_1_3_2_1_37_1","unstructured":"VIATRA Team. 2016. VIATRA CPS Benchmark (model generator). https:\/\/github.com\/viatra\/viatra-docs\/blob\/master\/cps\/Model-Generator.adoc.  VIATRA Team. 2016. VIATRA CPS Benchmark (model generator). https:\/\/github.com\/viatra\/viatra-docs\/blob\/master\/cps\/Model-Generator.adoc."},{"key":"e_1_3_2_1_38_1","unstructured":"VIATRA Team. 2016. VIATRA CPS Benchmark (scenario specification). https:\/\/github.com\/viatra\/viatra-cps-benchmark\/wiki\/Benchmark-specification#cases.  VIATRA Team. 2016. VIATRA CPS Benchmark (scenario specification). https:\/\/github.com\/viatra\/viatra-cps-benchmark\/wiki\/Benchmark-specification#cases."},{"key":"e_1_3_2_1_39_1","unstructured":"VIATRA Team. 2016. Xtend Optimized Batch M2M Transformation. https:\/\/github.com\/viatra\/viatra-docs\/blob\/master\/cps\/Simple-and-optimized-Xtend-batch-M2M-transformation.adoc\/#optimized-batch-m2m-transformation.  VIATRA Team. 2016. Xtend Optimized Batch M2M Transformation. https:\/\/github.com\/viatra\/viatra-docs\/blob\/master\/cps\/Simple-and-optimized-Xtend-batch-M2M-transformation.adoc\/#optimized-batch-m2m-transformation."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_40"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.01.004"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.01.003"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0530-4"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/647246.719611"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0372-2"},{"key":"e_1_3_2_1_46_1","volume-title":"MoDELS","volume":"6981","author":"Wagelaar Dennis","year":"2011","unstructured":"Dennis Wagelaar , Massimo Tisi , Jordi Cabot , and Fr\u00e9d\u00e9ric Jouault . 2011 . Towards a General Composition Semantics for Rule-Based Model Transformation . In MoDELS , Vol. 6981 . LNCS, 623--637. Dennis Wagelaar, Massimo Tisi, Jordi Cabot, and Fr\u00e9d\u00e9ric Jouault. 2011. Towards a General Composition Semantics for Rule-Based Model Transformation. In MoDELS, Vol. 6981. LNCS, 623--637."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61473-1_4"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2012.11.2.a3"}],"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.3239386","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3239372.3239386","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.3239386"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,14]]},"references-count":48,"alternative-id":["10.1145\/3239372.3239386","10.1145\/3239372"],"URL":"https:\/\/doi.org\/10.1145\/3239372.3239386","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"}}]}}