{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:05:50Z","timestamp":1776373550422,"version":"3.51.2"},"reference-count":78,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2019,1,29]],"date-time":"2019-01-29T00:00:00Z","timestamp":1548720000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Ministry of Science, Research and the Arts Baden-W\u00fcrttemberg"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1007\/s10270-019-00719-y","type":"journal-article","created":{"date-parts":[[2019,1,29]],"date-time":"2019-01-29T04:06:04Z","timestamp":1548734764000},"page":"3151-3187","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["An extensible approach to implicit incremental model analyses"],"prefix":"10.1007","volume":"18","author":[{"given":"Georg","family":"Hinkel","sequence":"first","affiliation":[]},{"given":"Robert","family":"Heinrich","sequence":"additional","affiliation":[]},{"given":"Ralf","family":"Reussner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,1,29]]},"reference":[{"key":"719_CR1","unstructured":"Choi, K., Hwang, S.Y., Blank, T.: Incremental-in-time algorithm for digital simulation. In: Proceedings of the 25th ACM\/IEEE Design Automation Conference, pp. 501\u2013505. IEEE Computer Society Press (1988)"},{"key":"719_CR2","unstructured":"Salz, A., Horowitz, M.: IRSIM: an incremental MOS switch-level simulator. In: 26th Conference on Design Automation, 1989, pp. 173\u2013178. IEEE (1989)"},{"key":"719_CR3","unstructured":"De\u00a0Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M., Andersson, J., Litoiu, M., Schmerl, B., Tamura, G., Villegas, N.M., Vogel, T., et al.: Software engineering for self-adaptive systems: a second research roadmap. In: Software Engineering for Self-Adaptive Systems II, pp. 1\u201332. Springer (2013)"},{"key":"719_CR4","first-page":"1","volume":"15","author":"M Szvetits","year":"2013","unstructured":"Szvetits, M., Zdun, U.: Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime. Softw. Syst. Model. 15, 1\u201339 (2013)","journal-title":"Softw. Syst. Model."},{"key":"719_CR5","unstructured":"Gossman, J.: Introduction to Model\/View\/ViewModel pattern for building WPF apps (2005). http:\/\/blogs.msdn.com\/b\/johngossman\/archive\/2005\/10\/08\/478683.aspx"},{"issue":"2","key":"719_CR6","first-page":"72","volume":"24","author":"J Smith","year":"2009","unstructured":"Smith, J.: PATTERNS-WPF apps with the model-view-viewmodel design pattern. MSDN Mag. 24(2), 72 (2009)","journal-title":"MSDN Mag."},{"key":"719_CR7","volume-title":"Software Quality: Producing Practical, Consistent Software","author":"M Ben-Menachem","year":"1997","unstructured":"Ben-Menachem, M., Marliss, G.S.: Software Quality: Producing Practical, Consistent Software. International Thomson Computer Press, New York (1997)"},{"issue":"2","key":"719_CR8","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1145\/210376.210394","volume":"27","author":"J Sutherland","year":"1995","unstructured":"Sutherland, J.: Business objects in corporate information systems. ACM Comput. Surv. CSUR 27(2), 274\u2013276 (1995)","journal-title":"ACM Comput. Surv. CSUR"},{"issue":"01","key":"719_CR9","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."},{"issue":"10","key":"719_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1449955.1449766","volume":"43","author":"D Willis","year":"2008","unstructured":"Willis, D., Pearce, D.J., Noble, J.: Caching and incrementalisation in the java query language. ACM SIGPLAN Not. 43(10), 1\u201318 (2008)","journal-title":"ACM SIGPLAN Not."},{"key":"719_CR11","doi-asserted-by":"crossref","unstructured":"Bergmann, G., Horv\u00e1th, \u00c1., R\u00e1th, I.,Varr\u00f3, D., Balogh, A., Balogh, Z., \u00d6kr\u00f6s, A.: Incremental evaluation of model queries over EMF models. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) Model Driven Engineering Languages and Systems, pp. 76\u201390. Springer (2010)","DOI":"10.1007\/978-3-642-16145-2_6"},{"key":"719_CR12","doi-asserted-by":"crossref","unstructured":"Bergmann, G., \u00d6kr\u00f6s, A., R\u00e1th, I., Varr\u00f3, D., Varr\u00f3, G.: Incremental pattern matching in the VIATRA model transformation system. In: Proceedings of the Third International Workshop on Graph and Model Transformations, pp. 25\u201332. ACM (2008)","DOI":"10.1145\/1402947.1402953"},{"key":"719_CR13","doi-asserted-by":"crossref","unstructured":"Giese, H., Wagner, R.: Incremental model synchronization with triple graph grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) Model Driven Engineering Languages and Systems, pp. 543\u2013557. Springer (2006)","DOI":"10.1007\/11880240_38"},{"issue":"1","key":"719_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. Softw. Syst. Model. 8(1), 21\u201343 (2009)","journal-title":"Softw. Syst. Model."},{"key":"719_CR15","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1145\/2666356.2594324","volume":"49","author":"MA Hammer","year":"2014","unstructured":"Hammer, M.A., Phang, K.Y., Hicks, M., Foster, J.S.: Adapton: Composable, demand-driven incremental computation. ACM SIGPLAN Not. 49, 156\u2013166 (2014)","journal-title":"ACM SIGPLAN Not."},{"key":"719_CR16","doi-asserted-by":"crossref","unstructured":"Hammer, M.A., Dunfield, J., Headley, K., Labich, N., Foster, J.S., Hicks, M., Van\u00a0Horn, D.: Incremental computation with names. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 748\u2013766. ACM (2015)","DOI":"10.1145\/2858965.2814305"},{"key":"719_CR17","unstructured":"Hinkel, G.: NMF: A Modeling Framework for the .NET Platform, Karlsruhe Institute of Technology, Technical Report (2016)"},{"key":"719_CR18","unstructured":"Hinkel, G.: NMF: a multi-platform modeling framework. In: Proceedings of the Theory and Practice of Model Transformations: 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25\u201329, 2018. Springer (2018) (accepted, to appear)"},{"key":"719_CR19","unstructured":"Sz\u00e1rnyas, G., Semer\u00e1th, O., R\u00e1th, I., Varr\u00f3, D.: The TTC 2015 train benchmark case for incremental model validation. In: Proceedings of the 8th Transformation Tool Contest, A Part of the Software Technologies: Applications and Foundations (STAF 2015) Federation of Conferences, L\u2019Aquila, Italy, July 24, 2015, pp. 129\u2013141 (2015)"},{"key":"719_CR20","doi-asserted-by":"crossref","unstructured":"Staron, M.: Adopting model driven software development in industry\u2014a case study at two companies. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) Model Driven Engineering Languages and Systems, pp. 57\u201372. Springer (2006)","DOI":"10.1007\/11880240_5"},{"issue":"1","key":"719_CR21","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. Empir. Softw. Eng. 18(1), 89\u2013116 (2013)","journal-title":"Empir. Softw. Eng."},{"key":"719_CR22","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 & Applications, pp. 1\u201318. ACM (2013)","DOI":"10.1145\/2544173.2509515"},{"issue":"9","key":"719_CR23","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. SIGPLAN Not. 37(9), 26\u201335 (2002)","journal-title":"SIGPLAN Not."},{"key":"719_CR24","doi-asserted-by":"crossref","unstructured":"Hinkel, G.: Change propagation in an internal model transformation language. In: Proceedings of the Theory and Practice of Model Transformations: 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L\u2019Aquila, Italy, July 20\u201321, 2015, pp. 3\u201317. Springer (2015)","DOI":"10.1007\/978-3-319-21155-8_1"},{"key":"719_CR25","volume-title":"Change propagation and bidirectionality in internal transformation DSLs","author":"G Hinkel","year":"2017","unstructured":"Hinkel, G., Burger, E.: Change propagation and bidirectionality in internal transformation DSLs. Softw. Syst, Model (2017)"},{"key":"719_CR26","unstructured":"Hinkel, G.: An NMF solution to the Smart Grid Case at the TTC 2017. In: Proceedings of the 10th Transformation Tool Contest, A Part of the Software Technologies: Applications and Foundations (STAF 2017) Federation of Conferences, series CEUR Workshop Proceedings, CEUR-WS.org (2017)"},{"key":"719_CR27","unstructured":"Hinkel, G.: An NMF solution to the Families to Persons case at the TTC 2017. In: Proceedings of the 10th Transformation Tool Contest, A Part of the Software Technologies: Applications and Foundations (STAF 2017) Federation of Conferences, series CEUR Workshop Proceedings, CEUR-WS.org (2017)"},{"key":"719_CR28","doi-asserted-by":"crossref","unstructured":"Wert, A., Happe, J., Happe, L.: Supporting swift reaction: Automatically uncovering performance problems by systematic experiments. In: Proceedings of the 2013 International Conference on Software Engineering, series ICSE \u201913, pp. 552\u2013561. IEEE Press (2013)","DOI":"10.1109\/ICSE.2013.6606601"},{"issue":"2","key":"719_CR29","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/0022-0000(79)90042-4","volume":"18","author":"RE Tarjan","year":"1979","unstructured":"Tarjan, R.E.: A class of algorithms which require nonlinear time to maintain disjoint sets. J. Comput. Syst. Sci. 18(2), 110\u2013127 (1979)","journal-title":"J. Comput. Syst. Sci."},{"issue":"2","key":"719_CR30","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/321879.321884","volume":"22","author":"RE Tarjan","year":"1975","unstructured":"Tarjan, R.E.: Efficiency of a good but not linear set union algorithm. J. ACM JACM 22(2), 215\u2013225 (1975)","journal-title":"J. ACM JACM"},{"issue":"4","key":"719_CR31","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1145\/502090.502095","volume":"48","author":"J Holm","year":"2001","unstructured":"Holm, J., De Lichtenberg, K., Thorup, M.: Poly-logarithmic deterministic fully-dynamic algorithms for connectivity, minimum spanning tree, 2-edge, and biconnectivity. J. ACM JACM 48(4), 723\u2013760 (2001)","journal-title":"J. ACM JACM"},{"issue":"5","key":"719_CR32","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1016\/j.dam.2009.10.005","volume":"158","author":"G Cattaneo","year":"2010","unstructured":"Cattaneo, G., Faruolo, P., Petrillo, U.F., Italiano, G.: Maintaining dynamic minimum spanning trees: an experimental study. Discrete Appl. Math. 158(5), 404\u2013425 (2010)","journal-title":"Discrete Appl. Math."},{"key":"719_CR33","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1145\/1809028.1806650","volume":"45","author":"UA Acar","year":"2010","unstructured":"Acar, U.A., Blelloch, G., Ley-Wild, R., Tangwongsan, K., Turkoglu, D.: Traceable data types for self-adjusting computation. ACM SIGPLAN Not. 45, 483\u2013496 (2010)","journal-title":"ACM SIGPLAN Not."},{"key":"719_CR34","unstructured":"Fraiteur, G.: User-friendly aspects with compile-time imperative semantics in .net: an overview of postsharp. In: Seventh International Conference on Aspect-Oriented Software Development (AOSD) (2008)"},{"key":"719_CR35","volume-title":"Domain Specific Languages","author":"M Fowler","year":"2010","unstructured":"Fowler, M., Parsons, R.: Domain Specific Languages, 1st edn. Addison-Wesley, Reading (2010)","edition":"1"},{"key":"719_CR36","unstructured":"Acar, U.A.: Self-adjusting computation. Ph.D. thesis, Carnegie Mellon University, Pittsburgh, USA (2005)"},{"key":"719_CR37","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1145\/2666356.2594304","volume":"49","author":"Y Cai","year":"2014","unstructured":"Cai, Y., Giarrusso, P.G., Rendel, T., Ostermann, K.: A theory of changes for higher-order languages. ACM SIGPLAN Not. 49, 145\u2013155 (2014)","journal-title":"ACM SIGPLAN Not."},{"key":"719_CR38","volume-title":"Monad Comprehensions: A Versatile Representation for Queries","author":"T Grust","year":"2004","unstructured":"Grust, T.: Monad Comprehensions: A Versatile Representation for Queries. Springer, New York (2004)"},{"key":"719_CR39","unstructured":"Hinkel, G.: Implicit Incremental Model Analyses and Transformations. Ph.D. thesis, Karlsruhe Institute of Technology (2017) (to appear)"},{"key":"719_CR40","unstructured":"Hinkel, G.: An NMF solution to the TTC 2018 Social Media Case. In: Proceedings of the 11th Transformation Tool Contest, A Part of the Software Technologies: Applications and Foundations (STAF 2018) Federation of Conferences, series CEUR Workshop Proceedings, CEUR-WS.org (2018)"},{"key":"719_CR41","unstructured":"Hinkel, G.: The TTC 2018 Social Media Case. In: Proceedings of the 11th Transformation Tool Contest, A Part of the Software Technologies: Applications and Foundations (STAF 2018) Federation of Conferences, Series CEUR Workshop Proceedings, CEUR-WS.org (2018)"},{"key":"719_CR42","unstructured":"Hinkel, G., Happe, L.: An NMF solution to the TTC train benchmark case. In: Proceedings of the 8th Transformation Tool Contest, A Part of the Software Technologies: Applications and Foundations (STAF 2015) Federation of Conferences, Series CEUR Workshop Proceedings, vol. 1524, CEUR-WS.org, pp. 142\u2013146 (2015)"},{"issue":"4","key":"719_CR43","doi-asserted-by":"publisher","first-page":"1365","DOI":"10.1007\/s10270-016-0571-8","volume":"17","author":"G Sz\u00e1rnyas","year":"2017","unstructured":"Sz\u00e1rnyas, G., Izs\u00f3, B., R\u00e1th, I., Varr\u00f3, D.: The train benchmark: cross-technology performance evaluation of continuous model queries. Softw. Syst. Model. 17(4), 1365\u20131393 (2017)","journal-title":"Softw. Syst. Model."},{"key":"719_CR44","unstructured":"Horn, T.: Solving the TTC train benchmark case with funnyqt. In: Proceedings of the 8th Transformation Tool Contest, A Part of the Software Technologies: Applications and Foundations (STAF 2015) Federation of Conferences, L\u2019Aquila, Italy, July 24, 2015, pp. 147\u2013151 (2015)"},{"key":"719_CR45","unstructured":"Wagelaar, D.: The ATL\/EMFTVM solution to the train benchmark case. In: Proceedings of the 8th Transformation Tool Contest, A Part of the Software Technologies: Applications and Foundations (STAF 2015) Federation of Conferences, L\u2019Aquila, Italy, July 24, 2015, pp. 152\u2013156 (2015)"},{"key":"719_CR46","unstructured":"Krikava, F.: Solving the ttc\u201915 train benchmark case study with SIGMA. In: Proceedings of the 8th Transformation Tool Contest, A Part of the Software Technologies: Applications and Foundations (STAF 2015) Federation of Conferences, L\u2019Aquila, Italy, July 24, 2015, pp. 167\u2013175 (2015)"},{"key":"719_CR47","unstructured":"Sz\u00e1rnyas, G., Izs\u00f3, B., R\u00e1th, I., Harmath, D., Bergmann, G., Varr\u00f3, D.: Incquery-d: a distributed incremental model query framework in the cloud. In: Proceedings of the Model-Driven Engineering Languages and Systems\u201417th International Conference, MODELS 2014, Valencia, Spain, September 28\u2013October 3, 2014, pp. 653\u2013669 (2014)"},{"key":"719_CR48","doi-asserted-by":"crossref","unstructured":"Pugh, W., Teitelbaum, T.: Incremental computation via function caching. In: Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 315\u2013328. ACM (1989)","DOI":"10.1145\/75277.75305"},{"key":"719_CR49","doi-asserted-by":"crossref","unstructured":"Acar, U.A.: Self-adjusting computation: (an overview). In: Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pp. 1\u20136. ACM (2009)","DOI":"10.1145\/1480945.1480946"},{"key":"719_CR50","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)","journal-title":"ACM SIGPLAN Not."},{"key":"719_CR51","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 Not. 46, 427\u2013444 (2011)","journal-title":"ACM SIGPLAN Not."},{"key":"719_CR52","unstructured":"Harkes, D., Groenewegen, D.M., Visser, E.: Icedust: Incremental and eventual computation of derived values in persistent object graphs. In: 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18\u201322, 2016, Rome, Italy, pp. 11:1\u201311:26 (2016)"},{"key":"719_CR53","unstructured":"Harkes, D., Visser, E.: Icedust 2: derived bidirectional relations and calculation strategy composition. In: 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19\u201323, 2017, Barcelona, Spain, pp. 14:1\u201314:29 (2017)"},{"issue":"4","key":"719_CR54","doi-asserted-by":"publisher","first-page":"52:1","DOI":"10.1145\/2501654.2501666","volume":"45","author":"E Bainomugisha","year":"2013","unstructured":"Bainomugisha, E., Carreton, A.L., Cutsem, T.V., Mostinckx, S., Meuter, W.D.: A survey on reactive programming. ACM Comput. Surv. 45(4), 52:1\u201352:34 (2013)","journal-title":"ACM Comput. Surv."},{"key":"719_CR55","first-page":"294","volume":"3924","author":"GH Cooper","year":"2006","unstructured":"Cooper, G.H., Krishnamurthi, S.: Embedding dynamic dataflow in a call-by-value language. ESOP 3924, 294\u2013308 (2006)","journal-title":"ESOP"},{"key":"719_CR56","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1639949.1640091","volume":"44","author":"LA Meyerovich","year":"2009","unstructured":"Meyerovich, L.A., Guha, A., Baskin, J., Cooper, G.H., Greenberg, M., Bromfield, A., Krishnamurthi, S.: Flapjax: a programming language for Ajax applications. ACM SIGPLAN Not. 44, 1\u201320 (2009)","journal-title":"ACM SIGPLAN Not."},{"key":"719_CR57","doi-asserted-by":"crossref","unstructured":"Meijer, E.: Reactive extensions (RX): curing your asynchronous programming blues. In: ACM SIGPLAN Commercial Users of Functional Programming, Series CUFP \u201910, ACM, p. 11:1 (2010)","DOI":"10.1145\/1900160.1900173"},{"key":"719_CR58","doi-asserted-by":"crossref","unstructured":"Ramalingam, G., Reps, T.: A categorized bibliography on incremental computation. In: Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 502\u2013510. ACM (1993)","DOI":"10.1145\/158511.158710"},{"key":"719_CR59","doi-asserted-by":"crossref","unstructured":"Reiss, S.P.: An approach to incremental compilation. In: Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Series, SIGPLAN \u201984, pp. 144\u2013156. ACM (1984)","DOI":"10.1145\/502874.502889"},{"key":"719_CR60","doi-asserted-by":"crossref","unstructured":"Bergmann, G., D\u00e1vid, I., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Ujhelyi, Z., Varr\u00f3, D.: Viatra 3: a reactive model transformation platform. In: Theory and Practice of Model Transformations. Springer, pp. 101\u2013110 (2015)","DOI":"10.1007\/978-3-319-21155-8_8"},{"key":"719_CR61","doi-asserted-by":"crossref","unstructured":"Reps, T.: Optimal-time incremental semantic analysis for syntax-directed editors. In: Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Series, POPL \u201982, pp. 169\u2013176. ACM (1982)","DOI":"10.1145\/582153.582172"},{"issue":"2","key":"719_CR62","first-page":"55","volume":"33","author":"K Hoffman","year":"2008","unstructured":"Hoffman, K.: Continuous linq. Dr. Dobbs J. 33(2), 55\u201358 (2008)","journal-title":"Dr. Dobbs J."},{"issue":"2","key":"719_CR63","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/16856.16861","volume":"15","author":"JA Blakeley","year":"1986","unstructured":"Blakeley, J.A., Larson, P.-A., Tompa, F.W.: Efficiently updating materialized views. SIGMOD Rec. 15(2), 61\u201371 (1986)","journal-title":"SIGMOD Rec."},{"issue":"2","key":"719_CR64","first-page":"3","volume":"18","author":"A Gupta","year":"1995","unstructured":"Gupta, A., Mumick, I.S., et al.: Maintenance of materialized views: problems, techniques, and applications. IEEE Data Eng. Bull. 18(2), 3\u201318 (1995)","journal-title":"IEEE Data Eng. Bull."},{"key":"719_CR65","unstructured":"Kuno, H.A., Rundensteiner, E.A.: Using object-oriented principles to optimize update propagation to materialized views. In: Proceedings of the Twelfth International Conference on Data Engineering, 1996, pp. 310\u2013317. IEEE (1996)"},{"key":"719_CR66","doi-asserted-by":"crossref","unstructured":"Giarrusso, P.G., Ostermann, K., Eichberg, M., Mitschke, R., Rendel, T., K\u00e4stner, C.: Reify your collection queries for modularity and speed! In: Proceedings of the 12th Annual International Conference on Aspect-Oriented Software Development, pp. 1\u201312. ACM (2013)","DOI":"10.1145\/2451436.2451438"},{"issue":"1","key":"719_CR67","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"CL Forgy","year":"1982","unstructured":"Forgy, C.L.: Rete: a fast algorithm for the many pattern\/many object pattern match problem. Artif. Intell. 19(1), 17\u201337 (1982)","journal-title":"Artif. Intell."},{"key":"719_CR68","unstructured":"Ujhelyi, Z., Bergmann, G., Heged\u00fas, \u00c1bel, Horv\u00e1th, \u00c1kos, Izs\u00f3, B., R\u00e1th, I., Szatm\u00e1ri, Z., Varr\u00f3, D.: EMF-IncQuery: an integrated development environment for live model queries, Part 1. Sci. Comput. Program. 98, 80\u201399 (2015)"},{"key":"719_CR69","doi-asserted-by":"crossref","unstructured":"R\u00e1th, I., Heged\u00fcs, \u00c1., Varr\u00f3, D.: Derived features for EMF by integrating advanced model queries. In: Vallecillo, A., Tolvanen, J.P., Kindler, E., St\u00f6rrle, H., Kolovos, D. (eds.) Modelling foundations and applications, pp. 102\u2013117. Springer (2012)","DOI":"10.1007\/978-3-642-31491-9_10"},{"key":"719_CR70","doi-asserted-by":"crossref","unstructured":"Bergmann, G.: Translating OCL to graph patterns. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfran, E. (eds.) Model-Driven Engineering Languages and Systems, pp. 670\u2013686. Springer (2014)","DOI":"10.1007\/978-3-319-11653-2_41"},{"issue":"9","key":"719_CR71","doi-asserted-by":"publisher","first-page":"1459","DOI":"10.1016\/j.jss.2009.03.009","volume":"82","author":"J Cabot","year":"2009","unstructured":"Cabot, J., Teniente, E.: Incremental integrity checking of UML\/OCL conceptual schemas. J. Syst. Softw. 82(9), 1459\u20131478 (2009)","journal-title":"J. Syst. Softw."},{"key":"719_CR72","doi-asserted-by":"crossref","unstructured":"Reder, A., Egyed, A.: Incremental consistency checking for complex design rules and larger model changes. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) Model Driven Engineering Languages and Systems, pp. 202\u2013218. Springer (2012)","DOI":"10.1007\/978-3-642-33666-9_14"},{"key":"719_CR73","first-page":"1","volume":"44","author":"A Uhl","year":"2011","unstructured":"Uhl, A., Goldschmidt, T., Holzleitner, M.: Using an OCL impact analysis algorithm for view-based textual modelling. Electron. Commun. EASST 44, 1\u201320 (2011)","journal-title":"Electron. Commun. EASST"},{"key":"719_CR74","doi-asserted-by":"crossref","unstructured":"King, V., Sagert, G.: A fully dynamic algorithm for maintaining the transitive closure. In: Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing, pp. 492\u2013498. ACM (1999)","DOI":"10.1145\/301250.301380"},{"key":"719_CR75","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511755460","volume-title":"Sets for Mathematics","author":"FW Lawvere","year":"2003","unstructured":"Lawvere, F.W., Rosebrugh, R.: Sets for Mathematics. Cambridge University Press, Cambridge (2003)"},{"key":"719_CR76","volume-title":"Categories for Types","author":"RL Crole","year":"1993","unstructured":"Crole, R.L.: Categories for Types. Cambridge University Press, Cambridge (1993)"},{"key":"719_CR77","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-8327-4","volume-title":"Allgemeine Modelltheorie","author":"H Stachowiak","year":"1973","unstructured":"Stachowiak, H.: Allgemeine Modelltheorie. Springer, New York (1973)"},{"key":"719_CR78","doi-asserted-by":"publisher","unstructured":"Hinkel, G.: Using structural decomposition and refinements for deep modeling of software architectures. Softw. Syst. Model. (2018). https:\/\/doi.org\/10.1007\/s10270-018-0701-6","DOI":"10.1007\/s10270-018-0701-6"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-019-00719-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-019-00719-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-019-00719-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T07:29:56Z","timestamp":1694590196000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-019-00719-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,29]]},"references-count":78,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2019,10]]}},"alternative-id":["719"],"URL":"https:\/\/doi.org\/10.1007\/s10270-019-00719-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,1,29]]},"assertion":[{"value":"10 November 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 January 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 January 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 January 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}