{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:43:08Z","timestamp":1740141788028,"version":"3.37.3"},"reference-count":89,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,12,8]],"date-time":"2021-12-08T00:00:00Z","timestamp":1638921600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,12,8]],"date-time":"2021-12-08T00:00:00Z","timestamp":1638921600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["826452"],"award-info":[{"award-number":["826452"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"crossref","award":["OpenLicht"],"award-info":[{"award-number":["OpenLicht"]}],"id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2022,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>To cope with the increased complexity of systems, models are used to capture what is considered the essence of a system. Such models are typically represented as a graph, which is queried to gain insight into the modelled system. Often, the results of these queries need to be adjusted according to updated requirements and are therefore a subject of maintenance activities. It is thus necessary to support writing model queries with adequate languages. However, in order to stay meaningful, the analysis results need to be refreshed as soon as the underlying models change. Therefore, a good execution speed is mandatory in order to cope with frequent model changes. In this paper, we propose a benchmark to assess model query technologies in the presence of model change sequences in the domain of social media. We present solutions to this benchmark in a variety of 11 different tools and compare them with respect to explicitness of incrementalization, asymptotic complexity and performance.<\/jats:p>","DOI":"10.1007\/s10270-021-00927-5","type":"journal-article","created":{"date-parts":[[2021,12,8]],"date-time":"2021-12-08T15:03:32Z","timestamp":1638975812000},"page":"755-804","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A cross-technology benchmark for incremental graph queries"],"prefix":"10.1007","volume":"21","author":[{"given":"Georg","family":"Hinkel","sequence":"first","affiliation":[]},{"given":"Antonio","family":"Garcia-Dominguez","sequence":"additional","affiliation":[]},{"given":"Ren\u00e9","family":"Sch\u00f6ne","sequence":"additional","affiliation":[]},{"given":"Artur","family":"Boronat","sequence":"additional","affiliation":[]},{"given":"Massimo","family":"Tisi","sequence":"additional","affiliation":[]},{"given":"Th\u00e9o","family":"Le Calvar","sequence":"additional","affiliation":[]},{"given":"Frederic","family":"Jouault","sequence":"additional","affiliation":[]},{"given":"J\u00f3zsef","family":"Marton","sequence":"additional","affiliation":[]},{"given":"Tam\u00e1s","family":"Ny\u00edri","sequence":"additional","affiliation":[]},{"given":"J\u00e1nos Benjamin","family":"Antal","sequence":"additional","affiliation":[]},{"given":"M\u00e1rton","family":"Elekes","sequence":"additional","affiliation":[]},{"given":"G\u00e1bor","family":"Sz\u00e1rnyas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,12,8]]},"reference":[{"key":"927_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-8265-9_688","volume-title":"Encyclopedia of Database Systems","author":"D Abadi","year":"2018","unstructured":"Abadi, D.: Data partitioning. In: Liu, L., \u00d6zsu, M.T. (eds.) Encyclopedia of Database Systems, 2nd edn. Springer, Berlin (2018). https:\/\/doi.org\/10.1007\/978-1-4614-8265-9_688","edition":"2"},{"key":"927_CR2","unstructured":"Acar, U.A.: Self-adjusting computation. Ph.D. thesis, Carnegie Mellon University, Pittsburgh, USA (2005)"},{"key":"927_CR3","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":"927_CR4","doi-asserted-by":"publisher","unstructured":"Aho, A.V., Ullman, J.D.: The universality of data retrieval languages. In: POPL, pp. 110\u2013120. ACM Press (1979). https:\/\/doi.org\/10.1145\/567752.567763","DOI":"10.1145\/567752.567763"},{"key":"927_CR5","unstructured":"Angles, R., Antal, J.B., Averbuch, A., Boncz, P.A., Erling, O., Gubichev, A., Haprian, V., Kaufmann, M., Larriba-Pey, J., Mart\u00ednez-Bazan, N., Marton, J., Paradies, M., Pham, M., Prat-P\u00e9rez, A., Spasic, M., Steer, B.A., Sz\u00e1rnyas, G., Waudby, J.: The LDBC social network benchmark. CoRR arXiv:2001.02299 (2020)"},{"issue":"3","key":"927_CR6","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1007\/s10270-019-00752-x","volume":"19","author":"A Anjorin","year":"2020","unstructured":"Anjorin, A., Buchmann, T., Westfechtel, B., Diskin, Z., Ko, H., Eramo, R., Hinkel, G., Samimi-Dehkordi, L., Z\u00fcndorf, A.: Benchmarking bidirectional transformations: theory, implementation, application, and assessment. Softw. Syst. Model. 19(3), 647\u2013691 (2020). https:\/\/doi.org\/10.1007\/s10270-019-00752-x","journal-title":"Softw. Syst. Model."},{"issue":"4","key":"927_CR7","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1145\/2501654.2501666","volume":"45","author":"E Bainomugisha","year":"2013","unstructured":"Bainomugisha, E., Carreton, A.L., Cutsem, Tv., Mostinckx, S., Meuter, Wd.: A survey on reactive programming. ACM Comput. Surv. 45(4), 521\u20135234 (2013). https:\/\/doi.org\/10.1145\/2501654.2501666","journal-title":"ACM Comput. Surv."},{"key":"927_CR8","doi-asserted-by":"publisher","unstructured":"Barmpis, K., Garc\u00eda-Dom\u00ednguez, A., Bagnato, A., Abherve, A.: Monitoring model analytics over large repositories with Hawk and MEASURE. In: Model Management and Analytics for Large Scale Systems, pp. 87\u2013123. Academic Press (2020). https:\/\/doi.org\/10.1016\/B978-0-12-816649-9.00014-4. http:\/\/www.sciencedirect.com\/science\/article\/pii\/B9780128166499000144","DOI":"10.1016\/B978-0-12-816649-9.00014-4"},{"key":"927_CR9","doi-asserted-by":"crossref","unstructured":"Beaudoux, O., Blouin, A., Barais, O., J\u00e9z\u00e9quel, J.: Active operations on collections. In: Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. Lecture Notes in Computer Science, vol. 6394, pp. 91\u2013105. Springer (2010)","DOI":"10.1007\/978-3-642-16145-2_7"},{"key":"927_CR10","doi-asserted-by":"publisher","unstructured":"Bergmann, G., Horv\u00e1th, \u00c1., R\u00e1th, I., Varr\u00f3, D.: A benchmark evaluation of incremental pattern matching in graph transformation. In:\u00a0Ehrig, H.,\u00a0Heckel, R.,\u00a0Rozenberg, G.,\u00a0Taentzer, G. (eds.) Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7\u201313, 2008. Proceedings, Lecture Notes in Computer Science, vol. 5214, pp. 396\u2013410. Springer (2008). https:\/\/doi.org\/10.1007\/978-3-540-87405-8_27","DOI":"10.1007\/978-3-540-87405-8_27"},{"key":"927_CR11","doi-asserted-by":"publisher","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.,\u00a0Rouquette, N.,\u00a0Haugen, \u00d8. (eds.) Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3\u20138, 2010, Proceedings, Part I, Lecture Notes in Computer Science, vol. 6394, pp. 76\u201390. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-16145-2_6","DOI":"10.1007\/978-3-642-16145-2_6"},{"key":"927_CR12","unstructured":"Besnard, V., Jouault, F., Calvar, T.L., Tisi, M.: The TTC 2018 Social Media Case, by ATL and AOF. In:\u00a0Garcia-Dominguez, A.,\u00a0Hinkel, G.,\u00a0Krikava, F. (eds.) Proceedings of the 11th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2018) federation of conferences, CEUR Workshop Proceedings. CEUR-WS.org (2018)"},{"key":"927_CR13","volume-title":"Implementing Domain-Specific Languages with Xtext and Xtend","author":"L Bettini","year":"2013","unstructured":"Bettini, L.: Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing, Birmingham (2013)"},{"key":"927_CR14","doi-asserted-by":"publisher","unstructured":"Blakeley, J.A., Larson, P., Tompa, F.W.: Efficiently updating materialized views. In: SIGMOD, pp. 61\u201371. ACM Press (1986). https:\/\/doi.org\/10.1145\/16894.16861","DOI":"10.1145\/16894.16861"},{"key":"927_CR15","doi-asserted-by":"publisher","unstructured":"B\u00f6geholz, H., Brand, M., Todor, R.: In-database connected component analysis. In: ICDE, pp. 1525\u20131536. IEEE (2020). https:\/\/doi.org\/10.1109\/ICDE48307.2020.00135","DOI":"10.1109\/ICDE48307.2020.00135"},{"key":"927_CR16","doi-asserted-by":"crossref","unstructured":"Boronat, A.: Expressive and efficient model transformation with an internal DSL of Xtend. In: Proceedings of the 21th ACM\/IEEE International Conference on MoDELS, pp. 78\u201388. ACM (2018)","DOI":"10.1145\/3239372.3239386"},{"key":"927_CR17","unstructured":"Boronat, A.: YAMTL solution to the TTC 2018 social media case. In:\u00a0Garcia-Dominguez, A.,\u00a0Hinkel, G.,\u00a0Krikava, F. (eds.) Proceedings of the 11th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2018) federation of conferences, CEUR Workshop Proceedings. CEUR-WS.org (2018)"},{"key":"927_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-020-00583-y","author":"A Boronat","year":"2020","unstructured":"Boronat, A.: Incremental execution of rule-based model transformation. Int. J. Softw. Tools Technol. Transf. (2020). https:\/\/doi.org\/10.1007\/s10009-020-00583-y","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"927_CR19","unstructured":"Brucker, A.D., Clark, T., Dania, C., Georg, G., Gogolla, M., Jouault, F., Teniente, E., Wolff, B.: Panel discussion: proposals for improving OCL. In: Proceedings of the 14th International Workshop on OCL and Textual Modelling, CEUR Workshop Proceedings, vol. 1285, pp. 83\u201399 (2014)"},{"key":"927_CR20","doi-asserted-by":"publisher","unstructured":"Bulu\u00e7, A., Mattson, T., McMillan, S., Moreira, J.E., Yang, C.: Design of the GraphBLAS API for C. In: GABB at IPDPS, pp. 643\u2013652. IEEE Computer Society (2017). https:\/\/doi.org\/10.1109\/IPDPSW.2017.117","DOI":"10.1109\/IPDPSW.2017.117"},{"issue":"10","key":"927_CR21","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. SIGPLAN Not. 46(10), 427\u2013444 (2011). https:\/\/doi.org\/10.1145\/2076021.2048101","journal-title":"SIGPLAN Not."},{"key":"927_CR22","unstructured":"Calvar, T.L., Chhel, F., Jouault, F., Saubion, F.: Using process algebra to statically analyze incremental propagation graphs. In:\u00a0Hebig, R.,\u00a0Berger, T. (eds.) Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM\/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, October, 14, 2018, CEUR Workshop Proceedings, vol. 2245, pp. 160\u2013173. CEUR-WS.org (2018)"},{"issue":"3","key":"927_CR23","doi-asserted-by":"publisher","first-page":"2:1","DOI":"10.5381\/jot.2019.18.3.a2","volume":"18","author":"TL Calvar","year":"2019","unstructured":"Calvar, T.L., Jouault, F., Chhel, F., Clavreul, M.: Efficient ATL incremental transformations. J. Object Technol. 18(3), 2:1-17 (2019). https:\/\/doi.org\/10.5381\/jot.2019.18.3.a2","journal-title":"J. Object Technol."},{"issue":"4","key":"927_CR24","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1561\/1900000020","volume":"4","author":"R Chirkova","year":"2012","unstructured":"Chirkova, R., Yang, J.: Materialized views. Found. Trends Databases 4(4), 295\u2013405 (2012). https:\/\/doi.org\/10.1561\/1900000020","journal-title":"Found. Trends Databases"},{"issue":"4","key":"927_CR25","doi-asserted-by":"publisher","first-page":"44:1","DOI":"10.1145\/3322125","volume":"45","author":"TA Davis","year":"2019","unstructured":"Davis, T.A.: Algorithm 1000: SuiteSparse:GraphBLAS: graph algorithms in the language of sparse linear algebra. ACM Trans. Math. Softw. 45(4), 44:1-44:25 (2019). https:\/\/doi.org\/10.1145\/3322125","journal-title":"ACM Trans. Math. Softw."},{"issue":"1","key":"927_CR26","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/344788.344808","volume":"29","author":"G Dong","year":"2000","unstructured":"Dong, G., Su, J.: Incremental maintenance of recursive views using relational calculus\/SQL. SIGMOD Rec. 29(1), 44\u201351 (2000). https:\/\/doi.org\/10.1145\/344788.344808","journal-title":"SIGMOD Rec."},{"key":"927_CR27","unstructured":"Elekes, M., Antal, J.B., Sz\u00e1rnyas, G.: An analysis of the SIGMOD 2014 programming contest: complex queries on the LDBC social network graph. CoRR arXiv:2010.12243 (2020)"},{"key":"927_CR28","doi-asserted-by":"publisher","unstructured":"Elekes, M., Sz\u00e1rnyas, G.: An incremental GraphBLAS solution for the 2018 TTC Social Media case study. In: GrAPL at IPDPS, pp. 203\u2013206. IEEE (2020). https:\/\/doi.org\/10.1109\/IPDPSW50202.2020.00045","DOI":"10.1109\/IPDPSW50202.2020.00045"},{"key":"927_CR29","unstructured":"Elekes, M., Sz\u00e1rnyas, G.: Incremental view maintenance in graph databases: a case study in Neo4j. In: Proceedings of the 27th PhD mini-symposium. Budapest University of Technology and Economics, Department of Measurement and Information Systems (2020). http:\/\/docs.inf.mit.bme.hu\/paper-minisy20-elekes\/elekes.pdf"},{"key":"927_CR30","doi-asserted-by":"publisher","unstructured":"Erling, O., Averbuch, A., Larriba-Pey, J., Chafi, H., Gubichev, A., Prat-P\u00e9rez, A., Pham, M., Boncz, P.A.: The LDBC social network benchmark: interactive workload. In: SIGMOD, pp. 619\u2013630 (2015). https:\/\/doi.org\/10.1145\/2723372.2742786","DOI":"10.1145\/2723372.2742786"},{"key":"927_CR31","doi-asserted-by":"publisher","unstructured":"Fan, W., Hu, C., Tian, C.: Incremental graph computations: doable and undoable. In: SIGMOD, pp. 155\u2013169. ACM (2017). https:\/\/doi.org\/10.1145\/3035918.3035944","DOI":"10.1145\/3035918.3035944"},{"issue":"1","key":"927_CR32","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":"927_CR33","doi-asserted-by":"publisher","unstructured":"Francis, N., et\u00a0al.: Cypher: an evolving query language for property graphs. In: SIGMOD, pp. 1433\u20131445. ACM (2018). https:\/\/doi.org\/10.1145\/3183713.3190657","DOI":"10.1145\/3183713.3190657"},{"key":"927_CR34","unstructured":"Garcia-Dominguez, A.: Hawk solutions to the TTC 2018 Social Media Case. In:\u00a0Garcia-Dominguez, A.,\u00a0Hinkel, G.,\u00a0Krikava, F. (eds.) Proceedings of the 11th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2018) Federation of Conferences, CEUR Workshop Proceedings. CEUR-WS.org (2018)"},{"key":"927_CR35","unstructured":"Garc\u00eda-Dom\u00ednguez, A., Hinkel, G., Krikava, F. (eds.): Proceedings of the 11th Transformation Tool Contest, Co-located with the 2018 Software Technologies: Applications and Foundations, TTC@STAF 2018, Toulouse, France, June 29, 2018, CEUR Workshop Proceedings, vol. 2310. CEUR-WS.org (2019). http:\/\/ceur-ws.org\/Vol-2310"},{"issue":"1","key":"927_CR36","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). https:\/\/doi.org\/10.1007\/s10270-008-0089-9","journal-title":"Softw. Syst. Model."},{"key":"927_CR37","doi-asserted-by":"publisher","unstructured":"Green, A., et\u00a0al.: Updating graph databases with Cypher. PVLDB (2019). https:\/\/doi.org\/10.14778\/3352063.3352139. http:\/\/www.vldb.org\/pvldb\/vol12\/p2242-green.pdf","DOI":"10.14778\/3352063.3352139"},{"issue":"3","key":"927_CR38","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/290593.290597","volume":"27","author":"T Griffin","year":"1998","unstructured":"Griffin, T., Kumar, B.: Algebraic change propagation for semijoin and outerjoin queries. SIGMOD Rec. 27(3), 22\u201327 (1998). https:\/\/doi.org\/10.1145\/290593.290597","journal-title":"SIGMOD Rec."},{"issue":"2","key":"927_CR39","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":"927_CR40","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\/2814270.2814305"},{"issue":"6","key":"927_CR41","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. SIGPLAN Not. 49(6), 156\u2013166 (2014). https:\/\/doi.org\/10.1145\/2666356.2594324","journal-title":"SIGPLAN Not."},{"key":"927_CR42","doi-asserted-by":"publisher","unstructured":"Hartmann, T., Fouquet, F., Jimenez, M., Rouvoy, R., Traon, Y.L.: Analyzing complex data in motion at scale with temporal graphs, pp. 596\u2013601 (2017). https:\/\/doi.org\/10.18293\/SEKE2017-048. http:\/\/ksiresearchorg.ipage.com\/seke\/seke17paper\/seke17paper_48.pdf","DOI":"10.18293\/SEKE2017-048"},{"issue":"3","key":"927_CR43","first-page":"301","volume":"24","author":"G Hedin","year":"2000","unstructured":"Hedin, G.: Reference attributed grammars. Informatica 24(3), 301 (2000)","journal-title":"Informatica"},{"key":"927_CR44","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/S0167-6423(02)00109-0","volume":"47","author":"G Hedin","year":"2003","unstructured":"Hedin, G., Magnusson, E.: JastAdd: an aspect-oriented compiler construction system. Sci. Comput. Program. 47, 37\u201358 (2003)","journal-title":"Sci. Comput. Program."},{"key":"927_CR45","unstructured":"Hinkel, G.: NMF: A Modeling Framework for the .NET Platform. Technical report, Karlsruhe Institute of Technology, Karlsruhe (2016). http:\/\/nbn-resolving.org\/urn:nbn:de:swb:90-537082"},{"key":"927_CR46","unstructured":"Hinkel, G.: Implicit incremental model analyses and transformations. Ph.D. thesis, Karlsruhe Institute of Technology (2017)"},{"key":"927_CR47","unstructured":"Hinkel, G.: An NMF solution to the Smart Grid case at the TTC 2017. In:\u00a0Garc\u00eda-Dom\u00ednguez, A.,\u00a0Hinkel, G.,\u00a0Krikava, F. (eds.) Proceedings of the 10th Transformation Tool Contest (TTC 2017), Co-located with the 2017 Software Technologies: Applications and Foundations (STAF 2017), Marburg, Germany, July 21, 2017, CEUR Workshop Proceedings, vol. 2026, pp. 13\u201317. CEUR-WS.org (2017). http:\/\/ceur-ws.org\/Vol-2026\/paper5.pdf"},{"key":"927_CR48","unstructured":"Hinkel, G.: The TTC 2017 outage system case for incremental model views. In:\u00a0Garcia-Dominguez, A.,\u00a0Hinkel, G.,\u00a0Krikava, F. (eds.) Proceedings of the 10th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2017) Federation of Conferences, CEUR Workshop Proceedings. CEUR-WS.org (2017)"},{"key":"927_CR49","unstructured":"Hinkel, G.: An NMF solution to the TTC 2018 Social Media Case. In:\u00a0Garcia-Dominguez, A.,\u00a0Hinkel, G.,\u00a0Krikava, F. (eds.) Proceedings of the 11th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2018) Federation of Conferences, CEUR Workshop Proceedings. CEUR-WS.org (2018)"},{"key":"927_CR50","unstructured":"Hinkel, G.: NMF: a multi-platform modeling framework. In:\u00a0Rensink, A., Cuadrado, J.S. (eds.) Theory and Practice of Model Transformations: 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25\u201329, 2018. Proceedings. Springer (2018)"},{"key":"927_CR51","unstructured":"Hinkel, G.: The TTC 2018 social media case. In:\u00a0Garcia-Dominguez, A.,\u00a0Hinkel, G.,\u00a0Krikava, F. (eds.) Proceedings of the 11th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2018) Federation of Conferences, CEUR Workshop Proceedings. CEUR-WS.org (2018)"},{"key":"927_CR52","unstructured":"Hinkel, G., Happe, L.: An NMF solution to the TTC train benchmark case. In:\u00a0Rose, L.,\u00a0Horn, T.,\u00a0Krikava, F. (eds.) Proceedings of the 8th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2015) Federation of Conferences, CEUR Workshop Proceedings, vol. 1524, pp. 142\u2013146. CEUR-WS.org (2015)"},{"key":"927_CR53","unstructured":"Jouault, F., Beaudoux, O.: On the use of active operations for incremental bidirectional evaluation of OCL. In: Proceedings of the 15th International Workshop on OCL and Textual Modeling, CEUR Workshop Proceedings, vol. 1512, pp. 35\u201345. Ottawa, Canada (2015)"},{"key":"927_CR54","unstructured":"Jouault, F., Beaudoux, O.: Efficient OCL-based incremental transformations. In: Proceedings of the 16th International Workshop in OCL and Textual Modeling, CEUR Workshop Proceedings, vol. 1756, pp. 121\u2013136. Saint-Malo, France (2016)"},{"key":"927_CR55","doi-asserted-by":"crossref","unstructured":"Jouault, F., Kurtev, I.: Transforming models with ATL. In: Proceedings of the Model Transformations in Practice Workshop at MoDELS 2005, vol. Satellite, pp. 128\u2013138. Springer (2005)","DOI":"10.1007\/11663430_14"},{"key":"927_CR56","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-13688-7_9","volume-title":"Theory and Practice of Model Transformations","author":"F Jouault","year":"2010","unstructured":"Jouault, F., Tisi, M.: Towards incremental execution of atl transformations. In: Tratt, L., Gogolla, M. (eds.) Theory and Practice of Model Transformations, pp. 123\u2013137. Springer, Berlin (2010)"},{"key":"927_CR57","doi-asserted-by":"publisher","unstructured":"Kepner, J., Aaltonen, P., Bader, D.A., Bulu\u00e7, A., Franchetti, F., Gilbert, J.R., Hutchison, D., Kumar, M., Lumsdaine, A., Meyerhenke, H., McMillan, S., Yang, C., Owens, J.D., Zalewski, M., Mattson, T.G., Moreira, J.E.: Mathematical foundations of the GraphBLAS. In: HPEC, pp. 1\u20139 (2016). https:\/\/doi.org\/10.1109\/HPEC.2016.7761646","DOI":"10.1109\/HPEC.2016.7761646"},{"key":"927_CR58","doi-asserted-by":"publisher","unstructured":"Kepner, J., Gilbert, J.R. (eds.): Graph Algorithms in the Language of Linear Algebra, Software, Environments, Tools, vol.\u00a022. SIAM (2011). https:\/\/doi.org\/10.1137\/1.9780898719918","DOI":"10.1137\/1.9780898719918"},{"key":"927_CR59","volume-title":"The Rust Programming Language","author":"S Klabnik","year":"2018","unstructured":"Klabnik, S., Nichols, C.: The Rust Programming Language. No Starch Press, San Francisco (2018)"},{"issue":"2","key":"927_CR60","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF01692511","volume":"2","author":"DE Knuth","year":"1968","unstructured":"Knuth, D.E.: Semantics of context-free languages. Math. Syst. Theory 2(2), 127\u2013145 (1968). https:\/\/doi.org\/10.1007\/BF01692511","journal-title":"Math. Syst. Theory"},{"key":"927_CR61","doi-asserted-by":"publisher","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: The epsilon object language (EOL). In: Model Driven Architecture: Foundations and Applications, Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10\u201313, 2006, Proceedings, pp. 128\u2013142 (2006). https:\/\/doi.org\/10.1007\/11787044_11","DOI":"10.1007\/11787044_11"},{"issue":"1","key":"927_CR62","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.scico.2005.06.005","volume":"68","author":"E Magnusson","year":"2007","unstructured":"Magnusson, E., Hedin, G.: Circular reference attributed grammars: their evaluation and applications. Sci. Comput. Program. 68(1), 21\u201337 (2007)","journal-title":"Sci. Comput. Program."},{"key":"927_CR63","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.scico.2016.08.006","volume":"136","author":"S Mart\u00ednez","year":"2017","unstructured":"Mart\u00ednez, S., Tisi, M., Douence, R.: Reactive model transformation with atl. Sci. Compute. Program. 136, 1\u201316 (2017). https:\/\/doi.org\/10.1016\/j.scico.2016.08.006","journal-title":"Sci. Compute. Program."},{"key":"927_CR64","doi-asserted-by":"publisher","unstructured":"Mattson, T., Davis, T.A., Kumar, M., Bulu\u00e7, A., McMillan, S., Moreira, J.E., Yang, C.: LAGraph: a community effort to collect graph algorithms built on top of the GraphBLAS. In: GrAPL at IPDPS, pp. 276\u2013284 (2019). https:\/\/doi.org\/10.1109\/IPDPSW.2019.00053","DOI":"10.1109\/IPDPSW.2019.00053"},{"key":"927_CR65","unstructured":"McSherry, F., Murray, D.G., Isaacs, R., Isard, M.: Differential dataflow. In: CIDR (2013). http:\/\/cidrdb.org\/cidr2013\/Papers\/CIDR13_Paper111.pdf"},{"key":"927_CR66","doi-asserted-by":"publisher","DOI":"10.22152\/programming-journal.org\/2020\/4\/15","author":"J Mey","year":"2020","unstructured":"Mey, J., K\u00fchn, T., Sch\u00f6ne, R., A\u00dfmann, U.: Reusing static analysis across different domain-specific languages using reference attribute grammars. Art Sci. Eng. Program. (2020). https:\/\/doi.org\/10.22152\/programming-journal.org\/2020\/4\/15","journal-title":"Art Sci. Eng. Program."},{"key":"927_CR67","doi-asserted-by":"crossref","unstructured":"Mey, J., Sch\u00f6ne, R., Hedin, G., S\u00f6derberg, E., K\u00fchn, T., Fors, N., \u00d6qvist, J., A\u00dfman, U.: Continuous model validation using reference attribute grammars. In: Proceedings of the 11th International Conference on Software Language Engineering (2018)","DOI":"10.1145\/3276604.3276616"},{"key":"927_CR68","unstructured":"Monge, A.E., Elkan, C.: An efficient domain-independent algorithm for detecting approximately duplicate database records. In: DMKD (1997)"},{"key":"927_CR69","doi-asserted-by":"publisher","unstructured":"Murray, D.G., McSherry, F., Isaacs, R., Isard, M., Barham, P., Abadi, M.: Naiad: a timely dataflow system. In: SIGOPS, pp. 439\u2013455. ACM (2013). https:\/\/doi.org\/10.1145\/2517349.2522738","DOI":"10.1145\/2517349.2522738"},{"issue":"10","key":"927_CR70","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/2983551","volume":"59","author":"DG Murray","year":"2016","unstructured":"Murray, D.G., McSherry, F., Isard, M., Isaacs, R., Barham, P., Abadi, M.: Incremental, iterative data processing with timely dataflow. Commun. ACM 59(10), 75\u201383 (2016). https:\/\/doi.org\/10.1145\/2983551","journal-title":"Commun. ACM"},{"key":"927_CR71","unstructured":"Needham, M., Hodler, A.E.: Graph Algorithms: Practical Examples in Apache Spark and Neo4j. O\u2019Reilly Media, Sebastopol (2019)"},{"key":"927_CR72","unstructured":"Peldszus, S., B\u00fcrger, J., Str\u00fcber, D.: Detecting and preventing power outages in a smart grid using emoflon. In:\u00a0Garc\u00eda-Dom\u00ednguez, A.,\u00a0Hinkel, G.,\u00a0Krikava, F. (eds.) Proceedings of the 10th Transformation Tool Contest (TTC 2017), Co-located with the 2017 Software Technologies: Applications and Foundations (STAF 2017), Marburg, Germany, July 21, 2017, CEUR Workshop Proceedings, vol. 2026, pp. 19\u201323. CEUR-WS.org (2017). http:\/\/ceur-ws.org\/Vol-2026\/paper17.pdf"},{"key":"927_CR73","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":"927_CR74","doi-asserted-by":"publisher","unstructured":"Raasveldt, M., M\u00fchleisen, H.: DuckDB: an embeddable analytical database. In: SIGMOD, pp. 1981\u20131984. ACM (2019). https:\/\/doi.org\/10.1145\/3299869.3320212","DOI":"10.1145\/3299869.3320212"},{"key":"927_CR75","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":"927_CR76","doi-asserted-by":"publisher","unstructured":"Reiss, S.P.: An approach to incremental compilation. In: Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, SIGPLAN \u201984, pp. 144\u2013156. ACM, New York, NY, USA (1984). https:\/\/doi.org\/10.1145\/502874.502889","DOI":"10.1145\/502874.502889"},{"key":"927_CR77","doi-asserted-by":"publisher","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, POPL \u201982, pp. 169\u2013176. ACM, New York, NY, USA (1982). https:\/\/doi.org\/10.1145\/582153.582172","DOI":"10.1145\/582153.582172"},{"key":"927_CR78","unstructured":"Sch\u00f6ne, R., Mey, J.: A JastAdd-based solution to the TTC 2018 social media case. In:\u00a0Garcia-Dominguez, A.,\u00a0Hinkel, G.,\u00a0Krikava, F. (eds.) Proceedings of the 11th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2018) federation of conferences, CEUR Workshop Proceedings. CEUR-WS.org (2018)"},{"issue":"1","key":"927_CR79","doi-asserted-by":"publisher","first-page":"19300011","DOI":"10.1142\/S0218843019300018","volume":"28","author":"A Sebaa","year":"2019","unstructured":"Sebaa, A., Tari, A.: Materialized view maintenance: issues, classification, and open challenges. Int. J. Coop. Inf. Syst. 28(1), 19300011\u2013193000159 (2019). https:\/\/doi.org\/10.1142\/S0218843019300018","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"927_CR80","volume-title":"Algorithms","author":"R Sedgewick","year":"2011","unstructured":"Sedgewick, R., Wayne, K.: Algorithms, 4th edn. Addison-Wesley, Boston (2011)","edition":"4"},{"key":"927_CR81","unstructured":"Sz\u00e1rnyas, G.: Query, analysis, and benchmarking techniques for evolving property graphs of software systems. Ph.D. dissertation, Budapest University of Technology and Economics (2019). http:\/\/hdl.handle.net\/10890\/13133"},{"key":"927_CR82","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0571-8","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. (2017). https:\/\/doi.org\/10.1007\/s10270-016-0571-8","journal-title":"Softw. Syst. Model."},{"key":"927_CR83","unstructured":"Sz\u00e1rnyas, G., Semer\u00e1th, O., R\u00e1th, I., Varr\u00f3, D.: The TTC 2015 train benchmark case for incremental model validation. In: TTC at STAF, pp. 129\u2013141 (2015). http:\/\/ceur-ws.org\/Vol-1524\/paper2.pdf"},{"issue":"2","key":"927_CR84","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth-first search and linear graph algorithms. SIAM J. Comput. 1(2), 146\u2013160 (1972)","journal-title":"SIAM J. Comput."},{"issue":"3","key":"927_CR85","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/s10270-016-0530-4","volume":"15","author":"D Varr\u00f3","year":"2016","unstructured":"Varr\u00f3, D., Bergmann, G., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Ujhelyi, Z.: Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. Softw. Syst. Model. 15(3), 609\u2013629 (2016). https:\/\/doi.org\/10.1007\/s10270-016-0530-4","journal-title":"Softw. Syst. Model."},{"key":"927_CR86","doi-asserted-by":"publisher","unstructured":"Vogt, H.H., Swierstra, S.D., Kuiper, M.F.: Higher order attribute grammars. In: PLDI \u201989. ACM, New York, NY, USA (1989). https:\/\/doi.org\/10.1145\/73141.74830","DOI":"10.1145\/73141.74830"},{"key":"927_CR87","doi-asserted-by":"publisher","unstructured":"Waudby, J., Steer, B.A., Prat-P\u00e9rez, A., Sz\u00e1rnyas, G.: Supporting dynamic graphs and temporal entity deletions in the LDBC Social Network Benchmark\u2019s data generator. In: GRADES-NDA at SIGMOD, pp. 8:1\u20138:8. ACM (2020). https:\/\/doi.org\/10.1145\/3398682.3399165","DOI":"10.1145\/3398682.3399165"},{"key":"927_CR88","doi-asserted-by":"publisher","unstructured":"Zhang, Y., Azad, A., Hu, Z.: FastSV: a distributed-memory connected component algorithm with fast convergence. In: PPSC, pp. 46\u201357. SIAM (2020). https:\/\/doi.org\/10.1137\/1.9781611976137.5","DOI":"10.1137\/1.9781611976137.5"},{"key":"927_CR89","doi-asserted-by":"publisher","unstructured":"Zhao, K., Yu, J.X.: All-in-one: graph processing in RDBMSs revisited. In: SIGMOD, pp. 1165\u20131180. ACM (2017). https:\/\/doi.org\/10.1145\/3035918.3035943","DOI":"10.1145\/3035918.3035943"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00927-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-021-00927-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00927-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,7]],"date-time":"2022-04-07T05:14:56Z","timestamp":1649308496000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-021-00927-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,8]]},"references-count":89,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,4]]}},"alternative-id":["927"],"URL":"https:\/\/doi.org\/10.1007\/s10270-021-00927-5","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2021,12,8]]},"assertion":[{"value":"12 December 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 August 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 September 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 December 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}