{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:58:22Z","timestamp":1743019102968,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319211541"},{"type":"electronic","value":"9783319211558"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21155-8_1","type":"book-chapter","created":{"date-parts":[[2015,7,15]],"date-time":"2015-07-15T03:50:45Z","timestamp":1436932245000},"page":"3-17","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Change Propagation in an Internal Model Transformation Language"],"prefix":"10.1007","author":[{"given":"Georg","family":"Hinkel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,16]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/11880240_5","volume-title":"Model Driven Engineering Languages and Systems","author":"M Staron","year":"2006","unstructured":"Staron, M.: Adopting model driven software development in industry \u2013 a case study at two companies. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 57\u201372. Springer, Heidelberg (2006)"},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10664-012-9196-x","volume":"18","author":"P Mohagheghi","year":"2013","unstructured":"Mohagheghi, P., Gilani, W., Stefanescu, A., Fernandez, M.A.: An empirical study of the state of the practice and acceptance of model-driven engineering in four industrial cases. Empirical Softw. Eng. 18(1), 89\u2013116 (2013)","journal-title":"Empirical Softw. Eng."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Meyerovich, L.A., Rabkin, A.S.: Empirical analysis of programming language adoption. In: Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Spplications, pp. 1\u201318. ACM (2013)","DOI":"10.1145\/2509136.2509515"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Sendall, S., Kozaczynski, W.: Model transformation the heart and soul of model-driven software development. Technical report (2003)","DOI":"10.1109\/MS.2003.1231150"},{"key":"1_CR5","unstructured":"Object Management Group, Meta Object Facility (MOF) 2.0 Query\/View\/Transformation Specification (2011). http:\/\/www.omg.org\/spec\/QVT\/1.1\/PDF\/"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/11880240_38","volume-title":"Model Driven Engineering Languages and Systems","author":"H Giese","year":"2006","unstructured":"Giese, H., Wagner, R.: Incremental model synchronization with triple graph grammars. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 543\u2013557. Springer, Heidelberg (2006)"},{"key":"1_CR7","unstructured":"Giese, H., Hildebrandt, S.: Efficient model synchronization of large-scale models, 28. Universit\u00e4tsverlag Potsdam (2009)"},{"issue":"1","key":"1_CR8","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. Softw. Syst. Model. 8(1), 21\u201343 (2009)","journal-title":"Softw. Syst. Model."},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jss.2008.03.066","volume":"82","author":"S Becker","year":"2009","unstructured":"Becker, S., Koziolek, H., Reussner, R.: The Palladio component model for model-driven performance prediction. J. Syst. Softw. 82, 3\u201322 (2009)","journal-title":"J. Syst. Softw."},{"key":"1_CR10","unstructured":"Hinkel, G.: An approach to maintainable model transformations using internal DSLs, Master thesis (2013)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11663430_14","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"F Jouault","year":"2006","unstructured":"Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128\u2013138. Springer, Heidelberg (2006)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Hinkel, G., Goldschmidt, T., Happe, L.: An NMF Solution for the Flowgraphs case study at the TTC 2013. In: Sixth Transformation Tool Contest (TTC 2013), ser. EPTCS (2013)","DOI":"10.4204\/EPTCS.135.5"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Hinkel, G., Goldschmidt, T., Happe, L.: A NMF solution for the Petri Nets to State Charts case study at the TTC 2013. In: Sixth Transformation Tool Contest (TTC 2013), ser. EPTCS (2013)","DOI":"10.4204\/EPTCS.135.12"},{"issue":"9","key":"1_CR14","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/583852.581482","volume":"37","author":"M Carlsson","year":"2002","unstructured":"Carlsson, M.: Monads for incremental computing. ACM SIGPLAN Not. 37(9), 26\u201335 (2002)","journal-title":"ACM SIGPLAN Not."},{"key":"1_CR15","unstructured":"Acar, U.A.: Self-adjusting computation. Ph.D. thesis, Citeseer (2005)"},{"issue":"01","key":"1_CR16","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1017\/S0956796814000033","volume":"24","author":"Y Chen","year":"2014","unstructured":"Chen, Y., Dunfield, J., Hammer, M.A., Acar, U.A.: Implicit self-adjusting computation for purely functional programs. J. Funct. Program. 24(01), 56\u2013112 (2014)","journal-title":"J. Funct. Program."},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1145\/1328897.1328476","volume":"43","author":"UA Acar","year":"2008","unstructured":"Acar, U.A., Ahmed, A., Blume, M.: Imperative self-adjusting computation. ACM SIGPLAN Not. 43, 309\u2013322 (2008). ACM","journal-title":"ACM SIGPLAN Not."},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1543135.1542480","volume":"44","author":"MA Hammer","year":"2009","unstructured":"Hammer, M.A., Acar, U.A., Chen, Y.: Ceal: a c-based language for self-adjusting computation. ACM Sigplan Not. 44, 25\u201337 (2009). ACM","journal-title":"ACM Sigplan Not."},{"issue":"1","key":"1_CR19","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1145\/1047659.1040325","volume":"40","author":"JN Foster","year":"2005","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. SIGPLAN Not. 40(1), 233\u2013246 (2005)","journal-title":"SIGPLAN Not."},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/11787044_13","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"JS Cuadrado","year":"2006","unstructured":"Cuadrado, J.S., Molina, J.G., Tortosa, M.M.: RubyTL: a practical, extensible transformation language. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 158\u2013172. Springer, Heidelberg (2006)"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-642-30476-7_11","volume-title":"Theory and Practice of Model Transformations","author":"L George","year":"2012","unstructured":"George, L., Wider, A., Scheidgen, M.: Type-safe model transformation languages as internal DSLs in scala. In: Hu, Z., de Lara, J. (eds.) ICMT 2012. LNCS, vol. 7307, pp. 160\u2013175. Springer, Heidelberg (2012)"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-642-38883-5_7","volume-title":"Theory and Practice of Model Transformations","author":"T Horn","year":"2013","unstructured":"Horn, T.: Model querying with FunnyQT. In: Duddy, K., Kappel, G. (eds.) ICMB 2013. LNCS, vol. 7909, pp. 56\u201357. Springer, Heidelberg (2013)"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-21437-0_7","volume-title":"FM 2011: Formal Methods","author":"H Barringer","year":"2011","unstructured":"Barringer, H., Havelund, K.: TraceContract: a scala DSL for trace analysis. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 57\u201372. Springer, Heidelberg (2011)"},{"key":"1_CR24","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: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol. 7212, pp. 178\u2013193. Springer, Heidelberg (2012)"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/978-3-642-33654-6_27","volume-title":"Graph Transformations","author":"M Lauder","year":"2012","unstructured":"Lauder, M., Anjorin, A., Varr\u00f3, G., Sch\u00fcrr, A.: Efficient model synchronization with precedence triple graph grammars. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 401\u2013415. Springer, Heidelberg (2012)"},{"key":"1_CR26","unstructured":"Leblebici, E., Anjorin, A., Sch\u00fcrr, A., Hildebrandt, S., Rieke, J., Greenyer, J.: A comparison of incremental triple graph grammar tools. Electronic Communications of the EASST 67, (2014). http:\/\/journal.ub.tuberlin.de\/eceasst\/article\/view\/939\/928"},{"key":"1_CR27","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/2076021.2048101","volume":"46","author":"S Burckhardt","year":"2011","unstructured":"Burckhardt, S., Leijen, D., Sadowski, C., Yi, J., Ball, T.: Two for the price of one: a model for parallel and incremental computation. ACM SIGPLAN Notices 46, 427\u2013444 (2011). ACM","journal-title":"ACM SIGPLAN Notices"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21155-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T09:38:17Z","timestamp":1676972297000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21155-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319211541","9783319211558"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21155-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"16 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}