{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T20:24:43Z","timestamp":1791231883842,"version":"4.1.0"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T00:00:00Z","timestamp":1358812800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1007\/s10270-012-0309-1","type":"journal-article","created":{"date-parts":[[2013,1,21]],"date-time":"2013-01-21T14:19:32Z","timestamp":1358777972000},"page":"241-269","source":"Crossref","is-referenced-by-count":23,"title":["Model synchronization based on triple graph grammars: correctness, completeness and invertibility"],"prefix":"10.1007","volume":"14","author":[{"given":"Frank","family":"Hermann","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hartmut","family":"Ehrig","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zinovy","family":"Diskin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yingfei","family":"Xiong","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Susann","family":"Gottmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Engel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,1,22]]},"reference":[{"key":"309_CR1","doi-asserted-by":"crossref","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced concepts and tools for in-place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) Proc. of the ACM\/IEEE 13th Intern. Conf. on Model Driven Engineering Languages and Systems (MoDELS\u201910). LNCS, vol. 6394, pp. 121\u2013135. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16145-2_9"},{"key":"309_CR2","doi-asserted-by":"crossref","unstructured":"Barbosa, D.M., Cretin, J., Foster, N., Greenberg, M., Pierce, B.C.: Matching lenses: alignment and view update. SIGPLAN Not. 45(9), 193\u2013204 (Sep 2010) ( http:\/\/doi.acm.org\/10.1145\/1932681.1863572 )","DOI":"10.1145\/1932681.1863572"},{"key":"309_CR3","doi-asserted-by":"crossref","unstructured":"Becker, S., Nagl, M., Westfechtel, B.: Incremental and interactive integrator tools for design product consistency. In: Nagl, M., Marquardt, W. (eds.) Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support, LNCS, vol. 4970, pp. 224\u2013267. Springer, Berlin (2008) ( http:\/\/dx.doi.org\/10.1007\/978-3-540-70552-9_11 )","DOI":"10.1007\/978-3-540-70552-9_11"},{"issue":"1","key":"309_CR4","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/s007780050084","volume":"9","author":"P Buneman","year":"2000","unstructured":"Buneman, P., Fernandez, M., Suciu, D.: UnQL: A query language and algebra for semistructured data based on structural recursion. VLDB J. 9(1), 76\u2013110 (2000)","journal-title":"VLDB J."},{"key":"309_CR5","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Foster, J., Hu, Z., L\u00e4mmel, R., Sch\u00fcrr, A., Terwilliger, J.: Bidirectional Transformations: A Cross-Discipline Perspective. In: Proc. ICMT\u201909. LNCS, vol. 5563, pp. 260\u2013283. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02408-5_19"},{"issue":"6","key":"309_CR6","first-page":"1","volume":"10","author":"Z Diskin","year":"2011","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K.: From state- to delta-based bidirectional model transformations: The asymmetric case. J. Object Technol. 10(6), 1\u201325 (2011)","journal-title":"J. Object Technol."},{"key":"309_CR7","doi-asserted-by":"crossref","unstructured":"Diskin, Z.: Algebraic Models for bidirectional model synchronization. In: Czarnecki, K., Ober, I., Bruel, J.M., Uhl, A., V\u00f6lter, M. (eds.) Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, vol. 5301, pp. 21\u201336. Springer, Berlin (2008) ( http:\/\/dx.doi.org\/10.1007\/978-3-540-87875-9_2 )","DOI":"10.1007\/978-3-540-87875-9_2"},{"key":"309_CR8","doi-asserted-by":"crossref","unstructured":"Diskin, Z.: Model synchronization: Mappings, tiles, and categories. In: Generative and Transformational Techniques in Software Engineering III, LNCS, vol. 6491, pp. 92\u2013165. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-18023-1_3"},{"key":"309_CR9","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From State- to Delta-based Bidirectional Model Transformations: The Symmetric Case. In: Proc. MODELS 2011. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24485-8_22"},{"key":"309_CR10","unstructured":"Ehrig, H., Ehrig, K., Hermann, F.: From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. EC-EASST 10 (2008)"},{"key":"309_CR11","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, EATCS Monographs in Theor. Comp. Science (2006)"},{"key":"309_CR12","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Ermel, C., Hermann, F., Prange, U.: On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars. In: Proc. MODELS\u201909. LNCS, vol. 5795, pp. 241\u2013255. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04425-0_18"},{"key":"309_CR13","doi-asserted-by":"crossref","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29(3) (May 2007) ( http:\/\/doi.acm.org\/10.1145\/1232420.1232424 )","DOI":"10.1145\/1232420.1232424"},{"key":"309_CR14","unstructured":"Giese, H., Hildebrandt, S.: Efficient Model Synchronization of Large-Scale Models. Tech. Rep. 28, Hasso Plattner Institute at the University of Potsdam (2009)"},{"issue":"1","key":"309_CR15","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s10270-008-0089-9","volume":"8","author":"H Giese","year":"2009","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Softw. Syst. Model. 8(1), 21\u201343 (2009)","journal-title":"Softw. Syst. Model."},{"key":"309_CR16","doi-asserted-by":"crossref","unstructured":"Giese, H., Hildebrandt, S., Lambers, L.: Toward bridging the gap between formal semantics and implementation of triple graph grammars. Tech. Rep. 37, Hasso Plattner Institute at the University of Potsdam (2010)","DOI":"10.1109\/MoDeVVa.2010.14"},{"key":"309_CR17","doi-asserted-by":"crossref","unstructured":"Golas, U., Ehrig, H., Habel, A.: Multi-amalgamation in adhesive categories. In: Proceedings of Intern. Conf. on Graph Transformation ( ICGT\u2019 10) (2010) ( http:\/\/tfs.cs.tu-berlin.de\/publikationen\/Papers10\/GEH10.pdf )","DOI":"10.1007\/978-3-642-15928-2_23"},{"key":"309_CR18","unstructured":"Golas, U., Ehrig, H., Hermann, F.: Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. EC-EASST 39 (2011)"},{"issue":"1","key":"309_CR19","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s10270-009-0121-8","volume":"9","author":"J Greenyer","year":"2010","unstructured":"Greenyer, J., Kindler, E.: Comparing relational model transformation technologies: Implementing query\/view\/transformation with triple graph grammars. Softw. Syst. Model. (SoSyM) 9(1), 21\u201346 (2010)","journal-title":"Softw. Syst. Model. (SoSyM)"},{"key":"309_CR20","doi-asserted-by":"crossref","unstructured":"Greenyer, J., Pook, S., Rieke, J.: Preventing information loss in incremental model synchronization by reusing elements. In: Proc. ECMFA 2011. LNCS, vol. 6698, pp. 144\u2013159. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21470-7_11"},{"key":"309_CR21","doi-asserted-by":"crossref","unstructured":"Hermann, F., Ehrig, H., Ermel, C., Orejas, F.: Concurrent model synchronization with conflict resolution based on triple graph grammars. In: de Lara, J., Zisman, A. (eds.) Proc. Fundamental Aspects of Software Engineering (FASE\u201912). LNCS, vol. 7212, pp. 178\u2013193. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-28872-2_13"},{"key":"309_CR22","doi-asserted-by":"crossref","unstructured":"Hermann, F., Ehrig, H., Golas, U., Orejas, F.: Efficient analysis and execution of correct and complete model transformations based on triple graph grammars. In: Proc. MDI\u201910 (2010)","DOI":"10.1145\/1866272.1866277"},{"key":"309_CR23","doi-asserted-by":"crossref","unstructured":"Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y.: Correctness of model synchronization based on triple graph grammars. In: Proc. Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS\u201911). LNCS, vol. 6981. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24485-8_49"},{"key":"309_CR24","doi-asserted-by":"crossref","unstructured":"Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y.: Correctness of Model Synchronization Based on Triple Graph Grammars\u2014Extended Version. Tech. Rep. TR 2011\u201307, TU Berlin, Fak. IV (2011)","DOI":"10.1007\/978-3-642-24485-8_49"},{"key":"309_CR25","doi-asserted-by":"crossref","unstructured":"Hermann, F., Ehrig, H., Orejas, F., Golas, U.: Formal analysis of functional behaviour of model transformations based on triple graph grammars. In: Proc. ICGT\u201910. LNCS, vol. 6372, pp. 155\u2013170. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-15928-2_11"},{"key":"309_CR26","doi-asserted-by":"crossref","unstructured":"Hidaka, S., Hu, Z., Inaba, K., Kato, H., Matsuda, K., Nakano, K.: Bidirectionalizing graph transformations. In: 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010). pp. 205\u2013216 (2010)","DOI":"10.1145\/1863543.1863573"},{"key":"309_CR27","doi-asserted-by":"crossref","unstructured":"Hofmann, M., Pierce, B., Wagner, D.: Symmetric lenses. SIGPLAN Not. 46(1), 371\u2013384 (Jan 2011) ( http:\/\/doi.acm.org\/10.1145\/1925844.1926428 )","DOI":"10.1145\/1925844.1926428"},{"key":"309_CR28","doi-asserted-by":"crossref","unstructured":"Hofmann, M., Pierce, B., Wagner, D.: Edit lenses. SIGPLAN Not. 47(1), 495\u2013508 (Jan 2012) ( http:\/\/doi.acm.org\/10.1145\/2103621.2103715 )","DOI":"10.1145\/2103621.2103715"},{"key":"309_CR29","unstructured":"Kindler, E., Wagner, R.: Triple graph grammars: Concepts, extensions, implementations, and application scenarios. Tech. Rep. TR-ri-07-284, Department of Computer Science, University of Paderborn, Germany (2007)"},{"key":"309_CR30","doi-asserted-by":"crossref","unstructured":"Klar, F., Lauder, M., K\u00f6nigs, A., Sch\u00fcrr, A.: Extended triple graph grammars with efficient and compatible graph translators. In: Graph Transformations and Model Driven Enginering, LNCS, vol. 5765, pp. 141\u2013174. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-17322-6_8"},{"key":"309_CR31","unstructured":"Object Management Group: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification. Version 1.0 formal\/08-04-03. ( http:\/\/www.omg.org\/spec\/QVT\/1.0\/ ) (2008)"},{"key":"309_CR32","unstructured":"Ottersten, B., Engel, T.: SPELL: Satellite communication\u2019s \u2018lingua franca\u2019. In: Interdisciplinary Centre for Security, Reliability and Trust. Annual Report 2011. pp. 14\u201315. scienceRELATIONS, Dortmund, Germany (2012) ( http:\/\/www.uni.lu\/content\/download\/52106\/624943\/version\/1\/file\/SnT_AR2011_final_web.pdf )"},{"key":"309_CR33","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Proc. WG\u201994. LNCS, vol. 903, pp. 151\u2013163. Springer, Heidelberg (1994)","DOI":"10.1007\/3-540-59071-4_45"},{"key":"309_CR34","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A., Winter, A., Z\u00fcndorf, A.: The PROGRES approach: Language and environment. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. p. 487550. World Scientific (1999)","DOI":"10.1142\/9789812815149_0013"},{"key":"309_CR35","unstructured":"Sch\u00fcrr, A., Klar, F.: 15 years of triple graph grammars. In: Proc. ICGT\u201908. LNCS, vol. 5214, pp. 411\u2013425 (2008)"},{"key":"309_CR36","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/s10270-008-0109-9","volume":"9","author":"P Stevens","year":"2010","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: Semantic issues and open questions. Softw. Syst. Model. 9, 7\u201320 (2010)","journal-title":"Softw. Syst. Model."},{"key":"309_CR37","unstructured":"TFS-Group, TU Berlin: AGG (2011) ( http:\/\/tfs.cs.tu-berlin.de\/agg )"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0309-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0309-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0309-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,20]],"date-time":"2020-07-20T21:14:31Z","timestamp":1595279671000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0309-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,22]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["309"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0309-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,22]]}}}