{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T13:19:08Z","timestamp":1779887948888,"version":"3.53.1"},"reference-count":69,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T00:00:00Z","timestamp":1569456000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T00:00:00Z","timestamp":1569456000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100009567","name":"Budapest University of Technology and Economics","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100009567","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2020,2]]},"abstract":"<jats:title>Abstract<\/jats:title>\n<jats:p>Smart cyber-physical systems (CPSs) have complex interaction with their environment which is rarely known in advance, and they heavily depend on intelligent data processing carried out over a heterogeneous and distributed computation platform with resource-constrained devices to monitor, manage and control autonomous behavior. First, we propose a <jats:italic>distributed runtime model<\/jats:italic> to capture the operational state and the context information of a smart CPS using directed, typed and attributed graphs as high-level knowledge representation. The runtime model is distributed among the participating nodes, and it is consistently kept up to date in a continuously evolving environment by a time-triggered model management protocol. Our runtime models offer a (domain-specific) model query and manipulation interface over the reliable communication middleware of the Data Distribution Service (DDS) standard widely used in the CPS domain. Then, we propose to carry out distributed runtime monitoring by capturing critical properties of interest in the form of graph queries, and design a distributed graph query evaluation algorithm for evaluating such graph queries over the distributed runtime model. As the key innovation, our (1) distributed runtime model extends existing publish\u2013subscribe middleware (like DDS) used in real-time CPS applications by enabling the dynamic creation and deletion of graph nodes (without compile time limits). Moreover, (2) our distributed query evaluation extends existing graph query techniques by enabling query evaluation in a real-time, resource-constrained environment while still providing scalable performance. Our approach is illustrated, and an initial scalability evaluation is carried out on the MoDeS3 CPS demonstrator and the open Train Benchmark for graph queries.<\/jats:p>","DOI":"10.1007\/s10009-019-00531-5","type":"journal-article","created":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T23:26:12Z","timestamp":1569540372000},"page":"79-102","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems"],"prefix":"10.1007","volume":"22","author":[{"given":"M\u00e1rton","family":"B\u00far","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G\u00e1bor","family":"Szil\u00e1gyi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andr\u00e1s","family":"V\u00f6r\u00f6s","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,9,26]]},"reference":[{"key":"531_CR1","unstructured":"Headways on high speed lines. In: 9th World Congress on Railway Research, pp. 22\u201326 (2011)"},{"key":"531_CR2","unstructured":"Scenario-based automated evaluation of test traces of autonomous systems. In: DECS workshop at SAFECOMP (2013)"},{"issue":"1-2","key":"531_CR3","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/s10703-016-0253-8","volume":"48","author":"Andreas Bauer","year":"2016","unstructured":"Decentralised LTL monitoring: Formal Methods in System Design 48(1\u20132), 46\u201393 (2016)","journal-title":"Formal Methods in System Design"},{"key":"531_CR4","unstructured":"Foundations for streaming model transformations by complex event processing. Software & Systems Modeling, pp. 1\u201328 (2016)"},{"issue":"5","key":"531_CR5","doi-asserted-by":"publisher","first-page":"774","DOI":"10.1016\/j.tre.2007.04.001","volume":"44","author":"M Abril","year":"2008","unstructured":"Abril, M., Barber, F., Ingolotti, L., Salido, M., Tormos, P., Lova, A.: An assessment of railway capacity. Transp. Res. Part E Logist. Transp. Rev. 44(5), 774\u2013806 (2008)","journal-title":"Transp. Res. Part E Logist. Transp. Rev."},{"issue":"1","key":"531_CR6","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/TETCI.2016.2641452","volume":"1","author":"C Alippi","year":"2017","unstructured":"Alippi, C., Ntalampiras, S., Roveri, M.: Model-free fault detection and isolation in large-scale cyber-physical systems. IEEE Trans. Emereg. Topics Comput. Intell. 1(1), 61\u201371 (2017)","journal-title":"IEEE Trans. Emereg. Topics Comput. Intell."},{"key":"531_CR7","doi-asserted-by":"crossref","unstructured":"Baresi, L., Ghezzi, C.: The disappearing boundary between development-time and run-time. In: FoSER (2010)","DOI":"10.1145\/1882362.1882367"},{"key":"531_CR8","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-32759-9_9","volume-title":"FM 2012: Formal Methods","author":"Howard Barringer","year":"2012","unstructured":"Barringer, H., Falcone, Y., Havelund, K., Reger, G., Rydeheard D.E.: Quantified event automata: towards expressive and efficient runtime monitors. In: FM, pp. 68\u201384 (2012)"},{"issue":"4","key":"531_CR9","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/2000799.2000800","volume":"20","author":"A Bauer","year":"2011","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4), 14 (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"531_CR10","unstructured":"Bergmann, G., Ujhelyi, Z., R\u00e1th, I., Varr\u00f3, D.: A graph query language for EMF models. In: Theory and Practice of Model Transformations\u20144th International Conference, ICMT 2011, Zurich, Switzerland, June 27\u201328, 2011. Proceedings, pp. 167\u2013182 (2011)"},{"issue":"10","key":"531_CR11","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2009.326","volume":"42","author":"GS Blair","year":"2009","unstructured":"Blair, G.S., Bencomo, N., France, R.B.: Models@run.time. IEEE Comput. 42(10), 22\u201327 (2009)","journal-title":"IEEE Comput."},{"key":"531_CR12","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-319-89363-1_7","volume-title":"Fundamental Approaches to Software Engineering","author":"M\u00e1rton B\u00far","year":"2018","unstructured":"B\u00far, M., Szil\u00e1gyi, G., V\u00f6r\u00f6s, A., Varr\u00f3, D.: Distributed graph queries for runtime monitoring of cyber-physical systems. In: 21st International Conference on Fundamental Approaches to Software Engineering (FASE), pp. 111\u2013128 (2018)"},{"key":"531_CR13","doi-asserted-by":"crossref","unstructured":"B\u00far, M., Ujhelyi, Z., Horv\u00e1th, \u00c1., Varr\u00f3, D.: Local search-based pattern matching features in EMF-IncQuery. In: ICGT, Vol. 9151, pp. 275\u2013282. Springer (2015)","DOI":"10.1007\/978-3-319-21145-9_18"},{"key":"531_CR14","unstructured":"CallidusCloud. Orientdb (2018)"},{"key":"531_CR15","unstructured":"Cengarle, M., Bensalem, S., McDermid, J., Passerone, R., Sangiovanni-Vincentelli, A., T\u00f6rngren, M.: Characteristics, capabilities, potential applications of cyber-physical systems: a preliminary analysis. Project Deliverable D, 2 (2013)"},{"key":"531_CR16","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-319-08915-7_4","volume-title":"Models@run.time","author":"Betty H. C. Cheng","year":"2014","unstructured":"Cheng, B.H.C., Eder, K.I., Gogolla, M., Grunske, L., Litoiu, M., M\u00fcller, H.A., Pelliccione, P., Perini, A., Qureshi, N.A., Rumpe, B., Schneider, D., Trollmann, F., Villegas N.M.: Using models at runtime to address assurance for self-adaptive systems. In: Models@run.time, pp. 101\u2013136 (2011)"},{"key":"531_CR17","unstructured":"CPSoS. Cyber-Physical Systems of Systems: Research and Innovation Priorities (2015)"},{"key":"531_CR18","volume-title":"Software Engineering for Self-Adaptive Systems 2","author":"R de Lemos","year":"2010","unstructured":"de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M.: Software Engineering for Self-Adaptive Systems 2. Springer, Berlin (2010)"},{"key":"531_CR19","doi-asserted-by":"crossref","unstructured":"Decker, N., Leucker, M., Thoma, D.: Monitoring modulo theories. Int. J. Softw. Tools Technol. Transfer pp. 1\u201321 (2015)","DOI":"10.1007\/s10009-015-0380-3"},{"key":"531_CR20","doi-asserted-by":"crossref","unstructured":"Desai, A., Seshia, S.A., Qadeer, S., Broman, D., Eidson, J.C.: Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems, pp. 429\u2013448. Springer (2015)","DOI":"10.1007\/978-3-319-21668-3_25"},{"key":"531_CR21","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation (monographs in theoretical computer science. an eatcs series). secaucus (2006)"},{"key":"531_CR22","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-33666-9_7","volume-title":"Model Driven Engineering Languages and Systems","author":"Fran\u00e7ois Fouquet","year":"2012","unstructured":"Fouquet, F., Nain, G., Morin, B., Daubert, E., Barais, O., Plouzeau, N., J\u00e9z\u00e9quel, J.-M.: An eclipse modelling framework alternative to meet the models@runtime requirements. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) Model Driven Engineering Languages and Systems, pp. 87\u2013101, Berlin, Heidelberg. Springer Berlin Heidelberg (2012)"},{"key":"531_CR23","first-page":"45","volume":"6","author":"B Gallagher","year":"2006","unstructured":"Gallagher, B.: Matching structure and semantics: a survey on graph-based pattern matching. AAAI FS 6, 45\u201353 (2006)","journal-title":"AAAI FS"},{"key":"531_CR24","unstructured":"G\u00f6nczy, L., Majzik, I., Boz\u00f3ki, S., Pataricza, A.: MDD-based design, configuration, and monitoring of resilient cyber-physical systems. Trustworthy Cyber-Physical Systems Engineering (2016)"},{"key":"531_CR25","doi-asserted-by":"crossref","unstructured":"Gotz, S., Gerostathopoulos, I., Krikava, F., Shahzada, A., Spalazzese, R.: Adaptive exchange of distributed partial Models@run.time for highly dynamic systems. In: Proceedings\u201410th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015, pp. 64\u201370 (2015)","DOI":"10.1109\/SEAMS.2015.25"},{"key":"531_CR26","unstructured":"Group, O.M.: DDS for eXtremely Resource Constrained Environments, March (2019). Version 1.0"},{"key":"531_CR27","doi-asserted-by":"crossref","unstructured":"Hartmann, T., Fouquet, F., Jimenez, M., Rouvoy, R., Le Traon, Y.: Analyzing complex data in motion at scale with temporal graphs. In: The 29th International Conference on Software Engineering & Knowledge Engineering (SEKE\u201917), p.\u00a06. KSI Research (2017)","DOI":"10.18293\/SEKE2017-048"},{"key":"531_CR28","doi-asserted-by":"crossref","unstructured":"Hartmann, T., Moawad, A., Fouquet, F., Nain, G., Klein, J., Traon, Y.L.: Stream my models: reactive peer-to-peer distributed models@run.time. In: 18th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, pp. 80\u201389 (2015)","DOI":"10.1109\/MODELS.2015.7338238"},{"issue":"2","key":"531_CR29","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10009-014-0309-2","volume":"17","author":"K Havelund","year":"2015","unstructured":"Havelund, K.: Rule-based runtime verification revisited. Int. J. Softw. Tools Technol. Transfer 17(2), 143\u2013170 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"531_CR30","unstructured":"He, X., Zhang, T., Pan, M., Ma, Z., Hu, C.-J.: Template-based model generation. Softw. Syst. Model. 1\u201342 (2017)"},{"key":"531_CR31","unstructured":"Hewitt, C., Bishop, P.B., Steiger, R.: A universal modular ACTOR formalism for artificial intelligence. In: International Joint Conference on Artificial Intelligence, pp. 235\u2013245 (1973)"},{"key":"531_CR32","unstructured":"Horv\u00e1th, \u00c1., Varr\u00f3, G., Varr\u00f3, D.: Generic search plans for matching advanced graph patterns. Electronic Communications of the EASST, 6 (2007)"},{"issue":"4","key":"531_CR33","doi-asserted-by":"publisher","first-page":"1367","DOI":"10.1007\/s10270-014-0405-5","volume":"14","author":"MZ Iqbal","year":"2015","unstructured":"Iqbal, M.Z., Ali, S., Yue, T., Briand, L.: Applying UML\/MARTE on industrial projects: challenges, experiences, and guidelines. Softw. Syst. Model. 14(4), 1367\u20131385 (2015)","journal-title":"Softw. Syst. Model."},{"key":"531_CR34","doi-asserted-by":"crossref","unstructured":"Joshi, Y., Tchamgoue, G.M., Fischmeister, S.: Runtime verification of LTL on lossy traces. In: Proceedings of the Symposium on Applied Computing - SAC \u201917, pp. 1379\u20131386. ACM Press (2017)","DOI":"10.1145\/3019612.3019827"},{"issue":"2","key":"531_CR35","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1109\/TII.2012.2183878","volume":"8","author":"W Kang","year":"2012","unstructured":"Kang, W., Kapitanova, K., Son, S.: Rdds: a real-time data distribution service for cyber-physical systems. IEEE Trans. Ind. Informat. 8(2), 393\u2013405 (2012)","journal-title":"IEEE Trans. Ind. Informat."},{"key":"531_CR36","doi-asserted-by":"crossref","unstructured":"Kopetz, H., Grunsteidl, G.: TTP\u2014a time-triggered protocol for fault-tolerant real-time systems. In: FTCS-23, pp. 524\u2013533 (1993)","DOI":"10.1109\/2.248873"},{"key":"531_CR37","unstructured":"Krause, C., Tichy, M., Giese, H.: Implementing graph transformations in the bulk synchronous parallel model. In: Fundamental Approaches to Software Engineering\u201417th xxInternational Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5\u201313, 2014, Proceedings, pp. 325\u2013339 (2014)"},{"key":"531_CR38","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/j.pmcj.2014.09.009","volume":"17","author":"C Krupitzer","year":"2015","unstructured":"Krupitzer, C., Roth, F.M., VanSyckel, S., Schiele, G., Becker, C.: A survey on engineering approaches for self-adaptive systems. Perv. Mob. Comput. 17, 184\u2013206 (2015)","journal-title":"Perv. Mob. Comput."},{"issue":"3","key":"531_CR39","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MDAT.2014.2314600","volume":"31","author":"EA Lee","year":"2014","unstructured":"Lee, E.A., Hartmann, B., Kubiatowicz, J., Rosing, T.S., Wawrzynek, J., Wessel, D., Rabaey, J.M., Pister, K., Sangiovanni-Vincentelli, A.L., Seshia, S.A., Blaauw, D., Dutta, P., Fu, K., Guestrin, C., Taskar, B., Jafari, R., Jones, D.L., Kumar, V., Mangharam, R., Pappas, G.J., Murray, R.M., Rowe, A.: The swarm at the edge of the cloud. IEEE Des. Test 31(3), 8\u201320 (2014)","journal-title":"IEEE Des. Test"},{"issue":"5","key":"531_CR40","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebra Program. 78(5), 293\u2013303 (2009)","journal-title":"J. Log. Algebra Program."},{"key":"531_CR41","doi-asserted-by":"crossref","unstructured":"Mar\u00f3ti, M., Kusy, B., Simon, G., L\u00e9deczi, \u00c1.: The flooding time synchronization protocol. In: Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems, pp. 39\u201349. ACM (2004)","DOI":"10.1145\/1031495.1031501"},{"key":"531_CR42","doi-asserted-by":"crossref","unstructured":"Mazak, A., Wimmer, M.: Towards liquid models: an evolutionary modeling approach. In: Proceedings\u2014CBI 2016: 18th IEEE Conference on Business Informatics, Vol. 1, pp. 104\u2013112 (2016)","DOI":"10.1109\/CBI.2016.20"},{"issue":"3","key":"531_CR43","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10009-011-0198-6","volume":"14","author":"PO Meredith","year":"2012","unstructured":"Meredith, P.O., Jin, D., Griffith, D., Chen, F., Rosu, G.: An overview of the MOP runtime verification framework. Int. J. Softw. Tools Technol. Transfer 14(3), 249\u2013289 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"531_CR44","doi-asserted-by":"crossref","unstructured":"Mitsch, S., Platzer, A.: ModelPlex: Verified runtime validation of verified cyber-physical system models. In: Intl. Conference on Runtime Verification (2014)","DOI":"10.1007\/978-3-319-11164-3_17"},{"issue":"10","key":"531_CR45","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1145\/2714064.2660242","volume":"49","author":"R Mitschke","year":"2014","unstructured":"Mitschke, R., Erdweg, S., K\u00f6hler, M., Mezini, M., Salvaneschi, G.: i3QL: language-integrated live data views. ACM SIGPLAN Notices 49(10), 417\u2013432 (2014)","journal-title":"ACM SIGPLAN Notices"},{"key":"531_CR46","unstructured":"Morin, B., Daubert, E., Barais, O., Morin, B., Daubert, E., Barais, O.: Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use. Technical report, University of Luxembourg (2014)"},{"key":"531_CR47","doi-asserted-by":"crossref","unstructured":"Mostafa, M., Bonakdarpour, B.: Decentralized runtime verification of LTL specifications in distributed systems. In: 2015 IEEE International Parallel and Distributed Processing Symposium, pp. 494\u2013503, May (2015)","DOI":"10.1109\/IPDPS.2015.95"},{"key":"531_CR48","series-title":"pp","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-319-23820-3_2","volume-title":"Runtime Verification","author":"L Nenzi","year":"2015","unstructured":"Nenzi, L., Bortolussi, L., Ciancia, V., Loreti, M., Massink, M.: Qualitative and quantitative monitoring of spatio-temporal properties. In: Bartocci, E., Majumdar, R. (eds.) Runtime Verification. pp, pp. 21\u201337. Springer International Publishing, Cham (2015)"},{"issue":"2","key":"531_CR49","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/2794381","volume":"48","author":"CB Nielsen","year":"2015","unstructured":"Nielsen, C.B., Larsen, P.G., Fitzgerald, J.S., Woodcock, J., Peleska, J.: Systems of systems engineering: basic concepts, model-based techniques, and research directions. ACM Comput. Surv. 48(2), 18 (2015)","journal-title":"ACM Comput. Surv."},{"key":"531_CR50","unstructured":"Pardo-Castellote, G.: OMG data-distribution service: architectural overview. In: Proc. 23rd Int. Conf Distrib. Comput. Syst. Workshops (2003)"},{"key":"531_CR51","doi-asserted-by":"crossref","unstructured":"Peters, M., Brink, C., Sachweh, S., Z\u00fcndorf, A.: Scaling parallel rule-based reasoning. In: ESWC, pp. 270\u2013285 (2014)","DOI":"10.1007\/978-3-319-07443-6_19"},{"key":"531_CR52","doi-asserted-by":"crossref","unstructured":"Solis, R., Borkar, V., Kumar, P.: A new distributed time synchronization protocol for multihop wireless networks. In: Proceedings of the 45th IEEE Conference on Decision and Control, pp. 2734\u20132739. IEEE San Diego, USA (2006)","DOI":"10.1109\/CDC.2006.377675"},{"key":"531_CR53","doi-asserted-by":"crossref","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: MODELS, pp. 653\u2013669 (2014)","DOI":"10.1007\/978-3-319-11653-2_40"},{"key":"531_CR54","doi-asserted-by":"crossref","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. 1\u201329 (2017)","DOI":"10.1007\/s10270-016-0571-8"},{"key":"531_CR55","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-54848-2_16","volume-title":"From Programs to Systems. The Systems perspective in Computing","author":"Janos Sztipanovits","year":"2014","unstructured":"Sztipanovits, J., Bapty, T., Neema, S., Howard, L., Jackson, E.: OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems, pp. 235\u2013248. Springer, Berlin Heidelberg (2014)"},{"issue":"1","key":"531_CR56","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/JPROC.2011.2161529","volume":"100","author":"J Sztipanovits","year":"2012","unstructured":"Sztipanovits, J., Koutsoukos, X., Karsai, G., Kottenstette, N., Antsaklis, P., Gupta, V., Goodwine, B., Baras, J.: Toward a science of cyber-physical system integration. Proc. IEEE 100(1), 29\u201344 (2012)","journal-title":"Proc. IEEE"},{"issue":"1","key":"531_CR57","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10270-013-0394-9","volume":"15","author":"Michael 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) (2013)","journal-title":"Software & Systems Modeling"},{"key":"531_CR58","unstructured":"Teich, J., Sriram, S., Thiele, L., Martin, M.: Performance analysis of mixed asynchronous synchronous systems. In: Proceedings of 1994 IEEE Workshop on VLSI Signal Processing, pp. 103\u2013112. IEEE (1994)"},{"key":"531_CR59","unstructured":"The Linux Foundation. Janusgraph (2018)"},{"key":"531_CR60","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1016\/j.scico.2014.01.004","volume":"98","author":"Z Ujhelyi","year":"2015","unstructured":"Ujhelyi, Z., Bergmann, G., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., Izs\u00f3, B., R\u00e1th, I., Szatm\u00e1ri, Z., Varr\u00f3, D.: EMF-IncQuery: an integrated development environment for live model queries. Sci. Comput. Program. 98, 80\u201399 (2015)","journal-title":"Sci. Comput. Program."},{"key":"531_CR61","doi-asserted-by":"crossref","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. (2016)","DOI":"10.1007\/s10270-016-0530-4"},{"key":"531_CR62","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-319-75396-6_16","volume-title":"Graph Transformation, Specifications, and Nets","author":"D\u00e1niel Varr\u00f3","year":"2018","unstructured":"Varr\u00f3, D., Semer\u00e1th, O., Sz\u00e1rnyas, G., Horv\u00e1th, \u00c1.: Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models. Number 10800 (2018)"},{"issue":"2","key":"531_CR63","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/s10270-013-0372-2","volume":"14","author":"Gergely Varr\u00f3","year":"2013","unstructured":"Varr\u00f3, G., Deckwerth, F., Wieber, M., Sch\u00fcrr, A.: An algorithm for generating model-sensitive search plans for pattern matching on EMF models. Softw. Syst. Model. 597\u2013621 (2015)","journal-title":"Software & Systems Modeling"},{"issue":"4","key":"531_CR64","first-page":"18","volume":"8","author":"T Vogel","year":"2014","unstructured":"Vogel, T., Giese, H.: Model-driven engineering of self-adaptive software with EUREMA. ACM Trans. Auton. Adapt. Syst. (TAAS) 8(4), 18 (2014)","journal-title":"ACM Trans. Auton. Adapt. Syst. (TAAS)"},{"key":"531_CR65","first-page":"460","volume-title":"Lecture Notes in Computer Science","author":"Andr\u00e1s V\u00f6r\u00f6s","year":"2018","unstructured":"V\u00f6r\u00f6s, A., B\u00far, M., R\u00e1th, I., Horv\u00e1th, \u00c1., Micskei, Z., Balogh, L., Hegyi, B., Horv\u00e1th, B., M\u00e1zl\u00f3, Z., Varr\u00f3, D.: MoDeS3: model-based demonstrator for smart and safe cyber-physical systems. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10811 LNCS, pp. 460\u2013467 (2018)"},{"issue":"3","key":"531_CR66","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/131295.131299","volume":"35","author":"DS Warren","year":"1992","unstructured":"Warren, D.S.: Memoing for logic programs. Commun. ACM 35(3), 93\u2013111 (1992)","journal-title":"Commun. ACM"},{"key":"531_CR67","unstructured":"Yakindu Statechart Tools. Yakindu. \nhttp:\/\/statecharts.org\/"},{"key":"531_CR68","unstructured":"Zhang, B., Mor, N., Kolb, J., Chan, D.S., Lutz, K., Allman, E., Wawrzynek, J., Lee, E.A., Kubiatowicz, J.: The cloud is not enough: saving IoT from the cloud. In: 7th USENIX Workshop on Hot Topics in Cloud Computing (2015)"},{"key":"531_CR69","doi-asserted-by":"crossref","unstructured":"Zheng, X., Julien, C., Podorozhny, R., Cassez, F., Rakotoarivelo, T.: Efficient and scalable runtime monitoring for cyberphysical system. IEEE Syst. J. 1\u201312 (2016)","DOI":"10.1109\/JSYST.2016.2614599"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-019-00531-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-019-00531-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-019-00531-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,24]],"date-time":"2020-09-24T23:59:46Z","timestamp":1600991986000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-019-00531-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,26]]},"references-count":69,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,2]]}},"alternative-id":["531"],"URL":"https:\/\/doi.org\/10.1007\/s10009-019-00531-5","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,9,26]]},"assertion":[{"value":"26 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}