{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:59:09Z","timestamp":1762459149185,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,16]],"date-time":"2013-09-16T00:00:00Z","timestamp":1379289600000},"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":[[2013,9,16]]},"DOI":"10.1145\/2505879.2505900","type":"proceedings-article","created":{"date-parts":[[2013,9,17]],"date-time":"2013-09-17T19:57:05Z","timestamp":1379447825000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A declarative and bidirectional model transformation approach based on graph co-spans"],"prefix":"10.1145","author":[{"given":"Yngve","family":"Lamo","sequence":"first","affiliation":[{"name":"Bergen University College, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Mantz","sequence":"additional","affiliation":[{"name":"Bergen University College, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrian","family":"Rutle","sequence":"additional","affiliation":[{"name":"\u00c5lesund University College, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[{"name":"Univ. Aut\u00f3noma de Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/978-3-642-17322-6_7","volume-title":"Graph Transformations and Model-Driven Engineering","author":"Biermann E.","year":"2010","unstructured":"E. Biermann , H. Ehrig , C. Ermel , U. Golas , and G. Taentzer . Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation . In Graph Transformations and Model-Driven Engineering , volume 5765 of LNCS , pages 121 -- 140 . Springer , 2010 . E. Biermann, H. Ehrig, C. Ermel, U. Golas, and G. Taentzer. Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation. In Graph Transformations and Model-Driven Engineering, volume 5765 of LNCS, pages 121--140. Springer, 2010."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1016\/0022-0000(87)90030-4"},{"key":"e_1_3_2_1_3_1","series-title":"LNCS","first-page":"183","volume-title":"SLE","author":"Cicchetti A.","year":"2010","unstructured":"A. Cicchetti , D. D. Ruscio , R. Eramo , and A. Pierantonio . Jtl: A bidirectional and change propagating transformation language . In SLE , volume 6563 of LNCS , pages 183 -- 202 . Springer , 2010 . A. Cicchetti, D. D. Ruscio, R. Eramo, and A. Pierantonio. Jtl: A bidirectional and change propagating transformation language. In SLE, volume 6563 of LNCS, pages 183--202. Springer, 2010."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1007\/11841883_4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1007\/978-3-642-02408-5_19"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1007\/978-3-540-31984-9_5"},{"key":"e_1_3_2_1_7_1","series-title":"LNCS","first-page":"72","volume-title":"FASE'07","author":"Ehrig H.","year":"2007","unstructured":"H. Ehrig , K. Ehrig , C. Ermel , F. Hermann , and G. Taentzer . Information preserving bidirectional model transformations . In FASE'07 , volume 4422 of LNCS , pages 72 -- 86 . Springer , 2007 . H. Ehrig, K. Ehrig, C. Ermel, F. Hermann, and G. Taentzer. Information preserving bidirectional model transformations. In FASE'07, volume 4422 of LNCS, pages 72--86. Springer, 2007."},{"key":"e_1_3_2_1_8_1","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"Ehrig H.","year":"2006","unstructured":"H. Ehrig , K. Ehrig , U. Prange , and G. Taentzer . Fundamentals of Algebraic Graph Transformation . Springer , March 2006 . H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. Fundamentals of Algebraic Graph Transformation. Springer, March 2006."},{"key":"e_1_3_2_1_9_1","first-page":"139","volume":"98","author":"Ehrig H.","year":"2009","unstructured":"H. Ehrig , F. Hermann , and U. Prange . Cospan DPO Approach: An Alternative for DPO Graph Transformation. EATCS Bulletin , 98 : 139 -- 149 , 2009 . H. Ehrig, F. Hermann, and U. Prange. Cospan DPO Approach: An Alternative for DPO Graph Transformation. EATCS Bulletin, 98:139--149, 2009.","journal-title":"EATCS Bulletin"},{"key":"e_1_3_2_1_10_1","first-page":"18","author":"Ehrig H.","year":"2009","unstructured":"H. Ehrig , F. Hermann , and C. Sartorius . Completeness and correctness of model transformations based on triple graph grammars with negative application conditions. ECEASST , 18 , 2009 . H. Ehrig, F. Hermann, and C. Sartorius. Completeness and correctness of model transformations based on triple graph grammars with negative application conditions. ECEASST, 18, 2009.","journal-title":"ECEASST"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/1232420.1232424"},{"key":"e_1_3_2_1_12_1","series-title":"LNCS","first-page":"346","volume-title":"ICGT","author":"Golas U.","year":"2010","unstructured":"U. Golas , H. Ehrig , and A. Habel . Multi-amalgamation in adhesive categories . In ICGT , volume 6372 of LNCS , pages 346 -- 361 . Springer , 2010 . U. Golas, H. Ehrig, and A. Habel. Multi-amalgamation in adhesive categories. In ICGT, volume 6372 of LNCS, pages 346--361. Springer, 2010."},{"key":"e_1_3_2_1_13_1","series-title":"LNCS","first-page":"155","volume-title":"ICGT","author":"Hermann F.","year":"2010","unstructured":"F. Hermann , H. Ehrig , F. Orejas , and U. Golas . Formal analysis of functional behaviour for model transformations based on triple graph grammars . In ICGT , volume 6372 of LNCS , pages 155 -- 170 . Springer , 2010 . F. Hermann, H. Ehrig, F. Orejas, and U. Golas. Formal analysis of functional behaviour for model transformations based on triple graph grammars. In ICGT, volume 6372 of LNCS, pages 155--170. Springer, 2010."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/1176617.1176691"},{"key":"e_1_3_2_1_15_1","volume-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"Kleppe A. G.","year":"2003","unstructured":"A. G. Kleppe , J. Warmer , and W. Bast . MDA Explained: The Model Driven Architecture: Practice and Promise . Addison-Wesley Professional , 2003 . A. G. Kleppe, J. Warmer, and W. Bast. MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley Professional, 2003."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1007\/978-3-642-31491-9_22"},{"key":"e_1_3_2_1_17_1","volume-title":"GTVMT","author":"Mantz F.","year":"2013","unstructured":"F. Mantz , G. Taentzer , and Y. Lamo . Well-formed model co-evolution with customizable model migration . In GTVMT , 2013 . F. Mantz, G. Taentzer, and Y. Lamo. Well-formed model co-evolution with customizable model migration. In GTVMT, 2013."},{"key":"e_1_3_2_1_18_1","volume-title":"MDA Distilled","author":"Mellor S. J.","year":"2004","unstructured":"S. J. Mellor , K. Scott , A. Uhl , and D. Weise . MDA Distilled . Addison-Wesley , 2004 . S. J. Mellor, K. Scott, A. Uhl, and D. Weise. MDA Distilled. Addison-Wesley, 2004."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1016\/j.entcs.2005.10.021"},{"unstructured":"Object Management Group. Query\/View\/Transformation Specification January 2011. http:\/\/www.omg.org\/spec\/QVT\/1.1.  Object Management Group. Query\/View\/Transformation Specification January 2011. http:\/\/www.omg.org\/spec\/QVT\/1.1.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","first-page":"383","volume-title":"Completeness and Termination of Pattern-Based Model-to-Model Transformation. In CALCO 2009","volume":"5728","author":"Orejas F.","year":"2009","unstructured":"F. Orejas , E. Guerra , J. de Lara , and H. Ehrig . Correctness , Completeness and Termination of Pattern-Based Model-to-Model Transformation. In CALCO 2009 , volume 5728 of LNCS, pages 383 -- 397 . Springer , 2009 . F. Orejas, E. Guerra, J. de Lara, and H. Ehrig. Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. In CALCO 2009, volume 5728 of LNCS, pages 383--397. Springer, 2009."},{"unstructured":"QVT. http:\/\/www.omg.org\/docs\/ptc\/05-11-01.pdf.  QVT. http:\/\/www.omg.org\/docs\/ptc\/05-11-01.pdf.","key":"e_1_3_2_1_22_1"},{"issue":"4","key":"e_1_3_2_1_23_1","first-page":"422","volume":"81","author":"Rutle A.","year":"2012","unstructured":"A. Rutle , A. Rossini , Y. Lamo , and U. Wolter . A formal approach to the specification and transformation of constraints in MDE. JLAP , 81 ( 4 ): 422 -- 457 , 2012 . A. Rutle, A. Rossini, Y. Lamo, and U. Wolter. A formal approach to the specification and transformation of constraints in MDE. JLAP, 81(4):422--457, 2012.","journal-title":"JLAP"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1145\/1621087.1621105"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1007\/11787044_13"},{"key":"e_1_3_2_1_26_1","series-title":"LNCS","first-page":"151","volume-title":"WG'94","author":"Sch\u00fcrr A.","year":"1994","unstructured":"A. Sch\u00fcrr . Specification of graph translators with triple graph grammars . In WG'94 , volume 903 of LNCS , pages 151 -- 163 . Springer , 1994 . A. Sch\u00fcrr. Specification of graph translators with triple graph grammars. In WG'94, volume 903 of LNCS, pages 151--163. Springer, 1994."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1109\/MS.2003.1231150"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1007\/s10270-008-0109-9"},{"key":"e_1_3_2_1_30_1","volume-title":"Model-driven software development","author":"V\u00f6lter M.","year":"2006","unstructured":"M. V\u00f6lter and T. Stahl . Model-driven software development . Wiley , 2006 . M. V\u00f6lter and T. Stahl. Model-driven software development. Wiley, 2006."}],"event":{"sponsor":["Universidad Complutense de Madrid","SIGPLAN ACM Special Interest Group on Programming Languages"],"acronym":"PPDP '13","name":"PPDP '13: 15th International Symposium on Principles and Practice of Declarative Programming","location":"Madrid Spain"},"container-title":["Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2505879.2505900","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2505879.2505900","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:34:17Z","timestamp":1750232057000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2505879.2505900"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,16]]},"references-count":29,"alternative-id":["10.1145\/2505879.2505900","10.1145\/2505879"],"URL":"https:\/\/doi.org\/10.1145\/2505879.2505900","relation":{},"subject":[],"published":{"date-parts":[[2013,9,16]]},"assertion":[{"value":"2013-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}