{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T20:23:27Z","timestamp":1791231807888,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,3]],"date-time":"2010-10-03T00:00:00Z","timestamp":1286064000000},"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":[[2010,10,3]]},"DOI":"10.1145\/1866272.1866277","type":"proceedings-article","created":{"date-parts":[[2010,10,5]],"date-time":"2010-10-05T14:38:23Z","timestamp":1286289503000},"page":"22-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Efficient analysis and execution of correct and complete model transformations based on triple graph grammars"],"prefix":"10.1145","author":[{"given":"Frank","family":"Hermann","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Berlin, Berlin, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hartmut","family":"Ehrig","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Berlin, Berlin, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ulrike","family":"Golas","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Berlin, Berlin, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[{"name":"Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2010,10,3]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Hermann","author":"Ehrig H.","year":"2008","unstructured":"}} Ehrig , H. , Ehrig , K. , Hermann , F. : From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. In : Ermel, C., de Lara, J., Heckel, R. (eds.) Proc. GT-VMT'08. EC-EASST, vol. 10 . EASST ( 2008 ) }}Ehrig, H., Ehrig, K., Hermann, F.: From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. In: Ermel, C., de Lara, J., Heckel, R. (eds.) Proc. GT-VMT'08. EC-EASST, vol. 10. EASST (2008)"},{"key":"e_1_3_2_1_2_1","volume-title":"Taentzer","author":"Ehrig H.","year":"2006","unstructured":"}} Ehrig , H. , Ehrig , K. , Prange , U. , Taentzer , G. : Fundamentals of Algebraic Graph Transformation. EATCS Monographs, Springer ( 2006 ) }}Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs, Springer (2006)"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1402947.1402950"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_18"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87405-8_13"},{"key":"e_1_3_2_1_6_1","first-page":"72","volume-title":"Taentzer","author":"Ehrig H.","year":"2007","unstructured":"}} Ehrig , H. , Ehrig , K. , Ermel , C. , Hermann , F. , Taentzer , G. : Information preserving bidirectional model transformations. In : Dwyer, M. B., Lopes, A. (eds.) Proc. FASE'07. LNCS, vol. 4422 , pp. 72 -- 86 . Springer ( 2007 ) }}Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information preserving bidirectional model transformations. In: Dwyer, M. B., Lopes, A. (eds.) Proc. FASE'07. LNCS, vol. 4422, pp. 72--86. Springer (2007)"},{"key":"e_1_3_2_1_7_1","volume-title":"Sartorius","author":"Ehrig H.","year":"2009","unstructured":"}} Ehrig , H. , Hermann , F. , Sartorius , C. : Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. In : Heckel, R., Boronat, A. (eds.) Proc. GT-VMT'09. EC-EASST, vol. 18 . EASST ( 2009 ) }}Ehrig, H., Hermann, F., Sartorius, C.: Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. In: Heckel, R., Boronat, A. (eds.) Proc. GT-VMT'09. EC-EASST, vol. 18. EASST (2009)"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0089-9"},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. Int. Workshop on Graph Computation Models (GCM'10)","author":"Golas U.","year":"2010","unstructured":"}} Golas , U. , Ehrig , H. , Hermann , F. : Enhancing the Expressiveness of Formal Specifications for Model Transformations by Triple Graph Grammars with Application Conditions . In: Proc. Int. Workshop on Graph Computation Models (GCM'10) ( 2010 ) }}Golas, U., Ehrig, H., Hermann, F.: Enhancing the Expressiveness of Formal Specifications for Model Transformations by Triple Graph Grammars with Application Conditions. In: Proc. Int. Workshop on Graph Computation Models (GCM'10) (2010)"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841883_25"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129508007202"},{"key":"e_1_3_2_1_15_1","first-page":"155","volume-title":"U.: Formal Analysis of Functional Behaviour of Model Transformations Based on Triple Graph Grammars. In: Proc. Int. Conf. on Graph Transformation (ICGT'10)","volume":"6372","author":"Hermann F.","year":"2010","unstructured":"}} Hermann , F. , Ehrig , H. , Orejas , F. , Golas , U.: Formal Analysis of Functional Behaviour of Model Transformations Based on Triple Graph Grammars. In: Proc. Int. Conf. on Graph Transformation (ICGT'10) . LNCS, vol. 6372 , pp. 155 -- 170 . Springer ( 2010 ) }}Hermann, F., Ehrig, H., Orejas, F., Golas, U.: Formal Analysis of Functional Behaviour of Model Transformations Based on Triple Graph Grammars. In: Proc. Int. Conf. on Graph Transformation (ICGT'10). LNCS, vol. 6372, pp. 155--170. Springer (2010)"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.015"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/647675.731658"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87405-8_28"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89020-1_35"},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. MoDELS 2005 Workshop MTiP'05 (2005)","author":"Taentzer G.","unstructured":"}} Taentzer , G. , Ehrig , K. , Guerra , E. , de Lara , J. , Lengyel , L. , Levendovsky , T. , Prange , U. , Varro , D. , Varro-Gyapay , S. : Model Transformation by Graph Transformation: A Comparative Study . In: Proc. MoDELS 2005 Workshop MTiP'05 (2005) }}Taentzer, G., Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovsky, T., Prange, U., Varro, D., Varro-Gyapay, S.: Model Transformation by Graph Transformation: A Comparative Study. In: Proc. MoDELS 2005 Workshop MTiP'05 (2005)"},{"key":"e_1_3_2_1_23_1","volume-title":"TU","author":"}}TFS-Group","year":"2009","unstructured":"}}TFS-Group , TU Berlin : AGG ( 2009 ), http:\/\/tfs.cs.tu-berlin.de\/agg }}TFS-Group, TU Berlin: AGG (2009), http:\/\/tfs.cs.tu-berlin.de\/agg"}],"event":{"name":"MDI '10: First Workshop on Model Driven Interoperability","location":"Oslo Norway","acronym":"MDI '10"},"container-title":["Proceedings of the First International Workshop on Model-Driven Interoperability"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1866272.1866277","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1866272.1866277","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:09:06Z","timestamp":1750248546000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1866272.1866277"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,3]]},"references-count":18,"alternative-id":["10.1145\/1866272.1866277","10.1145\/1866272"],"URL":"https:\/\/doi.org\/10.1145\/1866272.1866277","relation":{},"subject":[],"published":{"date-parts":[[2010,10,3]]},"assertion":[{"value":"2010-10-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}