{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T20:10:09Z","timestamp":1750363809395,"version":"3.41.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319614724"},{"type":"electronic","value":"9783319614731"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-61473-1_3","type":"book-chapter","created":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T15:10:41Z","timestamp":1497885041000},"page":"35-50","source":"Crossref","is-referenced-by-count":4,"title":["Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph Grammars"],"prefix":"10.1007","author":[{"given":"Frank","family":"Trollmann","sequence":"first","affiliation":[]},{"given":"Sahin","family":"Albayrak","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,20]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-540-30203-2_4","volume-title":"Graph Transformations","author":"SM Becker","year":"2004","unstructured":"Becker, S.M., Lohmann, S., Westfechtel, B.: Rule execution in graph-based incremental interactive integration tools. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 22\u201338. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-30203-2_4"},{"key":"3_CR2","unstructured":"Cicchetti, A., Di Ruscio, D., Romina, E., Alfonso, P.: Logical constraints for managing non-determinism in bidirectional model transformations. In: International Workshop on Model-Driven Engineering, Logic and Optimization: Friends or Foes? (MELO 2011) (2011)"},{"issue":"6","key":"3_CR3","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. Obj. Technol. 10(6), 1\u201325 (2011)","journal-title":"J. Obj. Technol."},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-642-28872-2_12","volume-title":"Fundamental Approaches to Software Engineering","author":"Z Diskin","year":"2012","unstructured":"Diskin, Z., Maibaum, T., Czarnecki, K.: Intermodeling, queries, and kleisli categories. In: Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 163\u2013177. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-28872-2_12"},{"key":"3_CR5","unstructured":"Diskin, Z., Eramo, R., Pierantonio, A., Czarnecki, K.: Incorporating uncertainty into bidirectional model transformations and their delta-lens formalization. In: Bx@ ETAPS, pp. 15\u201331 (2016)"},{"key":"3_CR6","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2006)"},{"key":"3_CR7","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. 4422, pp. 72\u201386. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-71289-3_7"},{"key":"3_CR8","unstructured":"Ehrig, H., Ehrig, K., Hermann, F.: From model transformation to model integration based on the algebraic approach to triple graph grammars. Electron. Commun. EASST 10 (2008). https:\/\/journal.ub.tu-berlin.de\/eceasst\/issue\/view\/19 , http:\/\/orbilu.uni.lu\/handle\/10993\/5594"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Eramo R., Marinelli R., Pierantonio A., Rosa G.: Towards analysing non-determinism in bidirectional transformations. In: Proceedings of the Analysis of Model Transformations Workshop (AMT2014) CEUR, pp. 76\u201385 (2014)","DOI":"10.1145\/2593770.2593772"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Eramo, R., Pierantonio, A., Rosa. G.: Managing uncertainty in bidirectional model transformations. In: Proceedings of the 2015 International Conference on Software Language Engineering. ACM (2015)","DOI":"10.1145\/2593770.2593772"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Softw. Syst. Model. 8, 1:21\u20131:43 (2008). Springer","DOI":"10.1007\/s10270-008-0089-9"},{"key":"3_CR12","unstructured":"Gottmann, S., Hermann, F., Nachtigall, N., Braatz, B., Ermel, C., Ehrig, H., Engel, T.: Correctness and completeness of generalised concurrent model synchronisation based on triple graph grammars. In: Proceedings of the International Workshop on Analysis of Model Transformations 2013 (AMT 2013), CEUR Workshop Proceedings, vol. 1112, pp. 67\u201376 (2013)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-642-28872-2_13","volume-title":"Fundamental Approaches to Software Engineering","author":"F Hermann","year":"2012","unstructured":"Hermann, F., Ehrig, H., Ermel, C., Orejas, F.: Concurrent model synchronization with conflict resolution based on triple graph grammars. In: Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 178\u2013193. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-28872-2_13"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Michalis, F., Salay, R., Chechik, M.: Partial models: towards modeling and reasoning with uncertainty. In: Proceedings of the 34th International Conference on Software Engineering (ICSE2012), pp. 573\u2013583. IEEE (2012)","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"3_CR15","first-page":"19","volume":"57","author":"F Orejas","year":"2013","unstructured":"Orejas, F., Boronat, A., Ehrig, H., Hermann, F., Sch\u00f6lzel, H.: On propagation-based concurrent model synchronization. Electron. Commun. EASST 57, 19 (2013)","journal-title":"Electron. Commun. EASST"},{"key":"3_CR16","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. 903, pp. 151\u2013163. Springer, Heidelberg (1995). doi: 10.1007\/3-540-59071-4_45"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-319-42064-6_7","volume-title":"Theory and Practice of Model Transformations","author":"F Trollmann","year":"2016","unstructured":"Trollmann, F., Albayrak, S.: Extending model synchronization results from triple graph grammars to multiple models. In: Van Gorp, P., Engels, G. (eds.) ICMT 2016. LNCS, vol. 9765, pp. 91\u2013106. Springer, Cham (2016). doi: 10.1007\/978-3-319-42064-6_7"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-12261-3_13","volume-title":"Models in Software Engineering","author":"T Vogel","year":"2010","unstructured":"Vogel, T., Neumann, S., Hildebrandt, S., Giese, H., Becker, B.: Incremental model synchronization for efficient run-time monitoring. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol. 6002, pp. 124\u2013139. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-12261-3_13"},{"issue":"1","key":"3_CR19","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s10270-010-0187-3","volume":"12","author":"Y Xiong","year":"2013","unstructured":"Xiong, Y., Song, H., Hu, Z., Takeichi, M.: Synchronizing concurrent model updates based on bidirectional transformation. Int. J. Softw. Syst. Model. (SoSyM) 12(1), 89\u2013104 (2013)","journal-title":"Int. J. Softw. Syst. Model. (SoSyM)"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61473-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T19:35:37Z","timestamp":1750361737000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61473-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319614724","9783319614731"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61473-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}