{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:55:06Z","timestamp":1760586906340,"version":"3.41.0"},"reference-count":71,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T00:00:00Z","timestamp":1530748800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100006012","name":"Christian Doppler Forschungsgesellschaft","doi-asserted-by":"publisher","award":["CDL MEVSS","CDL MEVSS"],"award-info":[{"award-number":["CDL MEVSS","CDL MEVSS"]}],"id":[{"id":"10.13039\/501100006012","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["J3998-N31"],"award-info":[{"award-number":["J3998-N31"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1007\/s10515-018-0241-x","type":"journal-article","created":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T03:08:46Z","timestamp":1530760126000},"page":"875-915","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Developing and evolving a DSL-based approach for runtime monitoring of systems of systems"],"prefix":"10.1007","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3862-1112","authenticated-orcid":false,"given":"Rick","family":"Rabiser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Thanhofer-Pilisch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Vierhauser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Gr\u00fcnbacher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,5]]},"reference":[{"key":"241_CR1","doi-asserted-by":"crossref","unstructured":"Aktug, I., Dam, M., Gurov, D.: Provably correct runtime monitoring. In: Formal Methods (FM\u201908), pp. 262\u2013277. Springer (2008)","DOI":"10.1007\/978-3-540-68237-0_19"},{"key":"241_CR2","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.jss.2014.11.051","volume":"101","author":"D Albuquerque","year":"2015","unstructured":"Albuquerque, D., Cafeo, B., Garcia, A., Barbosa, S., Abrah\u00e3o, S., Ribeiro, A.: Quantifying usability of domain-specific languages: an empirical study on software maintenance. J. Syst. Softw. 101, 245\u2013259 (2015)","journal-title":"J. Syst. Softw."},{"issue":"7","key":"241_CR3","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1109\/TSE.2015.2398877","volume":"41","author":"M Autili","year":"2015","unstructured":"Autili, M., Grunske, L., Lumpe, M., Pelliccione, P., Tang, A.: Aligning qualitative, real-time, and probabilistic property specification patterns using a structured English grammar. IEEE Trans. Softw. Eng. 41(7), 620\u2013638 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"241_CR4","doi-asserted-by":"crossref","unstructured":"Baresi, L., Guinea, S.: Event-based multi-level service monitoring. In: Proceedings of the 20th International Conference on Web Services, pp. 83\u201390. IEEE (2013)","DOI":"10.1109\/ICWS.2013.21"},{"key":"241_CR5","doi-asserted-by":"crossref","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Monitoring of real-time properties. In: Foundations of Software Technology and Theoretical Computer Science, pp. 260\u2013272. Springer (2006)","DOI":"10.1007\/11944836_25"},{"key":"241_CR6","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Calabr\u00f2, A., Lonetti, F., Di\u00a0Marco, A., Sabetta, A.: Towards a model-driven infrastructure for runtime monitoring. In: Software Engineering for Resilient Systems, pp. 130\u2013144. Springer (2011)","DOI":"10.1007\/978-3-642-24124-6_13"},{"key":"241_CR7","doi-asserted-by":"crossref","unstructured":"Bubak, M., Funika, W., Smetek, M., Kilia\u0144ski, Z., Wism\u00fcller, R.: Event handling in the J-OCM monitoring system. In: Parallel Processing and Applied Mathematics, pp. 344\u2013351. Springer (2004)","DOI":"10.1007\/978-3-540-24669-5_45"},{"key":"241_CR8","doi-asserted-by":"crossref","unstructured":"Bures, T., Hnetynka, P., Plasil, F.: Strengthening architectures of smart CPS by modeling them as runtime product-lines. In: Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering, pp. 91\u201396. ACM (2014)","DOI":"10.1145\/2602458.2602478"},{"key":"241_CR9","doi-asserted-by":"crossref","unstructured":"Cailliau, A., van Lamsweerde, A.: Runtime monitoring and resolution of probabilistic obstacles to system goals. In: 2017 IEEE\/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 1\u201311. IEEE (2017)","DOI":"10.1109\/SEAMS.2017.5"},{"issue":"9","key":"241_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/2330667.2330686","volume":"55","author":"R Calinescu","year":"2012","unstructured":"Calinescu, R., Ghezzi, C., Kwiatkowska, M.Z., Mirandola, R.: Self-adaptive software needs quantitative verification at runtime. Commun. ACM 55(9), 69\u201377 (2012)","journal-title":"Commun. ACM"},{"key":"241_CR11","doi-asserted-by":"crossref","unstructured":"Cazzola, W., Poletti, D.: DSL evolution through composition. In: Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution, pp. 6:1\u20136:6. ACM (2010)","DOI":"10.1145\/1890683.1890689"},{"key":"241_CR12","doi-asserted-by":"crossref","unstructured":"Chen, F., d\u2019Amorim, M., Ro\u015fu, G.: A formal monitoring-based framework for software development and analysis. In: Formal Methods and Software Engineering, pp. 357\u2013372. Springer (2004)","DOI":"10.1007\/978-3-540-30482-1_31"},{"key":"241_CR13","doi-asserted-by":"crossref","unstructured":"De\u00a0Geest, G., Vermolen, S., Van\u00a0Deursen, A., Visser, E.: Generating version convertors for domain-specific languages. In: Proceedings of the 15th Working Conference on Reverse Engineering, pp. 197\u2013201. IEEE (2008)","DOI":"10.1109\/WCRE.2008.50"},{"key":"241_CR14","doi-asserted-by":"crossref","unstructured":"Degueule, T., Combemale, B., Blouin, A., Barais, O.: Reusing legacy DSLs with melange. In: Proceedings of the Workshop on Domain-Specific Modeling, pp. 45\u201346. ACM (2015)","DOI":"10.1145\/2846696.2846697"},{"issue":"12","key":"241_CR15","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/TSE.2004.91","volume":"30","author":"N Delgado","year":"2004","unstructured":"Delgado, N., Gates, A.Q., Roach, S.: A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Trans. Softw. Eng. 30(12), 859\u2013872 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"241_CR16","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the International Conference on Software Engineering, pp. 411\u2013420. IEEE (1999)","DOI":"10.1145\/302405.302672"},{"key":"241_CR17","doi-asserted-by":"crossref","unstructured":"Egyed, A.: Instant consistency checking for the UML. In: Proceedings of the 28th International Conference on Software Engineering, pp. 381\u2013390. ACM (2006)","DOI":"10.1145\/1134285.1134339"},{"key":"241_CR18","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.jss.2014.02.022","volume":"93","author":"H Eichelberger","year":"2014","unstructured":"Eichelberger, H., Schmid, K.: Flexible resource monitoring of Java programs. J. Syst. Softw. 93, 163\u2013186 (2014)","journal-title":"J. Syst. Softw."},{"key":"241_CR19","doi-asserted-by":"crossref","unstructured":"Fickas, S., Feather, M.S.: Requirements monitoring in dynamic environments. In: Proceedings of the 2nd IEEE International Symposium on Requirements Engineering, pp. 140\u2013147. IEEE (1995)","DOI":"10.1109\/ISRE.1995.512555"},{"key":"241_CR20","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Mocci, A., Sangiorgio, M.: Runtime monitoring of component changes with Spy@Runtime. In: 34th International Conference on Software Engineering, pp. 1403\u20131406. IEEE (2012)","DOI":"10.1109\/ICSE.2012.6227237"},{"key":"241_CR21","doi-asserted-by":"crossref","unstructured":"Gunadi, H., Tiu, A.: Efficient runtime monitoring with metric temporal logic: a case study in the Android operating system. In: Proceedings Formal Methods 2014, pp. 296\u2013311. Springer (2014)","DOI":"10.1007\/978-3-319-06410-9_21"},{"key":"241_CR22","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/978-3-642-04425-0_33","volume-title":"Model Driven Engineering Languages and Systems","author":"F Hermans","year":"2009","unstructured":"Hermans, F., Pinzger, M., van Deursen, A.: Domain-specific languages in practice: a user study on the success factors. In: Sch\u00fcrr, A., Selic, B. (eds.) Model Driven Engineering Languages and Systems, pp. 423\u2013437. Springer, Berlin (2009)"},{"key":"241_CR23","doi-asserted-by":"crossref","unstructured":"Izquierdo, J.L.C., Cabot, J.: Community-driven language development. In: Proceedings of the 2012 4th International Workshop on Modeling in Software Engineering, pp. 29\u201335 (2012)","DOI":"10.1109\/MISE.2012.6226011"},{"issue":"2","key":"241_CR24","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.entcs.2006.10.004","volume":"164","author":"E Juergens","year":"2006","unstructured":"Juergens, E., Pizka, M.: The language evolver lever\u2014tool demonstration. Electr. Notes Theor. Comput. Sci. 164(2), 55\u201360 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"3 and 4","key":"241_CR25","first-page":"256","volume":"4","author":"T Kanstr\u00e9n","year":"2011","unstructured":"Kanstr\u00e9n, T.: A systematic review and taxonomy of runtime invariance in software behaviour. Int. J. Adv. Softw. 4(3 and 4), 256\u2013274 (2011)","journal-title":"Int. J. Adv. Softw."},{"issue":"2","key":"241_CR26","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1023\/B:FORM.0000017719.43755.7c","volume":"24","author":"M Kim","year":"2004","unstructured":"Kim, M., Viswanathan, M., Kannan, S., Lee, I., Sokolsky, O.: Java-MaC: a run-time assurance approach for Java programs. Form. Methods Syst. Des. 24(2), 129\u2013155 (2004)","journal-title":"Form. Methods Syst. Des."},{"key":"241_CR27","doi-asserted-by":"crossref","unstructured":"Kiviluoma, K., Koskinen, J., Mikkonen, T.: Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects. In: Proceedings of the 2006 International Symposium on Software Testing and Analysis, pp. 181\u2013190. ACM (2006)","DOI":"10.1145\/1146238.1146259"},{"key":"241_CR28","doi-asserted-by":"crossref","unstructured":"Krismayer, T., Rabiser, R., Gr\u00fcnbacher, P.: Mining constraints for event-based monitoring in systems of systems. In: Proceedings of the 32nd IEEE\/ACM International Conference on Automated Software Engineering, pp. 826\u2013831. IEEE (2017)","DOI":"10.1109\/ASE.2017.8115693"},{"key":"241_CR29","volume-title":"Event Processing for Business: Organizing the Real-Time Enterprise","author":"DC Luckham","year":"2011","unstructured":"Luckham, D.C.: Event Processing for Business: Organizing the Real-Time Enterprise. Wiley, New York (2011)"},{"key":"241_CR30","unstructured":"Ludwig, T., Wismueller, R., Sundcram, V., Bode, A.: OMIS: On-line Monitoring Interface Specification (v. 2.0). Technical report TUM-I9733, Technische Universit\u00e4t M\u00fcnchen (1997)"},{"issue":"1","key":"241_CR31","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/MS.2013.10","volume":"30","author":"N Maiden","year":"2013","unstructured":"Maiden, N.: Monitoring our requirements. IEEE Softw. 30(1), 16\u201317 (2013)","journal-title":"IEEE Softw."},{"issue":"4","key":"241_CR32","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D","volume":"1","author":"MW Maier","year":"1998","unstructured":"Maier, M.W.: Architecting principles for systems-of-systems. Syst. Eng. 1(4), 267\u2013284 (1998)","journal-title":"Syst. Eng."},{"issue":"6","key":"241_CR33","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/65.244791","volume":"7","author":"M Mansouri-Samani","year":"1993","unstructured":"Mansouri-Samani, M., Sloman, M.: Monitoring distributed systems. IEEE Netw. 7(6), 20\u201330 (1993)","journal-title":"IEEE Netw."},{"issue":"12","key":"241_CR34","doi-asserted-by":"publisher","first-page":"1223","DOI":"10.1016\/j.scico.2011.01.002","volume":"76","author":"B Meyers","year":"2011","unstructured":"Meyers, B., Vangheluwe, H.: A framework for evolution of modelling languages. Sci. Comput. Program. 76(12), 1223\u20131246 (2011)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"241_CR35","first-page":"17:1","volume":"5","author":"M Montali","year":"2014","unstructured":"Montali, M., Maggi, F.M., Chesani, F., Mello, P., van\u00a0der Aalst, W.M.: Monitoring business constraints with the event calculus. ACM Trans. Intell. Syst. Technol. 5(1), 17:1\u201317:30 (2014)","journal-title":"ACM Trans. Intell. Syst. Technol."},{"key":"241_CR36","doi-asserted-by":"crossref","unstructured":"Muccini, H., Polini, A., Ricci, F., Bertolino, A.: Monitoring architectural properties in dynamic component-based systems. In: Component-Based Software Engineering, LNCS 4608, pp. 124\u2013139. Springer (2007)","DOI":"10.1007\/978-3-540-73551-9_9"},{"issue":"2","key":"241_CR37","doi-asserted-by":"publisher","first-page":"18:1","DOI":"10.1145\/2794381","volume":"48","author":"CB Nielsen","year":"2015","unstructured":"Nielsen, C.B., Larsen, P.G., Fitzgerald, J., Woodcock, J., Peleska, J.: Systems of systems engineering: basic concepts, model-based techniques, and research directions. ACM Comput. Surv. 48(2), 18:1\u201318:41 (2015)","journal-title":"ACM Comput. Surv."},{"key":"241_CR38","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.procs.2015.09.223","volume":"68","author":"N Nikolov","year":"2015","unstructured":"Nikolov, N., Rossini, A., Kritikos, K.: Integration of DSLs and migration of models: a case study in the cloud computing domain. Procedia Comput. Sci. 68, 53\u201366 (2015)","journal-title":"Procedia Comput. Sci."},{"key":"241_CR39","doi-asserted-by":"crossref","unstructured":"Paschke, A.: RBSLA\u2014a declarative rule-based service level agreement language based on RuleML. In: International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce, vol. 2, pp. 308\u2013314. IEEE (2005)","DOI":"10.1109\/CIMCA.2005.1631486"},{"key":"241_CR40","doi-asserted-by":"crossref","unstructured":"Pizka, M., Jurgens, E.: Automating language evolution. In: Proceedings of the 1st Joint IEEE\/IFIP Symposium on Theoretical Aspects of Software Engineering, pp. 305\u2013315. IEEE (2007)","DOI":"10.1109\/TASE.2007.13"},{"key":"241_CR41","doi-asserted-by":"crossref","unstructured":"Rabiser, R., Vierhauser, M., Gr\u00fcnbacher, P.: Assessing the usefulness of a requirements monitoring tool: a study involving industrial software engineers. In: Proceedings of the 38th International Conference on Software Engineering, Companion, pp. 122\u2013131. ACM (2016)","DOI":"10.1145\/2889160.2889234"},{"key":"241_CR42","doi-asserted-by":"crossref","unstructured":"Rabiser, R., Vierhauser, M., Gr\u00fcnbacher, P.: Variability management for a runtime monitoring infrastructure. In: Proceedings of the 9th International Workshop on Variability Modelling of Software-Intensive Systems, pp. 35\u201342. ACM (2015)","DOI":"10.1145\/2701319.2701330"},{"issue":"March","key":"241_CR43","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.jss.2016.12.034","volume":"125","author":"R Rabiser","year":"2017","unstructured":"Rabiser, R., Guinea, S., Vierhauser, M., Baresi, L., Gr\u00fcnbacher, P.: A comparison framework for runtime monitoring approaches. J. Syst. Softw. 125(March), 309\u2013321 (2017)","journal-title":"J. Syst. Softw."},{"issue":"1","key":"241_CR44","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/s00766-005-0016-3","volume":"11","author":"WN Robinson","year":"2006","unstructured":"Robinson, W.N.: A requirements monitoring framework for enterprise systems. Requir. Eng. 11(1), 17\u201341 (2006)","journal-title":"Requir. Eng."},{"issue":"1","key":"241_CR45","first-page":"1","volume":"9","author":"WN Robinson","year":"2008","unstructured":"Robinson, W.N.: Extended OCL for goal monitoring. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 9(1), 1\u201312 (2008)","journal-title":"Electron. Commun. Eur. Assoc. Softw. Sci. Technol."},{"key":"241_CR46","doi-asserted-by":"crossref","unstructured":"Sammapun, U., Lee, I., Sokolsky, O.: RT-MaC: runtime monitoring and checking of quantitative and probabilistic properties. In: Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp. 147\u2013153. IEEE (2005)","DOI":"10.1109\/RTCSA.2005.84"},{"key":"241_CR47","doi-asserted-by":"crossref","unstructured":"Schmidt, M., Wider, A., Scheidgen, M., Fischer, J., von Klinski, S.: Refactorings in language development with asymmetric bidirectional model transformations. In: Proceedings of the 16th International SDL Forum on Model-Driven Dependability Engineering, pp. 222\u2013238. Springer (2013)","DOI":"10.1007\/978-3-642-38911-5_13"},{"key":"241_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11580850","volume-title":"Trustworthy Global Computing","year":"2005","unstructured":"Skene, J., Emmerich, W.: Engineering runtime requirements-monitoring systems using MDA technologies. In: Nicola, R.D., Sangiorgi, D. (eds.) Trustworthy Global Computing, pp. 319\u2013333. Springer (2005). https:\/\/doi.org\/10.1007\/11580850"},{"key":"241_CR49","series-title":"Advances in Information Security","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-88775-3","volume-title":"Security and Dependability for Ambient Intelligence","year":"2009","unstructured":"Spanoudakis, G., Kloukinas, C., Mahbub, K.: The SERENITY runtime monitoring framework. In: Kokolakis, S., G\u00f3mez, A.M., Spanoudakis, G. (eds.) Security and Dependability for Ambient Intelligence, pp. 213\u2013237. Springer (2009). https:\/\/doi.org\/10.1007\/978-0-387-88775-3"},{"issue":"1","key":"241_CR50","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S0164-1212(00)00089-3","volume":"56","author":"D Spinellis","year":"2001","unstructured":"Spinellis, D.: Notable design patterns for domain-specific languages. J. Syst. Softw. 56(1), 91\u201399 (2001)","journal-title":"J. Syst. Softw."},{"key":"241_CR51","doi-asserted-by":"crossref","unstructured":"Thanhofer-Pilisch, J., Lang, A., Vierhauser, M., Rabiser, R.: A systematic mapping study on DSL evolution. In: Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, pp. 149\u2013156. IEEE (2017)","DOI":"10.1109\/SEAA.2017.25"},{"key":"241_CR52","doi-asserted-by":"crossref","unstructured":"van den Bos, J., van der Storm, T.: A case study in evidence-based DSL evolution. In: Proceedings of the 9th European Conference on Modelling Foundations and Applications, pp. 207\u2013219. Springer (2013)","DOI":"10.1007\/978-3-642-39013-5_15"},{"issue":"6","key":"241_CR53","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/352029.352035","volume":"35","author":"A Deursen Van","year":"2000","unstructured":"Van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. ACM SIGPLAN Not. 35(6), 26\u201336 (2000)","journal-title":"ACM SIGPLAN Not."},{"key":"241_CR54","doi-asserted-by":"crossref","unstructured":"van Hoorn, A., Waller, J., Hasselbring, W.: Kieker: A framework for application performance monitoring and dynamic software analysis. In: Proceedings of the 3rd Joint International Conference on Performance Engineering, pp. 247\u2013248. ACM (2012)","DOI":"10.1145\/2188286.2188326"},{"key":"241_CR55","volume-title":"Requirements Engineering: From System Goals to UML Models to Software Specifications","author":"A Lamsweerde van","year":"2009","unstructured":"van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, New York (2009)"},{"key":"241_CR56","doi-asserted-by":"crossref","unstructured":"Vermolen, S., Visser, E.: Heterogeneous coupled evolution of software languages. In: Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, pp. 630\u2013644. Springer (2008)","DOI":"10.1007\/978-3-540-87875-9_44"},{"key":"241_CR57","doi-asserted-by":"crossref","unstructured":"Vierhauser, M., Gr\u00fcnbacher, P., Egyed, A., Rabiser, R., Heider, W.: Flexible and scalable consistency checking on product line variability models. In: Proceedings of the International Conference on Automated Software Engineering, pp. 63\u201372. ACM (2010)","DOI":"10.1145\/1858996.1859009"},{"key":"241_CR58","doi-asserted-by":"crossref","unstructured":"Vierhauser, M., Gr\u00fcnbacher, P., Heider, W., Holl, G., Lettner, D.: Applying a consistency checking framework for heterogeneous models and artifacts in industrial product lines. In: Model Driven Engineering Languages and Systems, pp. 531\u2013545. Springer (2012)","DOI":"10.1007\/978-3-642-33666-9_34"},{"key":"241_CR59","doi-asserted-by":"crossref","unstructured":"Vierhauser, M., Rabiser, R., Cleland-Huang, J.: From requirements monitoring to diagnosis support in system of systems. In: Proceedings of the 23rd International Working Conference on Requirements Engineering: Foundation for Software Quality, pp. 181\u2013187. Springer (2017)","DOI":"10.1007\/978-3-319-54045-0_14"},{"key":"241_CR60","doi-asserted-by":"crossref","unstructured":"Vierhauser, M., Rabiser, R., Gr\u00fcnbacher, P., Egyed, A.: Developing a DSL-based approach for event-based monitoring of systems of systems: experiences and lessons learned. In: Proceedings of the 30th IEEE\/ACM International Conference on Automated Software Engineering, pp. 715\u2013725. IEEE (2015)","DOI":"10.1109\/ASE.2015.25"},{"key":"241_CR61","doi-asserted-by":"crossref","unstructured":"Vierhauser, M., Rabiser, R., Gr\u00fcnbacher, P.: A case study on testing, commissioning, and operation of very-large-scale software systems. In: Proceedings of the 36th International Conference on Software Engineering, Companion, pp. 125\u2013134. ACM (2012)","DOI":"10.1145\/2591062.2591179"},{"key":"241_CR62","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.infsof.2016.08.005","volume":"80","author":"M Vierhauser","year":"2016","unstructured":"Vierhauser, M., Rabiser, R., Gr\u00fcnbacher, P.: Requirements monitoring frameworks: a systematic review. Inf. Softw. Technol. 80, 89\u2013109 (2016a)","journal-title":"Inf. Softw. Technol."},{"key":"241_CR63","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/j.jss.2015.07.008","volume":"112","author":"M Vierhauser","year":"2016","unstructured":"Vierhauser, M., Rabiser, R., Gr\u00fcnbacher, P., Seyerlehner, K., Wallner, S., Zeisel, H.: ReMinds: a flexible runtime monitoring framework for systems of systems. J. Syst. Softw. 112, 123\u2013136 (2016b)","journal-title":"J. Syst. Softw."},{"key":"241_CR64","doi-asserted-by":"crossref","unstructured":"Viswanathan, M., Kim, M.: Foundations for the run-time monitoring of reactive systems\u2014fundamentals of the MaC language. In: Liu, Z., Araki, K. (eds.) Theoretical Aspects of Computing, 1st International ICTAC Colloquium, (Revised Selected Papers), Lecture Notes in Computer Science 3407, pp. 543\u2013556. Springer (2005)","DOI":"10.1007\/978-3-540-31862-0_38"},{"key":"241_CR65","doi-asserted-by":"crossref","unstructured":"Voelter, M., Visser, E.: Product line engineering using domain-specific languages. In: Proceedings of the 15th International Software Product Line Conference, IEEE CS, pp. 70\u201379 (2011)","DOI":"10.1109\/SPLC.2011.25"},{"key":"241_CR66","doi-asserted-by":"crossref","unstructured":"V\u00f6lz, M., Koldehofe, B., Rothermel, K.: Supporting strong reliability for distributed complex event processing systems. In: Proceedings of the 13th International Conference on High Performance Computing & Communication, pp. 477\u2013486. IEEE (2011)","DOI":"10.1109\/HPCC.2011.69"},{"issue":"2","key":"241_CR67","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/s00766-010-0101-0","volume":"15","author":"J Whittle","year":"2010","unstructured":"Whittle, J., Sawyer, P., Bencomo, N., Cheng, B., Bruel, J.M.: RELAX: a language to address uncertainty in self-adaptive systems requirement. Requir. Eng. 15(2), 177\u2013196 (2010)","journal-title":"Requir. Eng."},{"issue":"1","key":"241_CR68","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/s00766-005-0021-6","volume":"11","author":"R Wieringa","year":"2006","unstructured":"Wieringa, R., Maiden, N., Mead, N., Rolland, C.: Requirements engineering paper classification and evaluation criteria: a proposal and a discussion. Requir. Eng. 11(1), 102\u2013107 (2006)","journal-title":"Requir. Eng."},{"key":"241_CR69","doi-asserted-by":"crossref","unstructured":"Zhang, P., Li, B., Muccini, H., Sun, M.: An approach to monitor scenario-based temporal properties in Web service compositions. In: Advanced Web and Network Technologies, and Applications, pp. 144\u2013154. Springer (2008)","DOI":"10.1007\/978-3-540-89376-9_14"},{"issue":"7","key":"241_CR70","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1002\/spe.1038","volume":"41","author":"P Zhang","year":"2011","unstructured":"Zhang, P., Li, W., Wan, D., Grunske, L.: Monitoring of probabilistic timed property sequence charts. Softw. Pract. Exp. 41(7), 841\u2013866 (2011)","journal-title":"Softw. Pract. Exp."},{"key":"241_CR71","doi-asserted-by":"crossref","unstructured":"Zschaler, S., Kolovos, D.S., Drivalos, N., Paige, R.F., Rashid, A.: Domain-specific metamodelling languages for software language engineering. In: Proceedings of the 2nd International Conference on Software Language Engineering, pp. 334\u2013353. Springer (2009)","DOI":"10.1007\/978-3-642-12107-4_23"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-018-0241-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-018-0241-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-018-0241-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T15:34:18Z","timestamp":1751729658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-018-0241-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,5]]},"references-count":71,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["241"],"URL":"https:\/\/doi.org\/10.1007\/s10515-018-0241-x","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2018,7,5]]},"assertion":[{"value":"13 December 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 June 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 July 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}