{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T19:15:10Z","timestamp":1790968510657,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642244841","type":"print"},{"value":"9783642244858","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24485-8_49","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T15:59:05Z","timestamp":1318262345000},"page":"668-682","source":"Crossref","is-referenced-by-count":34,"title":["Correctness of Model Synchronization Based on Triple Graph Grammars"],"prefix":"10.1007","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"}]}],"member":"297","reference":[{"key":"49_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-02408-5_19","volume-title":"Theory and Practice of Model Transformations","author":"K. Czarnecki","year":"2009","unstructured":"Czarnecki, K., Foster, J.N., Hu, Z., L\u00e4mmel, R., Sch\u00fcrr, A., Terwilliger, J.F.: Bidirectional Transformations: A Cross-Discipline Perspective. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 260\u2013283. Springer, Heidelberg (2009)"},{"key":"49_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5381\/jot.2011.10.1.a6","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. Journal of Object technology\u00a010, 6:1\u20136:25 (2011)","journal-title":"Journal of Object technology"},{"key":"49_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-18023-1_3","volume-title":"Generative and Transformational Techniques in Software Engineering III","author":"Z. Diskin","year":"2011","unstructured":"Diskin, Z.: Model Synchronization: Mappings, Tiles, and Categories. In: Fernandes, J.M., L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering III. LNCS, vol.\u00a06491, pp. 92\u2013165. Springer, Heidelberg (2011)"},{"key":"49_CR4","series-title":"LNCS","first-page":"304","volume-title":"MODELS 2011","author":"Z. Diskin","year":"2011","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: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 304\u2013318. Springer, Heidelberg (2011)"},{"key":"49_CR5","unstructured":"Ehrig, H., Ehrig, K., Hermann, F.: From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. EC-EASST\u00a010 (2008)"},{"key":"49_CR6","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theor. Comp. Science (2006)"},{"key":"49_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-04425-0_18","volume-title":"Model Driven Engineering Languages and Systems","author":"H. Ehrig","year":"2009","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: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 241\u2013255. Springer, Heidelberg (2009)"},{"key":"49_CR8","unstructured":"Giese, H., Hildebrandt, S.: Efficient Model Synchronization of Large-Scale Models. Tech. Rep.\u00a028, Hasso Plattner Institute at the University of Potsdam (2009)"},{"issue":"1","key":"49_CR9","doi-asserted-by":"publisher","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. Software and Systems Modeling\u00a08(1), 21\u201343 (2009)","journal-title":"Software and Systems Modeling"},{"key":"49_CR10","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.\u00a037, Hasso Plattner Institute at the University of Potsdam (2010)","DOI":"10.1109\/MoDeVVa.2010.14"},{"key":"49_CR11","unstructured":"Golas, U., Ehrig, H., Hermann, F.: Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. EC-EASST\u00a039 (2011)"},{"issue":"1","key":"49_CR12","doi-asserted-by":"publisher","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. Software and Systems Modeling (SoSyM)\u00a09(1), 21\u201346 (2010)","journal-title":"Software and Systems Modeling (SoSyM)"},{"key":"49_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-642-21470-7_11","volume-title":"Modelling Foundations and Applications","author":"J. Greenyer","year":"2011","unstructured":"Greenyer, J., Pook, S., Rieke, J.: Preventing information loss in incremental model synchronization by reusing elements. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol.\u00a06698, pp. 144\u2013159. Springer, Heidelberg (2011)"},{"key":"49_CR14","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 2010 (2010)","DOI":"10.1145\/1866272.1866277"},{"key":"49_CR15","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 - Extended Version. Tech. Rep. TR 2011-07, TU Berlin, Fak. IV (2011)","DOI":"10.1007\/978-3-642-24485-8_49"},{"key":"49_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-642-15928-2_11","volume-title":"Graph Transformations","author":"F. Hermann","year":"2010","unstructured":"Hermann, F., Ehrig, H., Orejas, F., Golas, U.: Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol.\u00a06372, pp. 155\u2013170. Springer, Heidelberg (2010)"},{"key":"49_CR17","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":"49_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-642-17322-6_8","volume-title":"Graph Transformations and Model-Driven Engineering","author":"F. Klar","year":"2010","unstructured":"Klar, F., Lauder, M., K\u00f6nigs, A., Sch\u00fcrr, A.: Extended Triple Graph Grammars with Efficient and Compatible Graph Translators. In: Engels, G., Lewerentz, C., Sch\u00e4fer, W., Sch\u00fcrr, A., Westfechtel, B. (eds.) Nagl Festschrift. LNCS, vol.\u00a05765, pp. 141\u2013174. Springer, Heidelberg (2010)"},{"key":"49_CR19","unstructured":"Object Management Group: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification. Version 1.0 formal\/08-04-03 (2008), http:\/\/www.omg.org\/spec\/QVT\/1.0\/"},{"key":"49_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"49_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/978-3-540-87405-8_28","volume-title":"Graph Transformations","author":"A. Sch\u00fcrr","year":"2008","unstructured":"Sch\u00fcrr, A., Klar, F.: 15 Years of Triple Graph Grammars. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 411\u2013425. Springer, Heidelberg (2008)"},{"key":"49_CR22","doi-asserted-by":"publisher","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. Software and Systems Modeling\u00a09, 7\u201320 (2010)","journal-title":"Software and Systems Modeling"},{"key":"49_CR23","unstructured":"TFS-Group, TU Berlin: AGG (2011), http:\/\/tfs.cs.tu-berlin.de\/agg"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24485-8_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T04:32:34Z","timestamp":1560745954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24485-8_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244841","9783642244858"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24485-8_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}