{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:10:07Z","timestamp":1755907807705,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,22]],"date-time":"2024-09-22T00:00:00Z","timestamp":1726963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["26330096,15KK0017,19H04088,24K14903"],"award-info":[{"award-number":["26330096,15KK0017,19H04088,24K14903"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,22]]},"DOI":"10.1145\/3640310.3674083","type":"proceedings-article","created":{"date-parts":[[2024,9,30]],"date-time":"2024-09-30T13:38:07Z","timestamp":1727703487000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Partial Bidirectionalization of Model Transformation Languages"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4726-8712","authenticated-orcid":false,"given":"Soichiro","family":"Hidaka","sequence":"first","affiliation":[{"name":"Hosei University, Koganei-shi, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7891-9138","authenticated-orcid":false,"given":"Massimo","family":"Tisi","sequence":"additional","affiliation":[{"name":"IMT Atlantique, LS2N (UMR CNRS 6004), Nantes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,9,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Ahmad Salim Al-Sibahi. 2015. On the Computational Expressiveness of Model Transformation Languages. ITU Technical Report Series TR-2015-184 (2015)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/319628.319634"},{"key":"e_1_3_2_1_3_1","volume-title":"Model Transformations in Practice Workshop. In Satellite Events at the MoDELS 2005 Conference, Jean-Michel Bruel (Ed.). Springer Berlin Heidelberg","author":"B\u00e9zivin Jean","year":"2006","unstructured":"Jean B\u00e9zivin, Bernhard Rumpe, Andy Sch\u00fcrr, and Laurence Tratt. 2006. Model Transformations in Practice Workshop. In Satellite Events at the MoDELS 2005 Conference, Jean-Michel Bruel (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 120--127."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80615-7"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007780050084"},{"key":"e_1_3_2_1_6_1","volume-title":"Matching Lenses: Alignment and View Update. cis.upenn.edu","author":"Cretin D.M.J.B.J.","year":"2010","unstructured":"D.M.J.B.J. Cretin, Nate Foster, and M.G.B.C. Pierce. 2010. Matching Lenses: Alignment and View Update. cis.upenn.edu (2010). http:\/\/www.cis.upenn.edu\/~{}bcpierce\/papers\/alignment.pdf"},{"key":"e_1_3_2_1_7_1","volume-title":"Terwilliger","author":"Czarnecki Krzysztof","year":"2009","unstructured":"Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf L\u00e4mmel, Andy Sch\u00fcrr, and James F. Terwilliger. 2009. Bidirectional Transformations: A Cross-Discipline Perspective. In ICMT'09. 260--283."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0621"},{"volume-title":"Proc. of the 1\u00e8res Journ\u00e9es sur l'Ing\u00e9nierie Dirig\u00e9e par les Mod\u00e8les. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10","author":"Del Fabro M.D.","key":"e_1_3_2_1_9_1","unstructured":"M.D. Del Fabro, J. B\u00e9zivin, F. Jouault, E. Breton, and G. Gueltas. 2005. AMW: a generic model weaver. In Proc. of the 1\u00e8res Journ\u00e9es sur l'Ing\u00e9nierie Dirig\u00e9e par les Mod\u00e8les. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.108.1294"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24485-8_22"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593770.2593772"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1232420.1232424"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0089-9"},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. 4th International Workshop on Bidirectional Transformations, L'Aquila, Italy, July 24 (CEUR Workshop Proceedigns","volume":"65","author":"Hidaka Soichiro","year":"2015","unstructured":"Soichiro Hidaka, Martin Billes, Quang Minh Tran, and Kazutaka Matsuda. 2015. Tracebased Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations. In Proc. 4th International Workshop on Bidirectional Transformations, L'Aquila, Italy, July 24 (CEUR Workshop Proceedigns, Vol. 1396). 51--65. http:\/\/ceur-ws.org\/Vol-1396\/p51-hidaka.pdf"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863573"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100104"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.2201\/NiiPi.2013.10.7"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529383"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2017.21"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0450-0"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-008-9025-5"},{"key":"e_1_3_2_1_22_1","volume-title":"ECMDA Trace-ability Workshop (ECMDA-TW). 29--37","author":"Jouault Fr\u00e9d\u00e9ric","year":"2005","unstructured":"Fr\u00e9d\u00e9ric Jouault. 2005. Loosely coupled traceability for ATL. In ECMDA Trace-ability Workshop (ECMDA-TW). 29--37."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11768869_14"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173744"},{"volume-title":"Satellite Events at the MoDELS 2005 Conference, Jean-Michel Bruel (Ed.)","author":"Jouault Fr\u00e9d\u00e9ric","key":"e_1_3_2_1_26_1","unstructured":"Fr\u00e9d\u00e9ric Jouault and Ivan Kurtev. 2006. Transforming Models with ATL. In Satellite Events at the MoDELS 2005 Conference, Jean-Michel Bruel (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 128--138."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2847538.2847544"},{"volume-title":"Theory and practice of model transformations","author":"Kolovos Dimitrios S","key":"e_1_3_2_1_28_1","unstructured":"Dimitrios S Kolovos, Richard F Paige, and Fiona AC Polack. 2008. The epsilon transformation language. In Theory and practice of model transformations. Springer, 46--60."},{"key":"e_1_3_2_1_29_1","volume-title":"Model Transformation with Triple Graph Grammars. In Model Transformations in Practice Satellite Workshop of MODELS. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10","author":"K\u00f6nigs A.","year":"2005","unstructured":"A. K\u00f6nigs. 2005. Model Transformation with Triple Graph Grammars. In Model Transformations in Practice Satellite Workshop of MODELS. http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.113.2894&rep=rep1&type=pdf"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997366"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1244381.1244386"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.2201\/NiiPi.2013.10.6"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0437-x"},{"key":"e_1_3_2_1_34_1","unstructured":"Peter Magnusson. 1993. Partial Translation. Technical Report T93:05. The Swedish Institute of Computer Science."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3239372.3239412"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291162"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784750"},{"volume-title":"HOBiT: Programming Lenses Without Using Lens Combinators","author":"Matsuda Kazutaka","key":"e_1_3_2_1_38_1","unstructured":"Kazutaka Matsuda and Meng Wang. 2018. HOBiT: Programming Lenses Without Using Lens Combinators. In Programming Languages and Systems, Amal Ahmed (Ed.). Springer International Publishing, Cham, 31--59."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-79837-6_11"},{"key":"e_1_3_2_1_40_1","unstructured":"Object Management Group. 2008. Query\/View\/Transformation Specification. Version 1.0. http:\/\/www.omg.org\/spec\/QVT\/1.0\/"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.303.0312"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21732-6_10"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976788"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0109-9"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54804-8_3"},{"volume-title":"Theory and Practice of Model Transformation, Arend Rensink and Jes\u00fas S\u00e1nchez Cuadrado (Eds.)","author":"Tisi Massimo","key":"e_1_3_2_1_46_1","unstructured":"Massimo Tisi and Zheng Cheng. 2018. CoqTL: An Internal DSL for Model Transformation in Coq. In Theory and Practice of Model Transformation, Arend Rensink and Jes\u00fas S\u00e1nchez Cuadrado (Eds.). Springer International Publishing, Cham, 142--156."},{"key":"e_1_3_2_1_47_1","volume-title":"The Netherlands) (LNCS","volume":"33","author":"Tisi Massimo","year":"2009","unstructured":"Massimo Tisi, Fr\u00e9d\u00e9ric Jouault, Piero Fraternali, Stefano Ceri, and Jean B\u00e9zivin. 2009. On the Use of Higher-Order Model Transformations. In ECMDA-FA'09 (Enschede, The Netherlands) (LNCS, Vol. 5562). 18--33."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480904"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863571"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796813000130"},{"volume-title":"The Object Constraint Language: Precise Modeling With UML","author":"Warmer Jos B","key":"e_1_3_2_1_51_1","unstructured":"Jos B Warmer and Anneke G Kleppe. 1998. The Object Constraint Language: Precise Modeling With UML. Addison-Wesley Professional."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321657"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510195"}],"event":{"name":"MODELS '24: ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","sponsor":["Johannes Kepler University, Linz, Austria","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Linz Austria","acronym":"MODELS '24"},"container-title":["Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3640310.3674083","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3640310.3674083","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T23:52:55Z","timestamp":1755906775000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3640310.3674083"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,22]]},"references-count":53,"alternative-id":["10.1145\/3640310.3674083","10.1145\/3640310"],"URL":"https:\/\/doi.org\/10.1145\/3640310.3674083","relation":{},"subject":[],"published":{"date-parts":[[2024,9,22]]},"assertion":[{"value":"2024-09-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}