{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,18]],"date-time":"2026-09-18T15:11:31Z","timestamp":1789744291173,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642288715","type":"print"},{"value":"9783642288722","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28872-2_13","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:48:16Z","timestamp":1332449296000},"page":"178-193","source":"Crossref","is-referenced-by-count":20,"title":["Concurrent Model Synchronization with Conflict Resolution 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":"Claudia","family":"Ermel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fernando","family":"Orejas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"3","key":"13_CR1","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1108\/17440080910983556","volume":"5","author":"K. Altmanninger","year":"2009","unstructured":"Altmanninger, K., Seidl, M., Wimmer, M.: A survey on model versioning approaches. IJWIS\u00a05(3), 271\u2013304 (2009)","journal-title":"IJWIS"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-16145-2_9","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Arendt","year":"2010","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.) MODELS 2010. LNCS, vol.\u00a06394, pp. 121\u2013135. Springer, Heidelberg (2010)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Barbosa, D.M.J., Cretin, J., Foster, N., Greenberg, M., Pierce, B.C.: Matching lenses: alignment and view update. In: Proc. Int. Conf. on Functional Programming (ICFP 2010), pp. 193\u2013204. ACM (2010)","DOI":"10.1145\/1932681.1863572"},{"key":"13_CR4","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.) GTTSE 2009. LNCS, vol.\u00a06491, pp. 92\u2013165. Springer, Heidelberg (2011)"},{"key":"13_CR5","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":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-642-24485-8_22","volume-title":"Model Driven Engineering Languages and Systems","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":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-21732-6_1","volume-title":"Theory and Practice of Model Transformations","author":"A. Egyed","year":"2011","unstructured":"Egyed, A., Demuth, A., Ghabi, A., Lopez-Herrejon, R., M\u00e4der, P., N\u00f6hrer, A., Reder, A.: Fine-Tuning Model Transformation: Change Propagation in Context of Consistency, Completeness, and Human Guidance. In: Cabot, J., Visser, E. (eds.) ICMT 2011. LNCS, vol.\u00a06707, pp. 1\u201314. Springer, Heidelberg (2011)"},{"key":"13_CR8","series-title":"EATCS Monographs in Theor. Comp. Science","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theor. Comp. Science. Springer, Heidelberg (2006)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-71289-3_7","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","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.) FASE 2007. LNCS, vol.\u00a04422, pp. 72\u201386. Springer, Heidelberg (2007)"},{"key":"13_CR10","unstructured":"Ehrig, H., Ermel, C., Hermann, F., Orejas, F.: Concurrent model synchronization with conflict resolution based on triple graph grammars - extended version. Tech. Rep. TR 2011-14, TU Berlin, Fak. IV (2011)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-642-19811-3_15","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","year":"2011","unstructured":"Ehrig, H., Ermel, C., Taentzer, G.: A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications. In: Giannakopoulou, D., Orejas, F. (eds.) FASE 2011. LNCS, vol.\u00a06603, pp. 202\u2013216. Springer, Heidelberg (2011)"},{"key":"13_CR12","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.\u00a029(3) (2007)","DOI":"10.1145\/1232420.1232424"},{"key":"13_CR13","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":"13_CR14","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, 21\u201343 (2009)","journal-title":"Software and Systems Modeling"},{"issue":"1","key":"13_CR15","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":"13_CR16","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. Int. Workshop on Model Driven Interoperability (MDI 2010), pp. 22\u201331. ACM (2010)","DOI":"10.1145\/1866272.1866277"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"668","DOI":"10.1007\/978-3-642-24485-8_49","volume-title":"Model Driven Engineering Languages and Systems","author":"F. Hermann","year":"2011","unstructured":"Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y.: Correctness of Model Synchronization Based on Triple Graph Grammars. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 668\u2013682. Springer, Heidelberg (2011)"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Hofmann, M., Pierce, B.C., Wagner, D.: Symmetric lenses. In: Proc. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2011), pp. 371\u2013384. ACM (2011)","DOI":"10.1145\/1925844.1926428"},{"issue":"1-2","key":"13_CR19","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10990-008-9025-5","volume":"21","author":"Z. Hu","year":"2008","unstructured":"Hu, Z., Mu, S.C., Takeichi, M.: A programmable editor for developing structured documents based on bidirectional transformations. Higher-Order and Symbolic Computation\u00a021(1-2), 89\u2013118 (2008)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"13_CR20","unstructured":"Kindler, E., Wagner, R.: Triple graph grammars: Concepts, extensions, implementations, and application scenarios. Tech. Rep. TR-ri-07-284, Dept. of Comp. Science, Univ. Paderborn, Germany (2007)"},{"key":"13_CR21","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":"13_CR22","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\/"},{"key":"13_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-642-00593-0_5","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Rutle","year":"2009","unstructured":"Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A Category-Theoretical Approach to the Formalisation of Version Control in MDE. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 64\u201378. Springer, Heidelberg (2009)"},{"key":"13_CR24","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":"13_CR25","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 Research Challenges, New Contributions, Open Problems. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 411\u2013425. Springer, Heidelberg (2008)"},{"issue":"1","key":"13_CR26","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 System Modeling\u00a09(1), 7\u201320 (2010)","journal-title":"Software and System Modeling"},{"key":"13_CR27","unstructured":"TFS-Group, TU Berlin: AGG (2011), http:\/\/tfs.cs.tu-berlin.de\/agg"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Song, H., Hu, Z., Takeichi, M.: Synchronizing concurrent model updates based on bidirectional transformation. Software and Systems Modeling, 1\u201316 (2011)","DOI":"10.1007\/s10270-010-0187-3"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28872-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,4]],"date-time":"2020-07-04T16:09:52Z","timestamp":1593878992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28872-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288715","9783642288722"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28872-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}