{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:16:51Z","timestamp":1759033011648,"version":"3.37.3"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2020,1,22]],"date-time":"2020-01-22T00:00:00Z","timestamp":1579651200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,22]],"date-time":"2020-01-22T00:00:00Z","timestamp":1579651200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2020,7]]},"DOI":"10.1007\/s10270-020-00780-y","type":"journal-article","created":{"date-parts":[[2020,1,22]],"date-time":"2020-01-22T18:03:19Z","timestamp":1579716199000},"page":"959-981","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["A model-based architecture for interactive run-time monitoring"],"prefix":"10.1007","volume":"19","author":[{"given":"Nicolas","family":"Hili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mojtaba","family":"Bagherzadeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karim","family":"Jahed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,1,22]]},"reference":[{"key":"780_CR1","first-page":"1","volume-title":"Foundations of Object-Oriented Languages","author":"G Agha","year":"1990","unstructured":"Agha, G.: The structure and semantics of actor languages. Foundations of Object-Oriented Languages, pp. 1\u201359. REX School\/Workshop, Noordwijkerhout (1990)"},{"key":"780_CR2","unstructured":"Ahmadi, R., Hili, N., Jweda, L., Das, N., Ganesan, S., Dingel, J.: Run-time monitoring of a rover: MDE research with open source software and low-cost hardware. In: Workshop on Open Source for Model Driven Engineering (OSS4MDE\u201916) (2016)"},{"key":"780_CR3","doi-asserted-by":"crossref","unstructured":"Bagherzadeh, M., Hili, N., Dingel, J.: Model-level, platform-independent debugging in the context of the model-driven development of real-time systems. In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ACM, pp. 419\u2013430 (2017)","DOI":"10.1145\/3106237.3106278"},{"key":"780_CR4","doi-asserted-by":"crossref","unstructured":"Bagherzadeh, M., Hili, N., Seekatz, D., Dingel, J.: MDebugger: a model-level debugger for UML-RT. In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceedings, ACM, pp. 97\u2013100 (2018)","DOI":"10.1145\/3183440.3183473"},{"key":"780_CR5","doi-asserted-by":"crossref","unstructured":"Balasubramanian, J., Tambe, S., Lu, C., Gokhale, A., Gill, C., Schmidt, D.C.: Adaptive failover for real-time middleware with passive replication. In: 15th IEEE Symposium on Real-Time and Embedded Technology and Applications, IEEE, pp. 118\u2013127 (2009)","DOI":"10.1109\/RTAS.2009.36"},{"key":"780_CR6","doi-asserted-by":"crossref","unstructured":"Besnard, V., Teodorov, C., Jouault, F., Brun, M., Dhaussy, P.: Verifying and monitoring UML models with observer automata. In: Model-Driven Engineering Languages and Systems (MODELS\u201919) (2019)","DOI":"10.1109\/MODELS.2019.000-5"},{"issue":"6","key":"780_CR7","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/2830719.2830736","volume":"40","author":"T Bures","year":"2015","unstructured":"Bures, T., Weyns, D., Berger, C., Biffl, S., Daun, M., Gabor, T., Garlan, D., Gerostathopoulos, I., Julien, C., Krikava, F., Mordinyi, R., Pronios, N.: Software engineering for smart cyber-physical systems\u2013towards a research agenda: report on the first international workshop on software engineering for smart CPS. SIGSOFT Softw. Eng. Notes 40(6), 28\u201332 (2015)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"780_CR8","doi-asserted-by":"crossref","unstructured":"Cassar, I., Francalanza, A., Aceto, L., Ing\u00f3lfsd\u00f3ttir, A.: A survey of runtime monitoring instrumentation techniques. In: Francalanza, A., Pace, G.J. (eds.) Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, Torino, Italy, 19 September 2017, Open Publishing Association, Electronic Proceedings in Theoretical Computer Science, vol. 254, pp. 15\u201328 (2017). https:\/\/doi.org\/10.4204\/EPTCS.254.2","DOI":"10.4204\/EPTCS.254.2"},{"key":"780_CR9","first-page":"546","volume-title":"Java-MOP: A Monitoring Oriented Programming Environment for Java","author":"F Chen","year":"2005","unstructured":"Chen, F., Ro\u015fu, G.: Java-MOP: A Monitoring Oriented Programming Environment for Java, pp. 546\u2013550. Springer, Berlin (2005)"},{"key":"780_CR10","doi-asserted-by":"crossref","unstructured":"Ciccozzi, F., Spalazzese, R.: MDE4IoT: supporting the internet of things with model-driven engineering. In: International Symposium on Intelligent and Distributed Computing, Springer, pp. 67\u201376 (2016)","DOI":"10.1007\/978-3-319-48829-5_7"},{"key":"780_CR11","unstructured":"Combemale, B., Cr\u00e9gut, X., Giacometti, J.P., Michel, P., Pantel, M.: Introducing simulation and model animation in the MDE topcased toolkit. In: 4th European Congress on Embedded Real Time Software (ERTS\u201908) (2008)"},{"key":"780_CR12","doi-asserted-by":"crossref","unstructured":"Costa B, Pires PF, Delicato FC, Li W, Zomaya AY (2016) Design and Analysis of IoT Applications: A Model-Driven Approach. In: Dependable, Autonomic and Secure Computing, 14th Intl Conf on Pervasive Intelligence and Computing, 2nd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress (DASC\/PiCom\/DataCom\/CyberSciTech), 2016 IEEE 14th Intl C, IEEE, pp 392\u2013399","DOI":"10.1109\/DASC-PICom-DataCom-CyberSciTec.2016.81"},{"key":"780_CR13","doi-asserted-by":"crossref","unstructured":"Costa, B., Pires, P.F., Delicato, F.C., Li, W., Zomaya, A.Y.: Design and analysis of iot applications: a model-driven approach. In: Dependable, Autonomic and Secure Computing, 14th International Conference on Pervasive Intelligence and Computing, 2nd International Conference on Big Data Intelligence and Computing and Cyber Science and Technology Congress (DASC\/PiCom\/DataCom\/CyberSciTech), 2016 IEEE 14th International Conference, IEEE, pp. 392\u2013399 (2016)","DOI":"10.1109\/DASC-PICom-DataCom-CyberSciTec.2016.81"},{"key":"780_CR14","first-page":"209","volume":"2006","author":"M Desnoyers","year":"2006","unstructured":"Desnoyers, M., Dagenais, M.: LTTng tracer: a low impact performance and behavior monitor for GNU\/Linux. OLS (Ott. Linux Symp.) 2006, 209\u2013224 (2006)","journal-title":"OLS (Ott. Linux Symp.)"},{"key":"780_CR15","unstructured":"Eclipse Foundation: Papyrus: Moka overview. (2016). http:\/\/wiki.eclipse.org\/Papyrus\/UserGuide\/ModelExecution. Accessed 17 Nov 2019"},{"issue":"2","key":"780_CR16","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s10009-005-0213-x","volume":"8","author":"S Graf","year":"2006","unstructured":"Graf, S., Ober, I., Ober, I.: A real-time profile for UML. Int. J. Softw. Tools Technol. Transf. 8(2), 113\u2013127 (2006). https:\/\/doi.org\/10.1007\/s10009-005-0213-x","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"4","key":"780_CR17","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1109\/2.585156","volume":"30","author":"R Guerraoui","year":"1997","unstructured":"Guerraoui, R., Schiper, A.: Software-based replication for fault tolerance. Computer 30(4), 68\u201374 (1997)","journal-title":"Computer"},{"key":"780_CR18","unstructured":"Hili, N., Posse, E., Dingel, J.: Calur: an action language for UML-RT. In: 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018) (2018)"},{"issue":"3","key":"780_CR19","first-page":"56","volume":"15","author":"B Hu","year":"2016","unstructured":"Hu, B., Huang, K., Chen, G., Cheng, L., Knoll, A.: Evaluation and improvements of runtime monitoring methods for real-time event streams. ACM Trans. Embed. Comput. Syst. (TECS) 15(3), 56 (2016)","journal-title":"ACM Trans. Embed. Comput. Syst. (TECS)"},{"key":"780_CR20","unstructured":"IBM: Rational software architect realtime edition (RSARTE): C++ RT services library. (2016). https:\/\/www.ibm.com\/developerworks\/community\/wikis\/form\/anonymous\/api\/wiki\/b7da455c-5c51-4706-91c9-dcca9923c303\/page\/325220ca-b17d-4ea6-b382-4c704dbad0af\/attachment\/46c3438c-25d8-43ce-be22-730e46601365\/media\/RT"},{"key":"780_CR21","unstructured":"IBM: IBM rational rhapsody. http:\/\/www-03.ibm.com\/software\/products\/en\/ratirhapfami. Accessed 19 July 2016"},{"key":"780_CR22","doi-asserted-by":"crossref","unstructured":"Kahani, N., Hili, N., Cordy, J.R., Dingel, J.: Evaluation of UML-RT and papyrus-RT for modelling self-adaptive systems. In: Proceedings of the 9th International Workshop on Modelling in Software Engineering, IEEE Press, pp. 12\u201318 (2017)","DOI":"10.1109\/MiSE.2017.4"},{"issue":"4","key":"780_CR23","doi-asserted-by":"publisher","first-page":"2361","DOI":"10.1007\/s10270-018-0665-6","volume":"18","author":"N Kahani","year":"2019","unstructured":"Kahani, N., Bagherzadeh, M., Cordy, J.R., Dingel, J., Varr\u00f3, D.: Survey and classification of model transformation tools. Softw. Syst. Model. 18(4), 2361\u20132397 (2019). https:\/\/doi.org\/10.1007\/s10270-018-0665-6","journal-title":"Softw. Syst. Model."},{"key":"780_CR24","unstructured":"Kim, M., Viswanathan, M., Ben-Abdallah, H., Kannan, S., Lee, I., Sokolsky, O.: Formally specified monitoring of temporal properties. In: Proceedings of the 11th Euromicro Conference on Real-Time Systems, 1999. IEEE, pp. 114\u2013122 (1999)"},{"issue":"4","key":"780_CR25","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S1571-0661(04)80579-6","volume":"70","author":"M Kim","year":"2002","unstructured":"Kim, M., Lee, I., Sammapun, U., Shin, J., Sokolsky, O.: Monitoring, checking, and steering of real-time systems. Electron. Notes Theor. Comput. Sci. 70(4), 95\u2013111 (2002). https:\/\/doi.org\/10.1016\/S1571-0661(04)80579-6","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"5","key":"780_CR26","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. Algebr. Program. 78(5), 293\u2013303 (2009)","journal-title":"J. Log. Algebr. Program."},{"issue":"4","key":"780_CR27","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/S1571-0661(04)80580-2","volume":"70","author":"J Levy","year":"2002","unstructured":"Levy, J., Saidi, H., Uribe, T.E.: Combining monitors for runtime system verification. Electron. Notes Theor. Comput. Sci. 70(4), 112\u2013127 (2002)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"780_CR28","volume-title":"State Models and Java Programs","author":"J Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: State Models and Java Programs. Wiley, Amsterdam (1999)"},{"key":"780_CR29","doi-asserted-by":"crossref","unstructured":"Mayerhofer, T., Langer, P.: Moliz: a model execution framework for UML models. In: International Master Class on Model-Driven Engineering: Modeling Wizards (MW\u201912) (2012)","DOI":"10.1145\/2448076.2448079"},{"issue":"3","key":"780_CR30","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10009-011-0198-6","volume":"14","author":"PO Meredith","year":"2011","unstructured":"Meredith, P.O., Jin, D., Griffith, D., Chen, F., Ro\u015fu, G.: An overview of the MOP runtime verification framework. Int. J. Softw. Tech. Technol. Transf. 14(3), 249\u2013289 (2011). https:\/\/doi.org\/10.1007\/s10009-011-0198-6","journal-title":"Int. J. Softw. Tech. Technol. Transf."},{"key":"780_CR31","doi-asserted-by":"crossref","unstructured":"Nguyen, X.T., Tran, H.T., Baraki, H., Geihs, K.: FRASAD: a framework for model-driven IoT application development. In: 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT), IEEE, pp. 387\u2013392 (2015)","DOI":"10.1109\/WF-IoT.2015.7389085"},{"key":"780_CR32","doi-asserted-by":"crossref","unstructured":"Ober, I., Coulette, B., Lakhrissi, Y.: Behavioral modelling and composition of object slices using event observation. In: International Conference on Model Driven Engineering Languages and Systems, Springer, pp. 219\u2013233 (2008)","DOI":"10.1007\/978-3-540-87875-9_16"},{"key":"780_CR33","unstructured":"OMG: Semantics of a foundational subset for executable UML models (fUML). Standard, Object Management Group. (2016). http:\/\/www.omg.org\/spec\/FUML\/1.2.1. Accessed 17 Nov 2019"},{"key":"780_CR34","unstructured":"OMG: Precise semantics of UML state machines (PSSM) v1.0. Standard PSSM\/1.0\/Beta1, Object Management Group. (2017a). (In process). http:\/\/www.omg.org\/spec\/PSSM\/1.0\/Beta1\/. Accessed 17 Nov 2019"},{"key":"780_CR35","unstructured":"OMG: Precise semantics of UML state machines (PSSM) v1.1. Standard PSCS\/1.1, Object Management Group. (2017b). (In process) http:\/\/www.omg.org\/spec\/PSCS\/1.1\/PDF. Accessed 17 Nov 2019"},{"key":"780_CR36","unstructured":"OMG: Unified modeling language v2.5.1. Standard UML\/2.5.1\/, Object Management Group. (2017c). https:\/\/www.omg.org\/spec\/UML\/2.5.1\/PDF. Accessed 17 Nov 2019"},{"key":"780_CR37","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1016\/j.procs.2015.05.059","volume":"52","author":"P Persson","year":"2015","unstructured":"Persson, P., Angelsmark, O.: Calvin-merging cloud and IoT. Procedia Comput. Sci. 52, 210\u2013217 (2015)","journal-title":"Procedia Comput. Sci."},{"key":"780_CR38","unstructured":"Posse, E.: PapyrusRT: modelling and code generation. In: Workshop on Open Source for Model Driven Engineering (OSS4MDE\u201915) (2015)"},{"key":"780_CR39","unstructured":"Raspberry Pi Foundation: Raspberry PI 3 model b product page\u2014raspberry PI. (2016). https:\/\/raspberrypi.org\/products\/raspberry-pi-3-model-b\/. Accessed 6 June 2016"},{"issue":"1","key":"780_CR40","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-8(1:9)2012","volume":"8","author":"G Ro\u015fu","year":"2012","unstructured":"Ro\u015fu, G., Chen, F.: Semantics and algorithms for parametric monitoring. Log. Methods Comput. Sci. 8(1), 1\u201347 (2012). https:\/\/doi.org\/10.2168\/LMCS-8(1:9)2012. (short version presented at TACAS 2009)","journal-title":"Log. Methods Comput. Sci."},{"key":"780_CR41","doi-asserted-by":"crossref","unstructured":"Selic, B.: Using UML for modeling complex real-time systems. In: Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES\u201998), pp. 250\u2013260 (1998)","DOI":"10.1007\/BFb0057795"},{"issue":"2","key":"780_CR42","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1147\/sj.472.0309","volume":"47","author":"B Selic","year":"2008","unstructured":"Selic, B.: Accounting for platform effects in the design of real-time software using model-based methods. IBM Syst. J. 47(2), 309\u2013320 (2008)","journal-title":"IBM Syst. J."},{"issue":"7","key":"780_CR43","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1145\/358557.358572","volume":"25","author":"W Swartout","year":"1982","unstructured":"Swartout, W., Balzer, R.: On the inevitable intertwining of specification and implementation. Commun. ACM 25(7), 438\u2013440 (1982)","journal-title":"Commun. ACM"},{"key":"780_CR44","volume-title":"Software Architecture: Foundations, Theory, and Practice","author":"RN Taylor","year":"2009","unstructured":"Taylor, R.N., Medvidovic, N., Dashofy, E.: Software Architecture: Foundations, Theory, and Practice. Wiley, Hoboken (2009)"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00780-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-020-00780-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00780-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,21]],"date-time":"2021-01-21T00:29:02Z","timestamp":1611188942000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-020-00780-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,22]]},"references-count":44,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,7]]}},"alternative-id":["780"],"URL":"https:\/\/doi.org\/10.1007\/s10270-020-00780-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2020,1,22]]},"assertion":[{"value":"13 June 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 November 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 January 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 January 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}