{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T03:36:29Z","timestamp":1769830589227,"version":"3.49.0"},"reference-count":283,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,12,17]],"date-time":"2013-12-17T00:00:00Z","timestamp":1387238400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2016,2]]},"DOI":"10.1007\/s10270-013-0394-9","type":"journal-article","created":{"date-parts":[[2013,12,16]],"date-time":"2013-12-16T05:56:50Z","timestamp":1387173410000},"page":"31-69","source":"Crossref","is-referenced-by-count":82,"title":["Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtime"],"prefix":"10.1007","volume":"15","author":[{"given":"Michael","family":"Szvetits","sequence":"first","affiliation":[]},{"given":"Uwe","family":"Zdun","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,12,17]]},"reference":[{"key":"394_CR1","doi-asserted-by":"crossref","unstructured":"Ahmad, M.: First step towards a domain specific language for self-adaptive systems. In: New Technologies of Distributed Systems (NOTERE), 2010 10th Annual International Conference on, pp. 285\u2013290 (2010)","DOI":"10.1109\/NOTERE.2010.5536629"},{"key":"394_CR2","doi-asserted-by":"crossref","unstructured":"Ahn, Y., Yeo, I., Bettati, R.: Efficient calibration of thermal models based on application behavior. In: Proceedings of the 2009 IEEE International Conference on Computer Design ICCD\u201909, pp. 41\u201346. IEEE Press, Piscataway (2009)","DOI":"10.1109\/ICCD.2009.5413179"},{"key":"394_CR3","doi-asserted-by":"crossref","unstructured":"Alferez, G.H., Pelechano, V.: Context-aware autonomous web services in software product lines. In: Proceedings of the 2011 15th International Software Product Line Conference SPLC \u201911, pp. 100\u2013109. IEEE Computer Society, Washington, DC, USA (2011)","DOI":"10.1109\/SPLC.2011.21"},{"key":"394_CR4","doi-asserted-by":"crossref","unstructured":"Alf\u00e9rez, G.H., Pelechano, V.: Dynamic evolution of context-aware systems with models at runtime. In: Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems MODELS\u201912, pp. 70\u201386. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-33666-9_6"},{"key":"394_CR5","doi-asserted-by":"crossref","unstructured":"Alia, M., Eliassen, F., Hallsteinsen, S., Stav, E.: Madam: towards a flexible planning-based middleware. In: Proceedings of the 2006 International Workshop on Self-Adaptation and Self-Managing Systems SEAMS \u201906, pp. 96\u201396. ACM, New York (2006)","DOI":"10.1145\/1137677.1137699"},{"key":"394_CR6","doi-asserted-by":"crossref","unstructured":"Alia, M., Horn, G., Eliassen, F., Khan, M., Fricke, R., Reichle, R.: A component-based planning framework for adaptive systems. In: Meersman, R., Tari, Z. (eds.) On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE volume 4276 of Lecture Notes in Computer Science, pp. 1686\u20131704. Springer, Berlin (2006)","DOI":"10.1007\/11914952_45"},{"key":"394_CR7","doi-asserted-by":"crossref","unstructured":"Almorsy, M., Grundy, J., Ibrahim, A.S.: Mdse@r: model-driven security engineering at runtime. In: Proceedings of the 4th International Conference on Cyberspace Safety and Security CSS\u201912, pp. 279\u2013295. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-35362-8_22"},{"key":"394_CR8","doi-asserted-by":"crossref","unstructured":"Amoui, M., Derakhshanmanesh, M., Ebert, J., Tahvildari, L.: Software evolution towards model-centric runtime adaptivity. In: Proceedings of the 2011 15th European Conference on Software Maintenance and Reengineering CSMR \u201911, pp. 89\u201392. IEEE Computer Society, Washington, DC, USA (2011)","DOI":"10.1109\/CSMR.2011.14"},{"issue":"12","key":"394_CR9","doi-asserted-by":"crossref","first-page":"2720","DOI":"10.1016\/j.jss.2012.05.033","volume":"85","author":"M Amoui","year":"2012","unstructured":"Amoui, M., Derakhshanmanesh, M., Ebert, J., Tahvildari, L.: Achieving dynamic adaptation via management and interpretation of runtime models. J. Syst. Softw. 85(12), 2720\u20132737 (2012)","journal-title":"J. Syst. Softw."},{"key":"394_CR10","unstructured":"Andersen, A., Blair, G., Coulson, G.: The design and implementation of openorb v2. page n\/a (2001)"},{"key":"394_CR11","doi-asserted-by":"crossref","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Coma: conformance monitoring of java programs by abstract state machines. In: Proceedings of the Second International Conference on Runtime Verification RV\u201911, pp. 223\u2013238. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-29860-8_17"},{"key":"394_CR12","doi-asserted-by":"crossref","unstructured":"Ardagna, D., Ghezzi, C., Mirandola, R.: Rethinking the use of models in software architecture. In: Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures QoSA \u201908, pp. 1\u201327. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-87879-7_1"},{"key":"394_CR13","unstructured":"A\u00dfmann, U., Bencomo, N., Cheng, B.H.C., France, R.B.: Models@run.time (dagstuhl seminar 11481). Dagstuhl Rep. 1(11), 91\u2013123 (2011)"},{"key":"394_CR14","doi-asserted-by":"crossref","unstructured":"Avouac, P.-A., Lalanda, P., Nigay, L.: Autonomic management of multimodal interaction: dynamo in action. In: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems EICS \u201912, pp. 35\u201344. ACM, New York (2012)","DOI":"10.1145\/2305484.2305493"},{"key":"394_CR15","doi-asserted-by":"crossref","unstructured":"Bai, X., Liu, Y., Wang, L., Tsai, W.-T., Zhong, P.: Model-based monitoring and policy enforcement of services. In: Proceedings of the 2009 Congress on Services\u2014I Services \u201909, pp. 789\u2013796. IEEE Computer Society, Washington, DC, USA (2009)","DOI":"10.1109\/SERVICES-I.2009.103"},{"key":"394_CR16","doi-asserted-by":"crossref","unstructured":"Barbier, F.: Mde-based design and implementation of autonomic software components. In: Cognitive Informatics, 2006. ICCI 2006. 5th IEEE International Conference on vol. 1, pp. 163\u2013169 (2006)","DOI":"10.1109\/COGINF.2006.365692"},{"key":"394_CR17","doi-asserted-by":"crossref","unstructured":"Barbier, F., Ballagny, C.: Proved metamodels as backbone for software adaptation. In: Proceedings of the 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering, HASE \u201910, pp. 114\u2013121. IEEE Computer Society, Washington, DC, USA (2010)","DOI":"10.1109\/HASE.2010.12"},{"issue":"1","key":"394_CR18","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1093\/comjnl\/bxq042","volume":"54","author":"A Bauer","year":"2011","unstructured":"Bauer, A., J\u00fcrjens, J., Yu, Y.: Run-time security traceability for evolving systems and &#8224. Comput. J. 54(1), 58\u201387 (2011)","journal-title":"Comput. J."},{"key":"394_CR19","doi-asserted-by":"crossref","unstructured":"Beltrame, G., Sciuto, D., Silvano, C., Lyonnard, D., Pilkington, C.: Exploiting tlm and object introspection for system-level simulation. In: Proceedings of the Conference on Design, Automation and Test in Europe: Proceedings, DATE \u201906, pp. 100\u2013105, 3001 Leuven, Belgium, Belgium, European Design and Automation Association (2006)","DOI":"10.1109\/DATE.2006.244004"},{"key":"394_CR20","doi-asserted-by":"crossref","unstructured":"Bencomo, N.: On the use of software models during software execution. In: Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering MISE \u201909, pp. 62\u201367. Washington, DC, USA, IEEE Computer Society (2009)","DOI":"10.1109\/MISE.2009.5069899"},{"key":"394_CR21","doi-asserted-by":"crossref","unstructured":"Bencomo, N., Belaggoun, A.: Supporting decision-making for self-adaptive systems: from goal models to dynamic decision networks. In: Doerr, J., Opdahl, A. (eds). Requirements Engineering: Foundation for Software Quality vol. 7830 of Lecture Notes in Computer Science (pp. 221\u2013236). Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-37422-7_16"},{"key":"394_CR22","doi-asserted-by":"crossref","unstructured":"Bencomo, N., Belaggoun, A., Issarny, V.: Dynamic decision networks for decision-making in self-adaptive systems: a case study. In: Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems SEAMS \u201913, pp. 113\u2013122. IEEE Press, Piscataway (2013)","DOI":"10.1109\/SEAMS.2013.6595498"},{"issue":"3","key":"394_CR23","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/s00607-012-0224-x","volume":"95","author":"N Bencomo","year":"2013","unstructured":"Bencomo, N., Bennaceur, A., Grace, P., Blair, G., Issarny, V.: The role of models@run.time in supporting on-the-fly interoperability. Computing 95(3), 167\u2013190 (2013)","journal-title":"Computing"},{"key":"394_CR24","doi-asserted-by":"crossref","unstructured":"Bencomo, N., Blair, G., France, R.: Summary of the workshop models@run.time at models 2006. In: Proceedings of the 2006 International Conference on Models in Software Engineering, MoDELS\u201906, pp. 227\u2013231. Springer, Berlin (2006)","DOI":"10.1007\/978-3-540-69489-2_28"},{"key":"394_CR25","doi-asserted-by":"crossref","unstructured":"Bencomo, N., Blair, G., France, R., Mu\u00f1oz, F., Jeanneret, C.: Models in software engineering. In: Third International Workshop on Models@run.time, pp. 90\u201396. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-01648-6_10"},{"key":"394_CR26","doi-asserted-by":"crossref","unstructured":"Bencomo, N., Blair, G., France, R., Mu\u00f1oz, F., Jeanneret, C.: 4th international workshop on models@run.time. In: Proceedings of the 2009 International Conference on Models in Software Engineering MODELS\u201909, pp. 119\u2013123. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-12261-3_12"},{"issue":"1","key":"394_CR27","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1145\/2413038.2413061","volume":"38","author":"N Bencomo","year":"2013","unstructured":"Bencomo, N., Blair, G., G\u00f6tz, S., Morin, B., Rumpe, B.: Report on the 7th international workshop on models@run.time. SIGSOFT Softw. Eng. Notes 38(1), 27\u201330 (2013)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"394_CR28","unstructured":"Bencomo, N., Blair, G.S., France, R.B.: Models@run.time workshops. http:\/\/www.comp.lancs.ac.uk\/bencomo\/MRT\/ . Accessed: 28\/12\/2012"},{"key":"394_CR29","doi-asserted-by":"crossref","unstructured":"Bencomo, N., France, R., Blair, G.: Models in software engineering. In: Second International Workshop on Models@run.time, pp. 206\u2013211. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69073-3_22"},{"key":"394_CR30","doi-asserted-by":"crossref","unstructured":"Bencomo, N., Whittle, J., Sawyer, P., Finkelstein, A., Letier, E.: Requirements reflection: requirements as runtime entities. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering\u2014vol. 2 ICSE \u201910, pp. 199\u2013202. ACM, New York (2010)","DOI":"10.1145\/1810295.1810329"},{"key":"394_CR31","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Calabr\u00f2, A., Lonetti, F., Di Marco, A., Sabetta, A.: Towards a model-driven infrastructure for runtime monitoring. In: Proceedings of the Third International Conference on Software Engineering for Resilient Systems SERENE\u201911, pp. 130\u2013144. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24124-6_13"},{"key":"394_CR32","doi-asserted-by":"crossref","unstructured":"Betermieux, S., Bomsdorf, B.: Finalizing dialog models at runtime. In: Proceedings of the 7th International Conference on Web Engineering ICWE\u201907, pp. 137\u2013151. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-73597-7_11"},{"issue":"7","key":"394_CR33","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.774917","volume":"32","author":"A Beugnard","year":"1999","unstructured":"Beugnard, A., J\u00e9z\u00e9quel, J.-M., Plouzeau, N., Watkins, D.: Making components contract aware. Computer 32(7), 38\u201345 (1999)","journal-title":"Computer"},{"key":"394_CR34","doi-asserted-by":"crossref","unstructured":"Blair, G., Bencomo, N., France, R.B.: Models@run.time. Computer 42(10), 22\u201327 (2009)","DOI":"10.1109\/MC.2009.326"},{"key":"394_CR35","doi-asserted-by":"crossref","unstructured":"Blumendorf, M., Feuerstack, S., Albayrak, S.: Multimodal user interfaces for smart environments: the multi-access service platform. In: Proceedings of the Working Conference on Advanced Visual Interfaces AVI \u201908, pp. 478\u2013479. ACM, New York (2008)","DOI":"10.1145\/1385569.1385665"},{"key":"394_CR36","doi-asserted-by":"crossref","unstructured":"Blumendorf, M., Lehmann, G., Feuerstack, S., Albayrak, S.: Interactive systems. design, specification, and verification. In: Executable Models for Human-Computer Interaction, pp. 238\u2013251. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-70569-7_22"},{"issue":"3","key":"394_CR37","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/s11761-010-0062-7","volume":"4","author":"L Bodenstaff","year":"2010","unstructured":"Bodenstaff, L., Wombacher, A., Reichert, M., Wieringa, R.: Made4ic: an abstract method for managing model dependencies in inter-organizational cooperations. Serv. Oriented Comput. Appl. 4(3), 203\u2013228 (2010)","journal-title":"Serv. Oriented Comput. Appl."},{"key":"394_CR38","doi-asserted-by":"crossref","unstructured":"Bomsdorf, B., Grau, S., Hudasch, M., Milde, J.-T.: Configurable executable task models supporting the transition from design time to runtime. In: Proceedings of the 14th International Conference on Human-Computer Interaction: Design and Development Approaches\u2014Volume Part I, HCII\u201911, pp. 155\u2013164. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21602-2_18"},{"key":"394_CR39","doi-asserted-by":"crossref","unstructured":"Bromberg, Y.-D., Grace, P., R\u00e9veill\u00e8re, L.: Starlink: Runtime interoperability between heterogeneous middleware protocols. In: Proceedings of the 2011 31st International Conference on Distributed Computing Systems ICDCS \u201911, pp. 446\u2013455. IEEE Computer Society, Washington, DC, USA (2011)","DOI":"10.1109\/ICDCS.2011.65"},{"key":"394_CR40","doi-asserted-by":"crossref","unstructured":"Bruno, G., La Rosa, M.: From collaboration models to bpel processes through service models. In: Proceedings of the Third International Conference on Business Process Management BPM\u201905, pp. 75\u201388. Springer, Berlin (2006)","DOI":"10.1007\/11678564_8"},{"key":"394_CR41","unstructured":"Buchheit, M., Klein, R., Nutt, W.: Constructive Problem Solving: A Model Construction Approach Towards Configuration. Technical report, DFKI (1995)"},{"issue":"4","key":"394_CR42","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1002\/spe.1009","volume":"41","author":"D Budgen","year":"2011","unstructured":"Budgen, D., Burn, A.J., Brereton, O.P., Kitchenham, B.A., Pretorius, R.: Empirical evidence about the uml: a systematic literature review. Softw. Pract. Exper. 41(4), 363\u2013392 (2011)","journal-title":"Softw. Pract. Exper."},{"key":"394_CR43","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture: A System of Patterns, Vol. 1. Number Bd. 1. Wiley India Pvt. Limited (2008)"},{"issue":"3","key":"394_CR44","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/s00607-012-0238-4","volume":"95","author":"R Calinescu","year":"2013","unstructured":"Calinescu, R., France, R., Ghezzi, C.: Editorial. Computing 95(3), 165\u2013166 (2013)","journal-title":"Computing"},{"issue":"3","key":"394_CR45","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1109\/TSE.2010.92","volume":"37","author":"R Calinescu","year":"2011","unstructured":"Calinescu, R., Grunske, L., Kwiatkowska, M., Mirandola, R., Tamburrelli, G.: Dynamic qos management and optimization in service-based systems. IEEE Trans. Softw. Eng. 37(3), 387\u2013409 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"394_CR46","doi-asserted-by":"crossref","unstructured":"Callow, G., Watson, G., Kalawsky, R.: System modelling for run-time verification and validation of autonomous systems. In: System of Systems Engineering (SoSE), 2010 5th International Conference on, pp. 1\u20137 (2010)","DOI":"10.1109\/SYSOSE.2010.5544117"},{"issue":"4","key":"394_CR47","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1016\/j.jss.2006.07.039","volume":"80","author":"M Caporuscio","year":"2007","unstructured":"Caporuscio, M., Di Marco, A., Inverardi, P.: Model-based system reconfiguration for dynamic performance management. J. Syst. Softw. 80(4), 455\u2013473 (2007)","journal-title":"J. Syst. Softw."},{"key":"394_CR48","doi-asserted-by":"crossref","unstructured":"Caporuscio, M., Marco, A.D., Inverardi, P.: Run-time performance management of the siena publish\/subscribe middleware. In: Proceedings of the 5th International Workshop on Software and Performance, WOSP \u201905, pp. 65\u201374. ACM, New York (2005)","DOI":"10.1145\/1071021.1071028"},{"key":"394_CR49","doi-asserted-by":"crossref","unstructured":"Cardellini, V., Casalicchio, E., Grassi, V., Lo Presti, F., Mirandola, R.: Qos-driven runtime adaptation of service oriented architectures. In: Proceedings of the the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, ESEC\/FSE \u201909, pp. 131\u2013140. ACM, New York (2009)","DOI":"10.1145\/1595696.1595718"},{"key":"394_CR50","doi-asserted-by":"crossref","unstructured":"Cariou, E., Barbier, F., Goaer, O.L.: Model execution adaptation? In: Proceedings of the 7th Workshop on Models@run.time MRT \u201912, pp. 60\u201365. ACM, New York (2012)","DOI":"10.1145\/2422518.2422528"},{"key":"394_CR51","doi-asserted-by":"crossref","unstructured":"Casale, G., Harrison, P.: A class of tractable models for run-time performance evaluation. In: Proceedings of the 3rd ACM\/SPEC International Conference on Performance Engineering ICPE \u201912, pp. 63\u201374. ACM, New York (2012)","DOI":"10.1145\/2188286.2188299"},{"key":"394_CR52","doi-asserted-by":"crossref","unstructured":"Casanova, P., Schmerl, B., Garlan, D., Abreu, R.: Architecture-based run-time fault diagnosis. In: Proceedings of the 5th European Conference on Software Architecture, ECSA\u201911, pp. 261\u2013277. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-23798-0_29"},{"key":"394_CR53","doi-asserted-by":"crossref","unstructured":"Cavallaro, L., Sawyer, P., Sykes, D., Bencomo, N., Issarny, V.: Satisfying requirements for pervasive service compositions. In: Proceedings of the 7th Workshop on Models@run.time MRT \u201912, pp. 17\u201322. ACM, New York (2012)","DOI":"10.1145\/2422518.2422522"},{"key":"394_CR54","doi-asserted-by":"crossref","unstructured":"Cazzola, W., Ghoneim, A., Saake, G.: Software evolution through dynamic adaptation of its oo design. In: Ryan, M., Meyer, J.-J., Ehrich, H.-D. (eds.) Objects, Agents, and Features, volume 2975 of Lecture Notes in Computer Science, pp. 67\u201380. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-25930-5_5"},{"key":"394_CR55","doi-asserted-by":"crossref","unstructured":"Cetina, C., Fons, J., Pelechano, V.: Applying software product lines to build autonomic pervasive systems. In: Proceedings of the 2008 12th International Software Product Line Conference SPLC \u201908, pp. 117\u2013126. IEEE Computer Society, Washington, DC, USA (2008)","DOI":"10.1109\/SPLC.2008.13"},{"key":"394_CR56","unstructured":"Cetina, C., Giner, P., Fons, J., Pelechano, V.: A model-driven approach for developing self-adaptive pervasive systems"},{"issue":"10","key":"394_CR57","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/MC.2009.309","volume":"42","author":"C Cetina","year":"2009","unstructured":"Cetina, C., Giner, P., Fons, J., Pelechano, V.: Autonomic computing through reuse of variability models at runtime: the case of smart homes. Computer 42(10), 37\u201343 (2009)","journal-title":"Computer"},{"key":"394_CR58","doi-asserted-by":"crossref","unstructured":"Cetina, C., Giner, P., Fons, J., Pelechano, V.: Using feature models for developing self-configuring smart homes. In: Proceedings of the 2009 Fifth International Conference on Autonomic and Autonomous Systems ICAS \u201909, pp. 179\u2013188. IEEE Computer Society, Washington, Dc, USA (2009)","DOI":"10.1109\/ICAS.2009.50"},{"key":"394_CR59","doi-asserted-by":"crossref","unstructured":"Chaari, T., Fakhfakh, K.: Semantic modeling and reasoning at runtime for autonomous systems engineering. In: Proceedings of the 2012 9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing UIC-ATC \u201912, pp. 415\u2013422. IEEE Computer Society, Washington, DC, USA (2012)","DOI":"10.1109\/UIC-ATC.2012.82"},{"issue":"2","key":"394_CR60","doi-asserted-by":"crossref","first-page":"52","DOI":"10.4304\/jsw.2.2.52-63","volume":"2","author":"H Chang","year":"2007","unstructured":"Chang, H., Collet, P.: Compositional patterns of non-functional properties for contract negotiation. JSW 2(2), 52\u201363 (2007)","journal-title":"JSW"},{"key":"394_CR61","doi-asserted-by":"crossref","unstructured":"Chen, D., T\u00f6rngren, M., Persson, M., Feng, L., Qureshi, T.N.: Towards model-based engineering of self-configuring embedded systems. In: Proceedings of the 2007 International Dagstuhl Conference on Model-Based Engineering of Embedded Real-Time Systems, MBEERTS\u201907, pp. 345\u2013353. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16277-0_17"},{"key":"394_CR62","doi-asserted-by":"crossref","unstructured":"Cheng, S.-W., Garlan, D., Schmerl, B.R., Sousa, J.A.P., Spitznagel, B., Steenkiste, P., Hu, N.: Software architecture-based adaptation for pervasive systems. In: Proceedings of the International Conference on Architecture of Computing Systems: Trends in Network and Pervasive Computing ARCS \u201902, pp. 67\u201382. Springer, London (2002)","DOI":"10.1007\/3-540-45997-9_7"},{"key":"394_CR63","unstructured":"Costa, F., Provensi, L.L., Vaz, F.F.: Towards a more effective coupling of reflection and runtime metamodels for middleware. In: Workshop on Models at Runtime (2006)"},{"key":"394_CR64","doi-asserted-by":"crossref","unstructured":"Costa, F.M., Blair, G.S.: Integrating meta-information management and reflection in middleware. In: Proceedings of the International Symposium on Distributed Objects and Applications DOA \u201900, p. 133. IEEE Computer Society, Washington, DC, USA (2000)","DOI":"10.1109\/DOA.2000.874185"},{"issue":"1","key":"394_CR65","doi-asserted-by":"crossref","first-page":"1:1","DOI":"10.1145\/1328671.1328672","volume":"26","author":"G Coulson","year":"2008","unstructured":"Coulson, G., Blair, G., Grace, P., Taiani, F., Joolia, A., Lee, K., Ueyama, J., Sivaharan, T.: A generic component model for building systems software. ACM Trans. Comput. Syst. 26(1), 1:1\u20131:42 (2008)","journal-title":"ACM Trans. Comput. Syst."},{"key":"394_CR66","doi-asserted-by":"crossref","unstructured":"Coutaz, J., Balme, L., Alvaro, X., Calvary, G., Demeure, A., Sottet, J.-S.: An mde-soa approach to support plastic user interfaces in ambient spaces. In: Proceedings of the 4th International Conference on Universal access in Human-Computer Interaction: Ambient interaction UAHCI\u201907, pp. 63\u201372. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-73281-5_7"},{"key":"394_CR67","doi-asserted-by":"crossref","unstructured":"Criado, J., Iribarne, L., Padilla, N., Troya, J., Vallecillo, A.: An mde approach for runtime monitoring and adapting component-based systems: application to wimp user interface architectures. In: Proceedings of the 2012 38th Euromicro Conference on Software Engineering and Advanced Applications SEAA \u201912, pp. 150\u2013157. IEEE Computer Society, Washington, DC, USA (2012)","DOI":"10.1109\/SEAA.2012.27"},{"key":"394_CR68","doi-asserted-by":"crossref","unstructured":"Dalpiaz, F., Serral, E., Valderas, P., Giorgini, P., Pelechano, V.: A nfr-based framework for user-centered adaptation. In: Proceedings of the 31st International Conference on Conceptual Modeling ER\u201912, pp. 439\u2013448. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-34002-4_34"},{"key":"394_CR69","unstructured":"Daubert, E., Fouquet, F., Barais, O., Nain, G., Sunye, G., Jezequel, J.-M., Pazat, J.-L., Morin, B.: A models@runtime framework for designing and managing service-based applications. In: Software Services and Systems Research\u2014Results and Challenges (S-Cube), 2012 Workshop on European, pp. 10\u201311 (2012)"},{"key":"394_CR70","doi-asserted-by":"crossref","unstructured":"de Roo, A., Sozer, H., Aksit, M.: Runtime verification of domain-specific models of physical characteristics in control software. In: Secure Software Integration and Reliability Improvement (SSIRI), 2011 Fifth International Conference on pp. 41\u201350 (2011)","DOI":"10.1109\/SSIRI.2011.14"},{"key":"394_CR71","doi-asserted-by":"crossref","unstructured":"Derakhshanmanesh, M., Amoui, M., O\u2019Grady, G., Ebert, J., Tahvildari, L.: Graf: graph-based runtime adaptation framework. In: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems SEAMS \u201911, pp. 128\u2013137. ACM, New York (2011)","DOI":"10.1145\/1988008.1988026"},{"key":"394_CR72","doi-asserted-by":"crossref","unstructured":"Derakhshanmanesh, M., Salehie, M., Ebert, J.: Towards model-centric engineering of a dynamic access control product line. In: Proceedings of the 16th International Software Product Line Conference\u2014Volume 2 SPLC \u201912, pp. 151\u2013155. ACM, New York (2012)","DOI":"10.1145\/2364412.2364437"},{"key":"394_CR73","doi-asserted-by":"crossref","unstructured":"Dobson, S., Denazis, S., Fern\u00e1ndez, A., Ga\u00efti, D., Gelenbe, E., Massacci, F., Nixon, P., Saffre, F., Schmidt, N., Zambonelli, F.: A survey of autonomic communications. ACM Trans. Auton. Adapt. Syst. 1(2), 223\u2013259 (2006)","DOI":"10.1145\/1186778.1186782"},{"key":"394_CR74","doi-asserted-by":"crossref","unstructured":"Dubus, J., Merle, P.: Applying omg d & c specification and eca rules for autonomous distributed component-based systems. In: Proceedings of the 2006 International Conference on Models in Software Engineering MoDELS\u201906, pp. 242\u2013251. Springer, Berlin (2006)","DOI":"10.1007\/978-3-540-69489-2_30"},{"key":"394_CR75","unstructured":"Easterbrook, S., Singer, J., Storey, M.A., Damian, D.: Selecting empirical methods for software engineering research"},{"key":"394_CR76","doi-asserted-by":"crossref","unstructured":"Elkorobarrutia, X., Muxika, M., Sagardui, G., Barbier, F., Aretxandieta, X.: A framework for statechart based component reconfiguration. In: Proceedings of the Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems EASE \u201908, pp. 37\u201345. IEEE Computer Society, Washington, DC, USA (2008)","DOI":"10.1109\/EASe.2008.11"},{"key":"394_CR77","doi-asserted-by":"crossref","unstructured":"Epifani, I., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Model evolution by run-time parameter adaptation. In: Proceedings of the 31st International Conference on Software Engineering ICSE \u201909, pp. 111\u2013121. IEEE Computer Society, Washington, DC, USA (2009)","DOI":"10.1109\/ICSE.2009.5070513"},{"key":"394_CR78","unstructured":"Feuerstack, S., Anjo, M.D.S., Pizzolato, E.B.: Model-based design and generation of a gesture-based user interface navigation control. In: Proceedings of the 10th Brazilian Symposium on on Human Factors in Computing Systems and the 5th Latin American Conference on Human-Computer Interaction IHC+CLIHC \u201911, pp. 227\u2013231, Porto Alegre, Brazil, Brazil, Brazilian Computer Society (2011)"},{"key":"394_CR79","doi-asserted-by":"crossref","unstructured":"Feuerstack, S., Blumendorf, M., Schwartze, V., Albayrak, S.: Model-based layout generation. In: Proceedings of the Working Conference on Advanced Visual Interfaces AVI \u201908, pp. 217\u2013224. ACM, New York (2008)","DOI":"10.1145\/1385569.1385605"},{"key":"394_CR80","doi-asserted-by":"crossref","unstructured":"Feuerstack, S., Pizzolato, E.B.: Engineering device-spanning, multimodal web applications using a model-based design approach. In: Proceedings of the 18th Brazilian Symposium on Multimedia and the web, WebMedia \u201912, pp. 29\u201338.ACM, New York (2012)","DOI":"10.1145\/2382636.2382646"},{"key":"394_CR81","doi-asserted-by":"crossref","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: Run-time efficient probabilistic model checking. In: Proceedings of the 33rd International Conference on Software Engineering ICSE \u201911, pp. 341\u2013350. ACM, New York (2011)","DOI":"10.1145\/1985793.1985840"},{"key":"394_CR82","doi-asserted-by":"crossref","unstructured":"Fleurey, F., Dehlen, V., Bencomo, N., Morin, B., J\u00e9z\u00e9quel, J.-M.: Models in software engineering. In: Modeling and Validating Dynamic Adaptation, pp. 97\u2013108. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-01648-6_11"},{"issue":"2","key":"394_CR83","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1109\/MS.2006.61","volume":"23","author":"J Floch","year":"2006","unstructured":"Floch, J., Hallsteinsen, S., Stav, E., Eliassen, F., Lund, K., Gjorven, E.: Using architecture models for runtime adaptability. IEEE Softw. 23(2), 62\u201370 (2006)","journal-title":"IEEE Softw."},{"key":"394_CR84","doi-asserted-by":"crossref","unstructured":"Fouquet, F., Daubert, E., Plouzeau, N., Barais, O., Bourcier, J., J\u00e9z\u00e9quel, J.-M.: Dissemination of reconfiguration policies on mesh networks. In: Proceedings of the 12th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems DAIS\u201912, pp. 16\u201330. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-30823-9_2"},{"key":"394_CR85","doi-asserted-by":"crossref","unstructured":"Fouquet, F., Morin, B., Fleurey, F., Barais, O., Plouzeau, N., Jezequel, J.-M.: A dynamic component model for cyber physical systems. In: Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering CBSE \u201912, pp. 135\u2013144. ACM, New York (2012)","DOI":"10.1145\/2304736.2304759"},{"key":"394_CR86","doi-asserted-by":"crossref","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: Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems MODELS\u201912, pp. 87\u2013101. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-33666-9_7"},{"key":"394_CR87","doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: 2007 Future of Software Engineering FOSE \u201907, pp. 37\u201354. IEEE Computer Society, Washington, Dc, USA (2007)","DOI":"10.1109\/FOSE.2007.14"},{"issue":"4","key":"394_CR88","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/j.jvlc.2012.02.003","volume":"23","author":"A Frece","year":"2012","unstructured":"Frece, A., Juric, M.B.: Modeling functional requirements for configurable content- and context-aware dynamic service selection in business process models. J. Vis. Lang. Comput. 23(4), 223\u2013247 (2012)","journal-title":"J. Vis. Lang. Comput."},{"key":"394_CR89","doi-asserted-by":"crossref","unstructured":"Frey, A.G., Calvary, G., Dupuy-Chessa, S.: Users need your models!: exploiting design models for explanations. In: Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers, BCS-HCI \u201912, pp. 79\u201388. British Computer Society, Swinton (2012)","DOI":"10.14236\/ewic\/HCI2012.13"},{"key":"394_CR90","doi-asserted-by":"crossref","unstructured":"Fuentes, L., S\u00e1nchez, P.: Transactions on aspect-oriented software development vi. In: Dynamic Weaving of Aspect-Oriented Executable UML Models, pp. 1\u201338. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-03764-1_1"},{"key":"394_CR91","doi-asserted-by":"crossref","unstructured":"Gamez, N., Fuentes, L., Arag\u00fcez, M.A.: Autonomic computing driven by feature models and architecture in famiware. In: Proceedings of the 5th European Conference on Software Architecture ECSA\u201911, pp. 164\u2013179, Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-23798-0_16"},{"key":"394_CR92","doi-asserted-by":"crossref","unstructured":"Gao, Y., Yang, T., Xu, M., Xing, N.: An unsupervised anomaly detection approach for spacecraft based on normal behavior clustering. In: Proceedings of the 2012 Fifth International Conference on Intelligent Computation Technology and Automation ICICTA \u201912, pp. 478\u2013481. IEEE Computer Society, Washington, DC, USA (2012)","DOI":"10.1109\/ICICTA.2012.126"},{"key":"394_CR93","doi-asserted-by":"crossref","unstructured":"Garc\u00eda Frey, A.: Self-explanatory user interfaces by model-driven engineering. In: Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems EICS \u201910, pp. 341\u2013344. ACM, New York (2010)","DOI":"10.1145\/1822018.1822076"},{"key":"394_CR94","doi-asserted-by":"crossref","unstructured":"Garc\u00eda Frey, A., C\u00e9ret, E., Dupuy-Chessa, S., Calvary, G., Gabillon, Y.: Usicomp: an extensible model-driven composer. In: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems EICS \u201912, pp . 263\u2013268. ACM, New York (2012)","DOI":"10.1145\/2305484.2305528"},{"issue":"10","key":"394_CR95","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/MC.2004.175","volume":"37","author":"D Garlan","year":"2004","unstructured":"Garlan, D., Cheng, S.-W., Huang, A.-C., Schmerl, B., Steenkiste, P.: Rainbow: architecture-based self-adaptation with reusable infrastructure. Computer 37(10), 46\u201354 (2004)","journal-title":"Computer"},{"key":"394_CR96","doi-asserted-by":"crossref","unstructured":"Garlan, D., Schmerl, B.: Model-based adaptation for self-healing systems. In: Proceedings of the First Workshop on Self-Healing Systems WOSS \u201902, pp. 27\u201332, ACM, New York (2002)","DOI":"10.1145\/582128.582134"},{"key":"394_CR97","doi-asserted-by":"crossref","unstructured":"Garlan, D., Schmerl, B.: Using architectural models at runtime: research challenges. In: Oquendo, F., Warboys, B., Morrison, R. (eds.) Software Architecture, vol. 3047 of Lecture Notes in Computer Science, pp. 200\u2013205. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-24769-2_15"},{"key":"394_CR98","unstructured":"Garlan, D., Schmerl, B., Chang, J.: Using gauges for architecture-based monitoring and adaptation. In: Proceedings of the Working Conference on Complex and Dynamic Systems Architecture (2001)"},{"key":"394_CR99","doi-asserted-by":"crossref","unstructured":"Garzon, S.R., Cebulla, M.: Model-based personalization within an adaptable human-machine interface environment that is capable of learning from user interactions. In: Proceedings of the 2010 Third International Conference on Advances in Computer-Human Interactions ACHI \u201910, pp. 191\u2013198. IEEE Computer Society, Washington (2010)","DOI":"10.1109\/ACHI.2010.12"},{"key":"394_CR100","doi-asserted-by":"crossref","unstructured":"Geihs, K., Reichle, R., Khan, M.U., Solberg, A., Hallsteinsen, S.: Model-driven development of self-adaptive applications for mobile devices: (research summary). In: Proceedings of the 2006 International Workshop on Self-Adaptation and Self-Managing Systems SEAMS \u201906, pp. 95\u201395. ACM, New York (2006)","DOI":"10.1145\/1137677.1137698"},{"key":"394_CR101","doi-asserted-by":"crossref","unstructured":"Georgas, J.C., Hoek, A.V.D., Taylor, R.N.: Using architectural models to manage and visualize runtime adaptation. Computer 42(10), 52\u201360 (2009)","DOI":"10.1109\/MC.2009.335"},{"key":"394_CR102","doi-asserted-by":"crossref","unstructured":"Ghezzi, C.: The fading boundary between development time and run time. In: Web Services (ECOWS), 2011 Ninth IEEE European Conference on, pp. 11\u201311 (2011)","DOI":"10.1109\/ECOWS.2011.33"},{"key":"394_CR103","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Mocci, A., Sangiorgio, M.: Runtime monitoring of functional component changes with behavior models. In: Proceedings of the 2011th International Conference on Models in Software Engineering, MODELS\u201911, pp. 152\u2013166. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-29645-1_17"},{"key":"394_CR104","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Tamburrelli, G.: Predicting performance properties for open systems with kami. In: Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems, QoSA \u201909, pp. 70\u201385. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02351-4_5"},{"key":"394_CR105","doi-asserted-by":"crossref","unstructured":"Giese, H., Hildebrandt, S.: Incremental model synchronization for multiple updates. In: Proceedings of the Third International Workshop on Graph and Model Transformations GRaMoT \u201908, pp. 1\u20138. ACM, New York (2008)","DOI":"10.1145\/1402947.1402949"},{"key":"394_CR106","doi-asserted-by":"crossref","unstructured":"Giese, H., Lambers, L., Becker, B., Hildebrandt, S., Neumann, S., Vogel, T., W\u00e4tzoldt, S.: Graph transformations for mde, adaptation, and models at runtime. In: Proceedings of the 12th International Conference on Formal Methods for the Design of Computer, Communication, and Software Systems: Formal Methods for Model-Driven Engineering SFM\u201912, pp. 137\u2013191. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-30982-3_5"},{"key":"394_CR107","doi-asserted-by":"crossref","unstructured":"Giese, H., Wagner, R.: Incremental model synchronization with triple graph grammars. In: Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems MoDELS\u201906, pp. 543\u2013557. Springer, Berlin (2006)","DOI":"10.1007\/11880240_38"},{"key":"394_CR108","doi-asserted-by":"crossref","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, 21\u201343 (2009)","journal-title":"Softw. Syst. Model."},{"issue":"10","key":"394_CR109","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/MC.2009.325","volume":"42","author":"T Gjerlufsen","year":"2009","unstructured":"Gjerlufsen, T., Ingstrup, M., Wolff, J., Olsen, O.: Mirrors of meaning: supporting inspectable runtime models. Computer 42(10), 61\u201368 (2009)","journal-title":"Computer"},{"key":"394_CR110","doi-asserted-by":"crossref","unstructured":"Goldsby, H., Cheng, B.H.C., McKinley, P.K., Knoester, D.B., Ofria, C.: Digital evolution of behavioral models for autonomic systems. In: Strassner, J., Dobson, S.A., Fortes, J.A.B., Goswami, K.K. (eds.) ICAC, pp. 87\u201396. IEEE Computer Society (2008)","DOI":"10.1109\/ICAC.2008.26"},{"key":"394_CR111","doi-asserted-by":"crossref","unstructured":"Goldsby, H., Sawyer, P., Bencomo, N., Cheng, B.H.C., Hughes, D.: Goal-based modeling of dynamically adaptive system requirements. In: Engineering of Computer Based Systems, 2008. ECBS 2008. 15th Annual IEEE International Conference and Workshop on the pp. 36\u201345 (2008)","DOI":"10.1109\/ECBS.2008.22"},{"key":"394_CR112","doi-asserted-by":"crossref","unstructured":"Goldsby, H.J., Cheng, B.H.: Automatically generating behavioral models of adaptive systems to address uncertainty. In: Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems MoDELS \u201908, pp. 568\u2013583, Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-87875-9_40"},{"key":"394_CR113","doi-asserted-by":"crossref","unstructured":"Goldsby, H.J., Cheng, B.H., Zhang, J.: Models in software engineering. In: AMOEBA-RT: Run-Time Verification of Adaptive Software, pp. 212\u2013224. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69073-3_23"},{"key":"394_CR114","doi-asserted-by":"crossref","unstructured":"G\u00f6tz, S., Wilke, C., Cech, S., A\u00dfmann, U.: Architecture and Mechanisms for Energy Auto Tuning. In: Proceeings of Sustainable ICTs and Management Systems for Green Computing (2012)","DOI":"10.4018\/978-1-4666-1839-8.ch003"},{"key":"394_CR115","doi-asserted-by":"crossref","unstructured":"G\u00f6tz, S., Wilke, C., Schmidt, M., Cech, S., A\u00dfmann, U.: Towards energy auto tuning. In: Proceedings of First Annual International Conference on Green Information Technology (GREEN IT), pp. 122\u2013129 (2010)","DOI":"10.5176\/978-981-08-7240-3_G-32"},{"key":"394_CR116","doi-asserted-by":"crossref","unstructured":"Grace, P., Blair, G., Samuel, S.: Remmoc: a reflective middleware to support mobile client interoperability, pp. 1170\u20131187 (2003)","DOI":"10.1007\/978-3-540-39964-3_75"},{"key":"394_CR117","doi-asserted-by":"crossref","unstructured":"Grace, P., Blair, G.S., Cortes, C.F., Bencomo, N.: Engineering complex adaptations in highly heterogeneous distributed systems. In: Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems Autonomics \u201908, pp. 27:1\u201327:10, ICST, Brussels, Belgium, Belgium, ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering) (2008)","DOI":"10.4108\/ICST.AUTONOMICS2008.4647"},{"issue":"1","key":"394_CR118","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/1055959.1055962","volume":"9","author":"P Grace","year":"2005","unstructured":"Grace, P., Blair, G.S., Samuel, S.: A reflective framework for discovery and interaction in heterogeneous mobile environments. SIGMOBILE Mob. Comput. Commun. Rev. 9(1), 2\u201314 (2005)","journal-title":"SIGMOBILE Mob. Comput. Commun. Rev."},{"key":"394_CR119","doi-asserted-by":"crossref","unstructured":"Grace, P., Bromberg, Y.-D., R\u00e9veill\u00e8re, L., Blair, G.: Overstar: an open approach to end-to-end middleware services in systems of systems. In: Proceedings of the 13th International Middleware Conference, Middleware \u201912, pp. 229\u2013248. Springer, New York (2012)","DOI":"10.1007\/978-3-642-35170-9_12"},{"key":"394_CR120","doi-asserted-by":"crossref","unstructured":"Grace, P., Truyen, E., Lagaisse, B., Joosen, W.: The case for aspect-oriented reflective middleware. In: Proceedings of the 6th International Workshop on Adaptive and Reflective Middleware: Held at the ACM\/IFIP\/USENIX International Middleware Conference, p. 2. ACM (2007)","DOI":"10.1145\/1376780.1376782"},{"key":"394_CR121","doi-asserted-by":"crossref","unstructured":"Graf, P., Hubner, M., M\u00fcller-Glaser, K., Becker, J.: A graphical model-level debugger for heterogenous reconfigurable architectures. In: Field Programmable Logic and Applications, 2007. FPL 2007. International Conference on, pp. 722\u2013725 (2007)","DOI":"10.1109\/FPL.2007.4380754"},{"key":"394_CR122","doi-asserted-by":"crossref","unstructured":"Graf, P., M\u00fcller-Glaser, K.D.: Dynamic mapping of runtime information models for debugging embedded software. In: Proceedings of the Seventeenth IEEE International Workshop on Rapid System Prototyping RSP \u201906, pp. 3\u20139. IEEE Computer Society, Washington, DC, USA (2006)","DOI":"10.1109\/RSP.2006.15"},{"key":"394_CR123","unstructured":"Gu, Z., Wang, S., Kodase, S., Shin, K.G.: Multi-view modeling and analysis of embedded real-time software with meta-modeling and model transformation. In: Proceedings of the Eighth IEEE International Conference on High Assurance Systems Engineering HASE\u201904, pp. 32\u201341. IEEE Computer Society, Washington, DC, USA (2004)"},{"key":"394_CR124","doi-asserted-by":"crossref","unstructured":"Haberl, W., Herrmannsdoerfer, M., Birke, J., Baumgarten, U.: Model-level debugging of embedded real-time systems. In: Proceedings of the 2010 10th IEEE International Conference on Computer and Information Technology, CIT \u201910, pp. 1887\u20131894. IEEE Computer Society, Washington, DC, USA (2010)","DOI":"10.1109\/CIT.2010.323"},{"key":"394_CR125","doi-asserted-by":"crossref","unstructured":"Halfond, W.G.J., Orso, A.: Amnesia: analysis and monitoring for neutralizing sql-injection attacks. In: Proceedings of the 20th IEEE\/ACM international Conference on Automated Software Engineering ASE \u201905, pp. 174\u2013183. ACM, New York (2005)","DOI":"10.1145\/1101908.1101935"},{"key":"394_CR126","doi-asserted-by":"crossref","unstructured":"Hallsteinsen, S., Stav, E., Solberg, A., Floch, J.: Using product line techniques to build adaptive systems. In: Proceedings of the 10th International on Software Product Line Conference SPLC \u201906, pp. 141\u2013150. IEEE Computer Society, Washington, DC, USA (2006)","DOI":"10.1109\/SPLINE.2006.1691586"},{"key":"394_CR127","doi-asserted-by":"crossref","unstructured":"Hamann, L., Gogolla, M., Honsel, D.: Towards supporting multiple execution environments for uml\/ocl models at runtime. In: Proceedings of the 7th Workshop on Models@run.time, MRT \u201912, pp. 46\u201351. ACM, New York (2012)","DOI":"10.1145\/2422518.2422526"},{"key":"394_CR128","doi-asserted-by":"crossref","unstructured":"Hamann, L., Gogolla, M., Kuhlmann, M.: Ocl-based runtime monitoring of jvm hosted applications. Electron. Commun. EASST, 44 (2011)","DOI":"10.1007\/978-3-642-31491-9_29"},{"key":"394_CR129","doi-asserted-by":"crossref","unstructured":"Hamann, L., Hofrichter, O., Gogolla, M.: Ocl-based runtime monitoring of applications with protocol state machines. In: Proceedings of the 8th European Conference on Modelling Foundations and Applications ECMFA\u201912. pp. 384\u2013399, Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-31491-9_29"},{"key":"394_CR130","doi-asserted-by":"crossref","unstructured":"Hao, R., Morin, B., Berre, A.-J.: A semi-automatic behavioral mediation approach based on models@runtime. In: Proceedings of the 7th Workshop on Models@run.time, MRT \u201912, pp. 67\u201371, ACM, New York (2012)","DOI":"10.1145\/2422518.2422529"},{"key":"394_CR131","unstructured":"Hoehndorf, R., Ngomo, A.-C.N., Herre, H.: Developing consistent and modular software models with ontologies. In: Proceedings of the 2009 Conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT 09, pp. 399\u2013412. IOS Press, Amsterdam (2009)"},{"key":"394_CR132","doi-asserted-by":"crossref","unstructured":"Holmes, T.: From business application execution to design through model-based reporting. In: Proceedings of the 2012 IEEE 16th International Enterprise Distributed Object Computing Conference EDOC \u201912, pp. 143\u2013153. IEEE Computer Society, Washington, DC, USA (2012)","DOI":"10.1109\/EDOC.2012.25"},{"key":"394_CR133","doi-asserted-by":"crossref","unstructured":"Holmes, T., Zdun, U., Daniel, F., Dustdar, S.: Monitoring and analyzing service-based internet systems through a model-aware service environment. In: Proceedings of the 22nd International Conference on Advanced Information Systems Engineering, CAiSE\u201910, pp. 98\u2013112. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-13094-6_9"},{"key":"394_CR134","doi-asserted-by":"crossref","unstructured":"Holmes, T., Zdun, U., Dustdar, S.: Automating the management and versioning of service models at runtime to support service monitoring. In: Proceedings of the 2012 IEEE 16th International Enterprise Distributed Object Computing Conference, EDOC \u201912, pp. 211\u2013218. IEEE Computer Society, Washington, DC, USA (2012)","DOI":"10.1109\/EDOC.2012.32"},{"key":"394_CR135","doi-asserted-by":"crossref","unstructured":"Hooman, J., Hendriks, T.: Models in Software Engineering. In: Model-Based Run-Time Error Detection, pp. 225\u2013236. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69073-3_24"},{"key":"394_CR136","doi-asserted-by":"crossref","unstructured":"Huang, G., Song, H., Mei, H.: Sm@rt: towards architecture-based runtime management of internetware systems. In: Proceedings of the First Asia-Pacific Symposium on Internetware, Internetware \u201909, pp. 9:1\u20139:10, ACM, New York (2009)","DOI":"10.1145\/1640206.1640215"},{"key":"394_CR137","doi-asserted-by":"crossref","unstructured":"Huber, N., Brosig, F., Kounev, S.: Modeling dynamic virtualized resource landscapes. In: Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures, QoSA \u201912, pp. 81\u201390. ACM, New York (2012)","DOI":"10.1145\/2304696.2304711"},{"key":"394_CR138","doi-asserted-by":"crossref","unstructured":"Hummer, W., Gaubatz, P., Strembeck, M., Zdun, U., Dustdar, S.: An integrated approach for identity and access management in a soa context. In: Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, SACMAT \u201911, pp. 21\u201330, ACM, New York (2011)","DOI":"10.1145\/1998441.1998446"},{"key":"394_CR139","doi-asserted-by":"crossref","unstructured":"Ingstrup, M., Hansen, K.M.: A declarative approach to architectural reflection. In: Proceedings of the 5th Working IEEE\/IFIP Conference on Software Architecture, WICSA \u201905, pp. 149\u2013158, IEEE Computer Society, Washington (2005)","DOI":"10.1109\/WICSA.2005.6"},{"key":"394_CR140","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Mori, M.: Feature oriented evolutions for context-aware adaptive systems. In: Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE), IWPSE-EVOL \u201910, pp. 93\u201397, ACM, New York (2010)","DOI":"10.1145\/1862372.1862394"},{"key":"394_CR141","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Mori, M.: Model checking requirements at run-time in adaptive systems. In: Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, ASAS \u201911, pp. 5\u20139, ACM, New York (2011)","DOI":"10.1145\/2024436.2024439"},{"key":"394_CR142","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Mori, M.: Requirements models at run-time to support consistent system evolutions. In: Requirements@Run.Time (RE@RunTime), 2011 2nd International Workshop on, pp. 1\u20138 (2011)","DOI":"10.1109\/ReRunTime.2011.6046241"},{"key":"394_CR143","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Mori, M.: A software lifecycle process to support consistent evolutions. In: Lemos, R., Giese, H., M\u00fcller, H., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II, vol. 7475 of Lecture Notes in Computer Science, pp. 239\u2013264. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-35813-5_10"},{"key":"394_CR144","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Pelliccione, P., Tivoli, M.: Towards an assume-guarantee theory for adaptable systems. In: Software Engineering for Adaptive and Self-Managing Systems, 2009. SEAMS \u201909. ICSE Workshop on, pp. 106\u2013115 (2009)","DOI":"10.1109\/SEAMS.2009.5069079"},{"key":"394_CR145","unstructured":"Jiang, M., Zhang, J., Raymer, D., Strassner, J.: A modeling framework for self-healing software systems. In: Workshop \u201cModels@run.time\u201d at the 10th International Conference on model Driven Engineering Languages and Systems (2007)"},{"key":"394_CR146","doi-asserted-by":"crossref","unstructured":"Kappel, G., Wimmer, M., Retschitzegger, W., Schwinger, W.: The evolution of conceptual modeling. In: Leveraging Model-Based Tool Integration by Conceptual Modeling Techniques, pp. 254\u2013284. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-17505-3_12"},{"issue":"1","key":"394_CR147","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41\u201350 (2003)","journal-title":"Computer"},{"issue":"7","key":"394_CR148","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/MDSO.2008.19","volume":"9","author":"M Khan","year":"2008","unstructured":"Khan, M., Reichle, R., Geihs, K.: Architectural constraints in the model-driven development of self-adaptive applications. IEEE Distrib. Syst. Online 9(7), 1\u20131 (2008)","journal-title":"IEEE Distrib. Syst. Online"},{"key":"394_CR149","doi-asserted-by":"crossref","unstructured":"Kindler, E.: Integrating behaviour in software models: an event coordination notation\u2014concepts and prototype. In: Proceedings of the Third Workshop on Behavioural Modelling, BM-FA \u201911, pp. 41\u201348. ACM, New York (2011)","DOI":"10.1145\/1993956.1993962"},{"key":"394_CR150","unstructured":"Kitchenham, B., Charters, S.: Guidelines for Performing Systematic Literature Reviews in Software Engineering. Technical Report EBSE 2007\u2013001, Keele University and Durham University Joint, Report (2007)"},{"key":"394_CR151","doi-asserted-by":"crossref","unstructured":"Kitchenham, B., Pearl Brereton, O., Budgen, D., Turner, M., Bailey, J., Linkman, S.: Systematic literature reviews in software engineering\u2014a systematic literature review. Inf. Softw. Technol. 51(1), 7\u201315 (2009)","DOI":"10.1016\/j.infsof.2008.09.009"},{"issue":"6","key":"394_CR152","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/508448.508470","volume":"45","author":"F Kon","year":"2002","unstructured":"Kon, F., Costa, F., Blair, G., Campbell, R.H.: The case for reflective middleware. Commun. ACM 45(6), 33\u201338 (2002)","journal-title":"Commun. ACM"},{"key":"394_CR153","doi-asserted-by":"crossref","unstructured":"Kordon, F.: Guest editor\u2019s introduction: rapid system prototyping. IEEE Distributed Systems Online 8(3):7 (2007)","DOI":"10.1109\/MDSO.2007.15"},{"key":"394_CR154","doi-asserted-by":"crossref","unstructured":"Krasnogolowy, A., Hildebrandt, S., Watzoldt, S.: Flexible debugging of behavior models. In: Industrial Technology (ICIT), 2012 IEEE International Conference on pp. 331\u2013336 (2012)","DOI":"10.1109\/ICIT.2012.6209959"},{"key":"394_CR155","unstructured":"Krikava, F., Collet, P.: A reflective model for architecting feedback control systems. In: SEKE, pp. 553\u2013559. Knowledge Systems Institute Graduate School, (2011)"},{"issue":"3","key":"394_CR156","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1093\/logcom\/exn079","volume":"20","author":"IH Kr\u00fcger","year":"2010","unstructured":"Kr\u00fcger, I.H., Meisinger, M., Menarini, M.: Interaction-based runtime verification for systems of systems integration. J. Log. Comput. 20(3), 725\u2013742 (2010)","journal-title":"J. Log. Comput."},{"key":"394_CR157","doi-asserted-by":"crossref","unstructured":"K\u0159ikava, F., Collet, P., France, R.B.: Actor-based runtime model of adaptable feedback control loops. In: Proceedings of the 7th Workshop on Models@run.time MRT \u201912, pp. 39\u201344, ACM, New York (2012)","DOI":"10.1145\/2422518.2422525"},{"key":"394_CR158","unstructured":"Le Duc, B., Collet, P., Malenfant, J., Rivierre, N.: A qoi-aware framework for adaptive monitoring. In: ADAPTIVE 2010, The Second International Conference on Adaptive and Self-Adaptive Systems and Applications, pp. 133\u2013141 (2010)"},{"key":"394_CR159","doi-asserted-by":"crossref","unstructured":"Lehmann, G., Blumendorf, M., Feuerstack, S., Albayrak, S.: Interactive systems. design, specification, and verification. In: Utilizing Dynamic Executable Models for User Interface Development, pp. 306\u2013309. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-70569-7_29"},{"key":"394_CR160","doi-asserted-by":"crossref","unstructured":"Lehmann, G., Blumendorf, M., Trollmann, F., Albayrak, S.: Meta-modeling runtime models. In: Proceedings of the 2010 International Conference on Models in Software Engineering, MODELS\u201910, pp. 209\u2013223, Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21210-9_21"},{"key":"394_CR161","doi-asserted-by":"crossref","unstructured":"Lehmann, G., Rieger, A., Blumendorf, M., Albayrak, S.: A 3-layer architecture for smart environment models. In: Pervasive Computing and Communications Workshops (PERCOM Workshops), 2010 8th IEEE International Conference on, pp. 636\u2013641 (2010)","DOI":"10.1109\/PERCOMW.2010.5470513"},{"key":"394_CR162","doi-asserted-by":"crossref","unstructured":"Litoiu, M., Woodside, M., Zheng, T.: Hierarchical model-based autonomic control of software systems. In: Proceedings of the 2005 Workshop on Design and Evolution of Autonomic Application Software DEAS \u201905, pp. 1\u20137, ACM, New York (2005)","DOI":"10.1145\/1083063.1083071"},{"key":"394_CR163","doi-asserted-by":"crossref","unstructured":"Liu, C.-S., Li, C.-Y., Tang, J.T., Cheng, Y.: Runtime software architecture model based on design hierarchy. In: Machine Learning and Cybernetics, 2007 International Conference on volume 3, pp. 1444\u20131449 (2007)","DOI":"10.1109\/ICMLC.2007.4370372"},{"key":"394_CR164","doi-asserted-by":"crossref","unstructured":"Ma, Y., Liu, X., Wu, Y., Grace, P.: Model-based management of service composition. In: Proceedings of the 2013 IEEE Seventh International Symposium on Service-Oriented System Engineering SOSE \u201913, pp. 103\u2013112. IEEE Computer Society, Washington, DC, USA (2013)","DOI":"10.1109\/SOSE.2013.21"},{"key":"394_CR165","unstructured":"MiSE \u201908: Proceedings of the 2008 International Workshop on Models in Software Engineering. New York, NY, USA (2008). ACM 529080"},{"issue":"12","key":"394_CR166","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/38807.38821","volume":"22","author":"P Maes","year":"1987","unstructured":"Maes, P.: Concepts and experiments in computational reflection. Sigplan Notices 22(12), 147\u2013155 (1987)","journal-title":"Sigplan Notices"},{"key":"394_CR167","doi-asserted-by":"crossref","unstructured":"Maoz, S.: Models in software engineering. In: Model-Based Traces, pp. 109\u2013119. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-01648-6_12"},{"issue":"10","key":"394_CR168","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MC.2009.336","volume":"42","author":"S Maoz","year":"2009","unstructured":"Maoz, S.: Using model-based traces as runtime models. Computer 42(10), 28\u201336 (2009)","journal-title":"Computer"},{"issue":"4","key":"394_CR169","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10270-010-0151-2","volume":"10","author":"S Maoz","year":"2011","unstructured":"Maoz, S., Harel, D.: On tracing reactive systems. Softw. Syst. Model. 10(4), 447\u2013468 (2011)","journal-title":"Softw. Syst. Model."},{"key":"394_CR170","doi-asserted-by":"crossref","unstructured":"Matevska, J.: Model-based runtime reconfiguration of component-based systems. In: Proceedings of the Warm Up Workshop for ACM\/IEEE ICSE 2010 WUP \u201909, pp. 33\u201336. ACM, New York (2009)","DOI":"10.1145\/1527033.1527045"},{"key":"394_CR171","doi-asserted-by":"crossref","unstructured":"Mathis, M.M., Kerbyson, D.J.: Dynamic performance prediction of an adaptive mesh application. In: Proceedings of the 20th International Conference on Parallel and Distributed Processing IPDPS\u201906, pp. 367\u2013367. Washington, DC, USA, IEEE Computer Society (2006)","DOI":"10.1109\/IPDPS.2006.1639701"},{"key":"394_CR172","doi-asserted-by":"crossref","unstructured":"Mayerhofer, T., Langer, P., Kappel, G.: A runtime model for fuml. In: Proceedings of the 7th Workshop on Models@run.time MRT \u201912, pp. 53\u201358. ACM, New York (2012)","DOI":"10.1145\/2422518.2422527"},{"key":"394_CR173","doi-asserted-by":"crossref","unstructured":"Mayerhofer, T., Langer, P., Wimmer, M.: Towards xmof: executable dsmls based on fuml. In: Proceedings of the 2012 Workshop on Domain-Specific Modeling DSM \u201912, pp. 1\u20136. ACM, New York (2012)","DOI":"10.1145\/2420918.2420920"},{"key":"394_CR174","doi-asserted-by":"crossref","unstructured":"McQuiggan, S.W., Lester, J.C.: Diagnosing self-efficacy in intelligent tutoring systems: an empirical study. In: Proceedings of the 8th International Conference on Intelligent Tutoring Systems, ITS\u201906, pp. 565\u2013574. Springer, Berlin (2006)","DOI":"10.1007\/11774303_56"},{"issue":"1","key":"394_CR175","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1145\/974043.974075","volume":"29","author":"DA Menasc\u00e9","year":"2004","unstructured":"Menasc\u00e9, D.A., Ruan, H., Gomaa, H.: A framework for qos-aware software components. SIGSOFT Softw. Eng. Notes 29(1), 186\u2013196 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"394_CR176","doi-asserted-by":"crossref","unstructured":"Miksa, K., Kasztelnik, M., Sabina, P., Walter, T.: Towards semantic modeling of network physical devices. In: Proceedings of the 2009 International Conference on Models in Software Engineering MODELS\u201909, pp. 329\u2013343, Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-12261-3_31"},{"key":"394_CR177","doi-asserted-by":"crossref","unstructured":"Mocci, A., Sangiorgio, M.: Detecting component changes at run time with behavior models. Computing 95(3), 191\u2013221 (2013)","DOI":"10.1007\/s00607-012-0214-z"},{"issue":"10","key":"394_CR178","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/MC.2009.327","volume":"42","author":"B Morin","year":"2009","unstructured":"Morin, B., Barais, O., Jezequel, J.-M., Fleurey, F., Solberg, A.: Models@ run.time to support dynamic adaptation. Computer 42(10), 44\u201351 (2009)","journal-title":"Computer"},{"key":"394_CR179","unstructured":"Morin, B., Barais, O., Marc J\u00e9z\u00e9quel, J.: K@rt: an aspect-oriented and model-oriented framework for dynamic software product lines. In: Proceedings of the 3rd International Workshop on Models@Runtime, at MoDELS\u201908 (2008)"},{"key":"394_CR180","doi-asserted-by":"crossref","unstructured":"Morin, B., Barais, O., Nain, G., Jezequel, J.-M.: Taming dynamically adaptive systems using models and aspects. In: Proceedings of the 31st International Conference on Software Engineering ICSE \u201909, pp. 122\u2013132. IEEE Computer Society, Washington, DC, USA (2009)","DOI":"10.1109\/ICSE.2009.5070514"},{"key":"394_CR181","doi-asserted-by":"crossref","unstructured":"Morin, B., Fleurey, F., Bencomo, N., J\u00e9z\u00e9quel, J.-M., Solberg, A., Dehlen, V., Blair, G.: An aspect-oriented and model-driven approach for managing dynamic variability. In: Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems MoDELS \u201908, pp. 782\u2013796. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-87875-9_54"},{"key":"394_CR182","doi-asserted-by":"crossref","unstructured":"Morin, B., Mouelhi, T., Fleurey, F., Le Traon, Y., Barais, O., J\u00e9z\u00e9quel, J.-M.: Security-driven model-based dynamic adaptation. In: Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering, ASE \u201910, pp. 205\u2013214, ACM, New York (2010)","DOI":"10.1145\/1858996.1859040"},{"key":"394_CR183","doi-asserted-by":"crossref","unstructured":"Morris, K.A., Wei, J., Clarke, P.J., Costa, F.M.: Towards adaptable middleware to support service delivery validation in i-dsml execution engines. In: Proceedings of the 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering, HASE \u201912, pp. 82\u201389. IEEE Computer Society, Washington, DC, USA (2012)","DOI":"10.1109\/HASE.2012.25"},{"key":"394_CR184","doi-asserted-by":"crossref","unstructured":"Mos, A., Murphy, J.: Performance management in component-oriented systems using a model driven architecture approach. In: Proceedings of the Sixth International Enterprise Distributed Object Computing Conference (EDOC\u201902), EDOC \u201902, p. 227. IEEE Computer Society, Washington, DC, USA (2002)","DOI":"10.1109\/EDOC.2002.1137712"},{"issue":"4","key":"394_CR185","doi-asserted-by":"crossref","first-page":"828","DOI":"10.1109\/TSE.2011.43","volume":"38","author":"O Moser","year":"2012","unstructured":"Moser, O., Rosenberg, F., Dustdar, S.: Domain-specific service selection for composite services. IEEE Trans. Softw. Eng. 38(4), 828\u2013843 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"394_CR186","doi-asserted-by":"crossref","unstructured":"Muller, P.-A., Fleurey, F., J\u00e9z\u00e9quel, J.-M.: Weaving executability into object-oriented meta-languages. In: Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems MoDELS\u201905, pp. 264\u2013278. Springer, Berlin (2005)","DOI":"10.1007\/11557432_19"},{"key":"394_CR187","doi-asserted-by":"crossref","unstructured":"Murthy, P., Kumar, V.S., Sharma, T., Rao, K.: Quality model driven dynamic analysis. In: Proceedings of the 2011 IEEE 35th Annual Computer Software and Applications Conference COMPSAC \u201911, pp. 360\u2013365. IEEE Computer Society, Washington, DC, USA (2011)","DOI":"10.1109\/COMPSAC.2011.54"},{"key":"394_CR188","doi-asserted-by":"crossref","unstructured":"Muskens, J., Chaudron, M.: Integrity management in component based systems. In: Proceedings of the 30th EUROMICRO Conference, EUROMICRO \u201904, pp. 611\u2013619. IEEE Computer Society, Washington, DC, USA (2004)","DOI":"10.1109\/EURMIC.2004.1333429"},{"key":"394_CR189","doi-asserted-by":"crossref","unstructured":"Nakajima, S.: An architecture of dynamically adaptive php-based web applications. In: Proceedings of the 2011 18th Asia-Pacific Software Engineering Conference, APSEC \u201911, pp. 203\u2013210. IEEE Computer Society, Washington, DC, USA (2011)","DOI":"10.1109\/APSEC.2011.14"},{"key":"394_CR190","doi-asserted-by":"crossref","unstructured":"Nam, M.-Y., de Niz, D., Wrage, L., Sha, L.: Resource allocation contracts for open analytic runtime models. In: Proceedings of the Ninth ACM International Conference on Embedded Software EMSOFT \u201911, pp. 13\u201322. ACM, New York (2011)","DOI":"10.1145\/2038642.2038647"},{"key":"394_CR191","doi-asserted-by":"crossref","unstructured":"Nguyen, T., Colman, A.: A feature-oriented approach for web service customization. In: Proceedings of the 2010 IEEE International Conference on Web Services, ICWS \u201910, pp. 393\u2013400.. IEEE Computer Society, Washington, DC, USA (2010)","DOI":"10.1109\/ICWS.2010.64"},{"key":"394_CR192","doi-asserted-by":"crossref","unstructured":"Nguyen, V.H., Fouquet, F., Plouzeau, N., Barais, O.: A process for continuous validation of self-adapting component based systems. In: Proceedings of the 7th Workshop on Models@run.time MRT \u201912, pp. 32\u201337. ACM, New York (2012)","DOI":"10.1145\/2422518.2422524"},{"key":"394_CR193","doi-asserted-by":"crossref","unstructured":"Nierstrasz, O., Denker, M., Renggli, L.: Software engineering for self-adaptive systems. In: Model-Centric, Context-Aware Software Adaptation, pp. 128\u2013145. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02161-9_7"},{"key":"394_CR194","doi-asserted-by":"crossref","unstructured":"Nilsson, E.G., Floch, J., Hallsteinsen, S., Stav, E.: Using a patterns-based modelling language and a model-based adaptation architecture to facilitate adaptive user interfaces. In: Proceedings of the 13th International Conference on Interactive Systems: Design, Specification, and Verification, DSVIS\u201906, pp. 234\u2013247. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-69554-7_19"},{"key":"394_CR195","doi-asserted-by":"crossref","unstructured":"Nordstrom, S., Dubey, A., Keskinpala, T., Datta, R., Neema, S., Bapty, T.: Model predictive analysis for autonomicworkflow management in large-scale scientific computing environments. In: Proceedings of the Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems EASE \u201907, pp. 37\u201342. IEEE Computer Society, Washington, DC, USA (2007)","DOI":"10.1109\/EASE.2007.18"},{"key":"394_CR196","unstructured":"Occello, A., Pinna-D\u00e9ry, A.-M., Riveill, M.: A runtime model for monitoring software adaptation safety and its concretisation as a service. In: Bencomo, N., Blair, G., France, R., Freddy, M., Cedric, J. (eds.) Models@runtime(MRT08), pp. 67\u201376, Toulouse, France (2008)"},{"key":"394_CR197","doi-asserted-by":"crossref","unstructured":"Olivier-Nathana\u00ebl, B.D., Benoit, B.: Toward a model-driven access-control enforcement mechanism for pervasive systems. In: Proceedings of the Workshop on Model-Driven Security, MDsec \u201912, pp. 6:1\u20136:6. ACM, New York (2012)","DOI":"10.1145\/2422498.2422504"},{"issue":"3","key":"394_CR198","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/5254.769885","volume":"14","author":"P Oreizy","year":"1999","unstructured":"Oreizy, P., Gorlick, M.M., Taylor, R.N., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D.S., Wolf, A.L.: An architecture-based approach to self-adaptive software. IEEE Intell. Syst. 14(3), 54\u201362 (1999)","journal-title":"IEEE Intell. Syst."},{"key":"394_CR199","doi-asserted-by":"crossref","unstructured":"Oreizy, P., Medvidovic, N., Taylor, R.N.: Architecture-based runtime software evolution. In: Proceedings of the 20th International Conference on Software Engineering ICSE \u201998, pp. 177\u2013186. IEEE Computer Society, Washington, DC, USA (1998)","DOI":"10.1109\/ICSE.1998.671114"},{"key":"394_CR200","doi-asserted-by":"crossref","unstructured":"Ortiz, O., Garc\u00eda, A.B., Capilla, R., Bosch, J., Hinchey, M.: Runtime variability for dynamic reconfiguration in wireless sensor network product lines. In: Proceedings of the 16th International Software Product Line Conference, vol. 2, SPLC \u201912, pp. 143\u2013150. ACM, New York (2012)","DOI":"10.1145\/2364412.2364436"},{"key":"394_CR201","unstructured":"Parra, C., Blanc, X., Duchien, L.: Context awareness for dynamic service-oriented product lines. In: Proceedings of the 13th International Software Product Line Conference, SPLC \u201909, pp. 131\u2013140. Carnegie Mellon University, Pittsburgh, PA, USA (2009)"},{"key":"394_CR202","doi-asserted-by":"crossref","unstructured":"Perrouin, G., Morin, B., Chauvel, F., Fleurey, F., Klein, J., Le Traon, Y., Barais, O., J\u00e9z\u00e9quel, J.-M.: Towards flexible evolution of dynamically adaptive systems. In: Proceedings of the 2012 International Conference on Software Engineering ICSE 2012, pp. 1353\u20131356. IEEE Press, Piscataway, NJ, USA (2012)","DOI":"10.1109\/ICSE.2012.6227081"},{"key":"394_CR203","doi-asserted-by":"crossref","unstructured":"Pienaar, J.A., Raghunathan, A., Chakradhar, S.: Mdr: performance model driven runtime for heterogeneous parallel platforms. In: Proceedings of the International Conference on Supercomputing ICS \u201911, pp. 225\u2013234. ACM, New York (2011)","DOI":"10.1145\/1995896.1995933"},{"key":"394_CR204","doi-asserted-by":"crossref","unstructured":"Pleumann, J., Haustein, S.: A model-driven runtime environment for web applications. In: Proceedings of UML 2003\u2014The Unified Modeling Language. Model Languages and Applications. 6th International Conference, pp. 190\u2013204. Springer, Berlin (2003)","DOI":"10.1007\/978-3-540-45221-8_18"},{"key":"394_CR205","doi-asserted-by":"crossref","unstructured":"Porcarelli, S., Castaldi, M., Giandomenico, F.D., Bondavalli, A., Inverardi, P.: A framework for reconfiguration-based fault-tolerance in distributed systems. In: Distributed Systems, Architecting Dependable Systems II. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-25939-8_8"},{"key":"394_CR206","doi-asserted-by":"crossref","unstructured":"Rammig, F.J., Zhao, Y., Samara, S.: On-line model checking as operating system service. In: Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems, SEUS \u201909, pp. 131\u2013143. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-10265-3_13"},{"key":"394_CR207","doi-asserted-by":"crossref","unstructured":"Redlich, D., Gilani, W.: Event-driven process-centric performance prediction via simulation. In: Business Process Management Workshops, pp. 473\u2013478. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-28108-2_46"},{"key":"394_CR208","doi-asserted-by":"crossref","unstructured":"Robinson, H., Segal, J., Sharp, H.: Ethnographically-informed empirical studies of software practice. Inf. Softw. Technol. 49(6), 540\u2013551, Qualitative Software Engineering Research (2007)","DOI":"10.1016\/j.infsof.2007.02.007"},{"key":"394_CR209","doi-asserted-by":"crossref","unstructured":"Rodr\u00edguez-Gracia, D., Criado, J., Iribarne, L., Padilla, N., Vicente-Chicote, C.: Runtime adaptation of architectural models: an approach for adapting user interfaces. In: Proceedings of the 2nd International Conference on Model and Data Engineering, MEDI\u201912, pp. 16\u201330. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-33609-6_4"},{"key":"394_CR210","unstructured":"Rohr, M., Boskovic, M., Giesecke, S., Hasselbring, W.: Model-driven development of selfmanaging software systems. In: ACM\/IEEE MoDELS Workshop on Models@Runtime"},{"issue":"2","key":"394_CR211","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s10515-011-0080-5","volume":"18","author":"M Rosenm\u00fcller","year":"2011","unstructured":"Rosenm\u00fcller, M., Siegmund, N., Apel, S., Saake, G.: Flexible feature binding in software product lines. Autom. Softw. Eng. 18(2), 163\u2013197 (2011)","journal-title":"Autom. Softw. Eng."},{"issue":"2","key":"394_CR212","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/s10270-006-0024-x","volume":"6","author":"S R\u00f6ttger","year":"2007","unstructured":"R\u00f6ttger, S., Zschaler, S.: Tool support for refinement of non-functional specifications. Softw. Syst. Model. 6(2), 185\u2013204 (2007)","journal-title":"Softw. Syst. Model."},{"key":"394_CR213","unstructured":"SEAMS \u201911: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM, New York (2011)"},{"key":"394_CR214","doi-asserted-by":"crossref","unstructured":"Sawyer, P., Bencomo, N., Hughes, D., Grace, P., Goldsby, H.J., Cheng, B.H.C.: Visualizing the analysis of dynamically adaptive systems using i* and dsls. In: Proceedings of the Second International Workshop on Requirements Engineering Visualization REV \u201907, p. 3, IEEE Computer Society, Washington, DC, USA (2007)","DOI":"10.1109\/REV.2007.10"},{"key":"394_CR215","doi-asserted-by":"crossref","unstructured":"Sawyer, P., Bencomo, N., Whittle, J., Letier, E., Finkelstein, A.: Requirements-aware systems: a research agenda for re for self-adaptive systems. In: Requirements Engineering Conference (RE), 2010 18th IEEE International pp. 95\u2013103 (2010)","DOI":"10.1109\/RE.2010.21"},{"key":"394_CR216","doi-asserted-by":"crossref","unstructured":"Schlegel, T., Pietschmann, S.: Model-based interactive ubiquitous systems. In: Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS \u201911, pp. 337\u2013338. ACM, New York (2011)","DOI":"10.1145\/1996461.1996554"},{"issue":"7","key":"394_CR217","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1109\/TSE.2006.66","volume":"32","author":"B Schmerl","year":"2006","unstructured":"Schmerl, B., Aldrich, J., Garlan, D., Kazman, R., Yan, H.: Discovering architectures from running systems. IEEE Trans. Softw. Eng. 32(7), 454\u2013466 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"394_CR218","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest editor\u2019s introduction: model-driven engineering. Computer 39(2), 25\u201331 (2006)","journal-title":"Computer"},{"key":"394_CR219","doi-asserted-by":"crossref","unstructured":"Schneider, D., Trapp, M.: Runtime safety models in open systems of systems. In: Proceedings of the 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing DASC \u201909, pp. 455\u2013460. IEEE Computer Society, Washington, DC, USA (2009)","DOI":"10.1109\/DASC.2009.111"},{"issue":"2","key":"394_CR220","doi-asserted-by":"crossref","first-page":"8:1","DOI":"10.1145\/2491465.2491467","volume":"8","author":"D Schneider","year":"2013","unstructured":"Schneider, D., Trapp, M.: Conditional safety certification of open adaptive systems. ACM Trans. Auton. Adapt. Syst. 8(2), 8:1\u20138:20 (2013)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"394_CR221","doi-asserted-by":"crossref","unstructured":"Schonbock, J., Kappel, G., Wimmer, M., Kusel, A., Retschitzegger, W., Schwinger, W.: Debugging model-to-model transformations. In: Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference\u2014Volume 01 APSEC \u201912, pp. 164\u2013173. IEEE Computer Society, Washington, DC, USA (2012)","DOI":"10.1109\/APSEC.2012.56"},{"key":"394_CR222","doi-asserted-by":"crossref","unstructured":"Schwartze, V., Blumendorf, M., Albayrak, S.: Adjustable context adaptations for user interfaces at runtime. In: Proceedings of the International Conference on Advanced Visual Interfaces, AVI \u201910, pp. 321\u2013324. ACM, New York (2010)","DOI":"10.1145\/1842993.1843051"},{"key":"394_CR223","doi-asserted-by":"crossref","unstructured":"Serral, E., Valderas, P., Pelechano, V.: Automating routine tasks in ami systems by using models at runtime. In: Proceedings of the First International Joint Conference on Ambient Intelligence Am I\u201910, pp. 1\u201310, Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16917-5_1"},{"key":"394_CR224","doi-asserted-by":"crossref","unstructured":"Serral, E., Valderas, P., Pelechano, V.: Supporting runtime system evolution to adapt to user behaviour. In: Proceedings of the 22nd International Conference on Advanced Information Systems Engineering, CAiSE\u201910, pp. 378\u2013392. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-13094-6_30"},{"issue":"1","key":"394_CR225","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1093\/comjnl\/bxs019","volume":"56","author":"E Serral","year":"2013","unstructured":"Serral, E., Valderas, P., Pelechano, V.: Context-adaptive coordination of pervasive services by interpreting models during runtime. Comput. J. 56(1), 87\u2013114 (2013)","journal-title":"Comput. J."},{"key":"394_CR226","doi-asserted-by":"crossref","unstructured":"Shroff, G., Agarwal, P., Devanbu, P.: Instant multi-tier web applications without tears. In: Proceedings of the 2nd India Software Engineering Conference ISEC \u201909, pp. 3\u201312, ACM, New York (2009)","DOI":"10.1145\/1506216.1506219"},{"key":"394_CR227","doi-asserted-by":"crossref","unstructured":"Silva Souza, V.E., Lapouchnian, A., Robinson, W.N., Mylopoulos, J.: Awareness requirements for adaptive systems. In: Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS \u201911, pp. 60\u201369. ACM, New York (2011)","DOI":"10.1145\/1988008.1988018"},{"key":"394_CR228","doi-asserted-by":"crossref","unstructured":"Simmonds, J., Ben-David, S., Chechik, M.: The smart internet. In: Monitoring and Recovery of Web Service Applications, pp. 250\u2013288. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16599-3_17"},{"key":"394_CR229","doi-asserted-by":"crossref","unstructured":"Sindhgatta, R., Sengupta, B.: An extensible framework for tracing model evolution in soa solution design. In: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications OOPSLA \u201909, pp. 647\u2013658. ACM, New York (2009)","DOI":"10.1145\/1639950.1639960"},{"key":"394_CR230","doi-asserted-by":"crossref","unstructured":"Song, H., Gallagher, M., Clarke, S.: Rapid gui development on legacy systems: a runtime model-based solution. In: Proceedings of the 7th Workshop on Models@run.time MRT \u201912, pp. 25\u201330. ACM, New York (2012)","DOI":"10.1145\/2422518.2422523"},{"key":"394_CR231","doi-asserted-by":"crossref","unstructured":"Song, H., Huang, G., Chauvel, F., Sun, Y., Mei, H.: Sm@rt: representing run-time system data as mof-compliant models. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering\u2014Volume 2 ICSE \u201910, pp. 303\u2013304. ACM, New York (2010)","DOI":"10.1145\/1810295.1810362"},{"issue":"5","key":"394_CR232","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1016\/j.jss.2010.12.009","volume":"84","author":"H Song","year":"2011","unstructured":"Song, H., Huang, G., Chauvel, F., Xiong, Y., Hu, Z., Sun, Y., Mei, H.: Supporting runtime software architecture: a bidirectional-transformation-based approach. J. Syst. Softw. 84(5), 711\u2013723 (2011)","journal-title":"J. Syst. Softw."},{"key":"394_CR233","doi-asserted-by":"crossref","unstructured":"Song, H., Huang, G., Chauvel, F., Zhang, W., Sun, Y., Shao, W., Mei, H.: Instant and incremental qvt transformation for runtime models. In: Proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS\u201911, pp. 273\u2013288. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-24485-8_20"},{"key":"394_CR234","doi-asserted-by":"crossref","unstructured":"Song, H., Huang, G., Xiong, Y., Chauvel, F., Sun, Y., Mei, H.: Inferring meta-models for runtime system data from the clients of management apis. In: Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems: Part II MODELS\u201910, pp. 168\u2013182, Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16129-2_13"},{"key":"394_CR235","doi-asserted-by":"crossref","unstructured":"Song, H., Xiong, Y., Chauvel, F., Huang, G., Hu, Z., Mei, H.: Generating synchronization engines between running systems and their model-based views. In: Proceedings of the 2009 International Conference on Models in Software Engineering MODELS\u201909, pp. 140\u2013154, Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-12261-3_14"},{"key":"394_CR236","doi-asserted-by":"crossref","unstructured":"Sottet, J.-S.: Ing\u00e9nierie dirig\u00e9e par les mod\u00e8les pour la plasticit\u00e9 des interfaces homme machine. In: Proceedings of the 19th International Conference of the Association Francophone d\u2019Interaction Homme-Machine IHM \u201907, pp. 253\u2013256, ACM, New York (2007)","DOI":"10.1145\/1541436.1541486"},{"key":"394_CR237","doi-asserted-by":"crossref","unstructured":"Sottet, J.-S., Ganneau, V., Calvary, G., Coutaz, J., Demeure, A., Favre, J.-M., Demumieux, R.: Model-driven adaptation for plastic user interfaces. In: Proceedings of the 11th IFIP TC 13 International Conference on Human-Computer Interaction INTERACT\u201907, pp. 397\u2013410. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-74796-3_38"},{"key":"394_CR238","doi-asserted-by":"crossref","unstructured":"Sousa, G.C.M., Costa, F.M., Clarke, P.J., Allen, A.A.: Model-driven development of dsml execution engines. In: Proceedings of the 7th Workshop on Models@run.time MRT \u201912, pp. 10\u201315. ACM, New York (2012)","DOI":"10.1145\/2422518.2422521"},{"key":"394_CR239","doi-asserted-by":"crossref","unstructured":"Spieker, M., Noyer, A., Iyenghar, P., Bikker, G., Wuebbelmann, J., Westerkamp, C.: Model based debugging and testing of embedded systems without affecting the runtime behaviour. In: Emerging Technologies Factory Automation (ETFA), 2012 IEEE 17th Conference on, pp. 1\u20136 (2012)","DOI":"10.1109\/ETFA.2012.6489656"},{"key":"394_CR240","doi-asserted-by":"crossref","unstructured":"Steck, A., Lotz, A., Schlegel, C.: Model-driven engineering and run-time model-usage in service robotics. In: Proceedings of the 10th ACM International Conference on Generative Programming and Component Engineering GPCE \u201911, pp. 73\u201382, ACM, New York (2011)","DOI":"10.1145\/2047862.2047875"},{"key":"394_CR241","doi-asserted-by":"crossref","unstructured":"Steck, A., Schlegel, C.: Managing execution variants in task coordination by exploiting design-time models at run-time. In: Intelligent Robots and Systems (IROS), 2011 IEEE\/RSJ International Conference on, pp. 2064\u20132069 (2011)","DOI":"10.1109\/IROS.2011.6094732"},{"key":"394_CR242","doi-asserted-by":"crossref","unstructured":"Stein, S., Neukirchner, M., Schrom, H., Ernst, R.: Consistency challenges in self-organizing distributed hard real-time systems. In: Proceedings of the 2010 13th IEEE International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing Workshops, ISORCW \u201910, pp. 39\u201348. IEEE Computer Society, Washington, DC, USA (2010)","DOI":"10.1109\/ISORCW.2010.17"},{"key":"394_CR243","doi-asserted-by":"crossref","unstructured":"Steinbauer, G., M\u00f6rth, M., Wotawa, F.: Robocup 2005. In: Real-Time Diagnosis and Repair of Faults of Robot Control Software, pp. 13\u201323. Springer, Berlin (2006)","DOI":"10.1007\/11780519_2"},{"issue":"5","key":"394_CR244","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1016\/j.infsof.2010.11.015","volume":"53","author":"M Strembeck","year":"2011","unstructured":"Strembeck, M., Mendling, J.: Modeling process-related rbac models with extended uml activity models. Inf. Softw. Technol. 53(5), 456\u2013483 (2011)","journal-title":"Inf. Softw. Technol."},{"key":"394_CR245","doi-asserted-by":"crossref","unstructured":"Sukaviriya, P., Foley, J.D., Griffith, T.: A second generation user interface design environment: the model and the runtime architecture. In: Proceedings of the INTERACT \u201993 and CHI \u201993 Conference on Human Factors in Computing Systems, CHI \u201993, pp. 375\u2013382. ACM, New York (1993)","DOI":"10.1145\/169059.169299"},{"key":"394_CR246","doi-asserted-by":"crossref","unstructured":"Taconet, C., Kazi-Aoul, Z., Zaier, M., Conan, D.: Ca3m: a runtime model and a middleware for dynamic context management. In: Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I, OTM \u201909, pp. 513\u2013530. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-05148-7_39"},{"key":"394_CR247","unstructured":"Tan, L., Kim, J., Sokolsky, O., Lee, I.: Model-based testing and monitoring for hybrid embedded systems. In: Zhang, D., Gregoire, E., DeGroot, D. (eds.) IRI, pp. 487\u2013492. IEEE Systems, Man, and Cybernetics Society (2004)"},{"key":"394_CR248","doi-asserted-by":"crossref","unstructured":"Thonhauser, M., Kreiner, C., Leitner, A.: A model-based architecture supporting virtual organizations in pervasive systems. In: Proceedings of the 2010 15th IEEE International Conference on Engineering of Complex Computer Systems ICECCS \u201910, pp. 249\u2013252. IEEE Computer Society, Washington, DC, USA (2010)","DOI":"10.1109\/ICECCS.2010.3"},{"key":"394_CR249","doi-asserted-by":"crossref","unstructured":"Thonhauser, M., Kreiner, C., Schmid, M.: Interpreting model-based components for information systems. In: Proceedings of the 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS \u201909, pp. 254\u2013261. IEEE Computer Society, Washington, DC, USA (2009)","DOI":"10.1109\/ECBS.2009.35"},{"key":"394_CR250","doi-asserted-by":"crossref","unstructured":"Thonhauser, M., Krenn, U., Kreiner, C.: Applying multi-model based components for virtual organizations. In: Proceedings of the 2011 19th International Euromicro Conference on Parallel, Distributed and Network-Based Processing PDP \u201911, pp. 285\u2013292. IEEE Computer Society, Washington, DC, USA (2011)","DOI":"10.1109\/PDP.2011.89"},{"key":"394_CR251","doi-asserted-by":"crossref","unstructured":"Tombelle, C., Vanwormhoudt, G.: Dynamic and generic manipulation of models: from introspection to scripting. In: Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems MoDELS\u201906, pp. 395\u2013409, Springer, Berlin (2006)","DOI":"10.1007\/11880240_28"},{"key":"394_CR252","doi-asserted-by":"crossref","unstructured":"Truyen, E., Janssens, N., Sanen, F., Joosen, W.: Support for distributed adaptations in aspect-oriented middleware. In: Proceedings of the 7th International Conference on Aspect-Oriented Software Development, AOSD \u201908, pp. 120\u2013131. ACM, New York (2008)","DOI":"10.1145\/1353482.1353497"},{"key":"394_CR253","unstructured":"Uttamchandani, S.: Polus: a self-evolving model-based approach for automating the observe-analyze-act loop. PhD thesis, Champaign, IL, USA, (2005) AAI3199160"},{"key":"394_CR254","doi-asserted-by":"crossref","unstructured":"Vanderdonckt, J., Guerrero-Garcia, J., Gonzalez-Calleros, J.M.: A model-based approach for developing vectorial user interfaces. In: Proceedings of the 2009 Latin American Web Congress (la-web 2009), LA-WEB \u201909, pp. 52\u201359. IEEE Computer Society, Washington, DC, USA (2009)","DOI":"10.1109\/LA-WEB.2009.24"},{"key":"394_CR255","doi-asserted-by":"crossref","unstructured":"Vogel, T., Giese, H.: Adaptation and abstract runtime models. In: Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems SEAMS \u201910, pp. 39\u201348. ACM, New York (2010)","DOI":"10.1145\/1808984.1808989"},{"key":"394_CR256","doi-asserted-by":"crossref","unstructured":"Vogel, T., Giese, H.: A language for feedback loops in self-adaptive systems: executable runtime megamodels. In: Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2012 ICSE Workshop on, pp. 129\u2013138 (2012)","DOI":"10.1109\/SEAMS.2012.6224399"},{"key":"394_CR257","doi-asserted-by":"crossref","unstructured":"Vogel, T., Neumann, S., Hildebrandt, S., Giese, H., Becker, B.: Model-driven architectural monitoring and adaptation for autonomic systems. In: Proceedings of the 6th International Conference on Autonomic Computing, ICAC \u201909, pp. 67\u201368. ACM, New York (2009)","DOI":"10.1145\/1555228.1555249"},{"key":"394_CR258","doi-asserted-by":"crossref","unstructured":"Vogel, T., Neumann, S., Hildebrandt, S., Giese, H., Becker, B.: Incremental model synchronization for efficient run-time monitoring. In: Proceedings of the 2009 International Conference on Models in Software Engineering, MODELS\u201909, pp. 124\u2013139. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-12261-3_13"},{"key":"394_CR259","doi-asserted-by":"crossref","unstructured":"Vogel, T., Seibel, A., Giese, H.: The role of models and megamodels at runtime. In: Proceedings of the 2010 International Conference on Models in Software Engineering, MODELS\u201910, pp. 224\u2013238. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21210-9_22"},{"key":"394_CR260","doi-asserted-by":"crossref","unstructured":"Vrbaski, M., Mussbacher, G., Petriu, D., Amyot, D.: Goal models as run-time entities in context-aware systems. In: Proceedings of the 7th Workshop on Models@run.time MRT \u201912, pp. 3\u20138, ACM, New York (2012)","DOI":"10.1145\/2422518.2422520"},{"key":"394_CR261","doi-asserted-by":"crossref","unstructured":"Waignier, G., Meur, A.-F., Duchien, L.: A model-based framework to design and debug safe component-based autonomic systems. In: Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems, QoSA \u201909. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02351-4_1"},{"key":"394_CR262","doi-asserted-by":"crossref","unstructured":"Wang, B., Zhou, X., Yang, G., Yang, Y.: Web services trustworthiness evaluation based on fuzzy cognitive maps. In: Proceedings of the 2010 International Symposium on Intelligence Information Processing and Trusted Computing, IPTC \u201910, pp. 230\u2013233. IEEE Computer Society, Washington, DC, USA (2010)","DOI":"10.1109\/IPTC.2010.141"},{"key":"394_CR263","doi-asserted-by":"crossref","unstructured":"Wang, L., Wong, E., Xu, D.: A threat model driven approach for security testing. In: Proceedings of the Third International Workshop on Software Engineering for Secure Systems SESS \u201907, p. 10. IEEE Computer Society, Washington, DC, USA (2007)","DOI":"10.1109\/SESS.2007.2"},{"key":"394_CR264","doi-asserted-by":"crossref","unstructured":"Weiss, G., Becker, K., Kamphausen, B., Radermacher, A., Gerard, S.: Model-driven development of self-describing components for self-adaptive distributed embedded systems. In: Software Engineering and Advanced Applications (SEAA), 2011 37th EUROMICRO Conference on, pp. 477\u2013484 (2011)","DOI":"10.1109\/SEAA.2011.78"},{"key":"394_CR265","doi-asserted-by":"crossref","unstructured":"Welsh, K., Sawyer, P.: Managing testing complexity in dynamically adaptive systems: a model-driven approach. In: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops ICSTW \u201910, pp. 290\u2013298. IEEE Computer Society, Washington, DC, USA (2010)","DOI":"10.1109\/ICSTW.2010.57"},{"key":"394_CR266","doi-asserted-by":"crossref","unstructured":"Welsh, K., Sawyer, P., Bencomo, N.: Towards requirements aware systems: Run-time resolution of design-time assumptions. In: Automated Software Engineering (ASE), 2011 26th IEEE\/ACM International Conference on, pp. 560\u2013563 (2011)","DOI":"10.1109\/ASE.2011.6100125"},{"key":"394_CR267","doi-asserted-by":"crossref","unstructured":"Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.-M.: Relax: incorporating uncertainty into the specification of self-adaptive systems. In: Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE, RE \u201909, pp. 79\u201388. IEEE Computer Society, Washington, DC, USA (2009)","DOI":"10.1109\/RE.2009.36"},{"key":"394_CR268","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Kappel, G., Schoenboeck, J., Kusel, A., Retschitzegger, W., Schwinger, W.: A petri net based debugging environment for qvt relations. In: Proceedings of the 2009 IEEE\/ACM International Conference on Automated Software Engineering ASE \u201909, pp. 3\u201314. IEEE Computer Society, Washington, DC, USA (2009)","DOI":"10.1109\/ASE.2009.99"},{"key":"394_CR269","doi-asserted-by":"crossref","unstructured":"Wimmer, M., Kusel, A., Schoenboeck, J., Kappel, G., Retschitzegger, W., Schwinger, W.: Reviving qvt relations: model-based debugging using colored petri nets. In: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems MODELS \u201909, pp. 727\u2013732. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04425-0_59"},{"key":"394_CR270","doi-asserted-by":"crossref","unstructured":"Witt, H., Nicolai, T., Kenn, H.: The wui-toolkit: a model-driven ui development framework for wearable user interfaces. In: Proceedings of the 27th International Conference on Distributed Computing Systems Workshops, ICDCSW \u201907, p. 43, IEEE Computer Society, Washington, DC, USA (2007)","DOI":"10.1109\/ICDCSW.2007.80"},{"key":"394_CR271","doi-asserted-by":"crossref","unstructured":"Wolfe, C., Graham, T.C., Phillips, W.G.: An incremental algorithm for high-performance runtime model consistency. In: Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems MODELS \u201909, pp. 357\u2013371. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04425-0_27"},{"issue":"5","key":"394_CR272","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1016\/j.infsof.2008.05.005","volume":"51","author":"L Xiao","year":"2009","unstructured":"Xiao, L.: An adaptive security model using agent-oriented mda. Inf. Softw. Technol. 51(5), 933\u2013955 (2009)","journal-title":"Inf. Softw. Technol."},{"key":"394_CR273","doi-asserted-by":"crossref","unstructured":"Yang, R., Chen, Z., Xu, B., Wong, W.E., Zhang, J.: Improve the effectiveness of test case generation on efsm via automatic path feasibility analysis. In: Proceedings of the 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering HASE \u201911, pp. 17\u201324. IEEE Computer Society, Washington, DC, USA (2011)","DOI":"10.1109\/HASE.2011.12"},{"key":"394_CR274","unstructured":"Yu, E., Mylopoulos, J.: Why goal-oriented requirements engineering. In: Proceedings of the 4th International Workshop on Requirements Engineering: Foundations of Software, Quality pp. 15\u201322 (1998)"},{"key":"394_CR275","doi-asserted-by":"crossref","unstructured":"Zeng, K., Guo, Y., Angelov, C.K.: Graphical model debugger framework for embedded systems. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE \u201910, pp. 87\u201392, 3001 Leuven, Belgium, Belgium, European Design and Automation Association (2010)","DOI":"10.1109\/DATE.2010.5457232"},{"key":"394_CR276","doi-asserted-by":"crossref","unstructured":"Zeng, L., Lei, H., Dikun, M., Chang, H., Bhaskaran, K.: Model-driven business performance management. In: Proceedings of the IEEE International Conference on e-Business Engineering, ICEBE \u201905, pp. 295\u2013304. IEEE Computer Society, Washington, DC, USA (2005)","DOI":"10.1109\/ICEBE.2005.89"},{"key":"394_CR277","doi-asserted-by":"crossref","unstructured":"Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive software. In: Proceedings of the 28th International Conference on Software Engineering ICSE \u201906, pp. 371\u2013380, ACM, New York (2006)","DOI":"10.1145\/1134285.1134337"},{"key":"394_CR278","doi-asserted-by":"crossref","unstructured":"Zhang, L., Sun, Y., Song, H., Wang, W., Huang, G.: Detecting anti-patterns in java ee runtime system model. In: Proceedings of the Fourth Asia-Pacific Symposium on Internetware, Internetware \u201912, pp. 21:1\u201321:8, ACM, New York (2012)","DOI":"10.1145\/2430475.2430496"},{"issue":"4","key":"394_CR279","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/j.entcs.2006.02.008","volume":"144","author":"Y Zhao","year":"2006","unstructured":"Zhao, Y., Oberth\u00fcr, S., Kardos, M., Rammig, F.J.: Model-based runtime verification framework for self-optimizing systems. Electron. Notes Theor. Comput. Sci. 144(4), 125\u2013145 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"394_CR280","doi-asserted-by":"crossref","unstructured":"Zhao, Y., Oberth\u00fcr, S., Montealegre, N., Rammig, F.J., Kardos, M.: Increasing dependability by means of model-based acceptance test inside rtos. In: Proceedings of the 6th International Conference on Parallel Processing and Applied Mathematics PPAM\u201905, pp. 1034\u20131041, Springer, Berlin (2006)","DOI":"10.1007\/11752578_125"},{"issue":"1","key":"394_CR281","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/j.entcs.2009.09.035","volume":"253","author":"Y Zhao","year":"2009","unstructured":"Zhao, Y., Rammig, F.: Model-based runtime verification framework. Electron. Notes Theor. Comput. Sci. 253(1), 179\u2013193 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"1","key":"394_CR282","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/MS.2011.3","volume":"28","author":"O Zimmermann","year":"2011","unstructured":"Zimmermann, O.: Architectural decisions as reusable design assets. IEEE Softw. 28(1), 64\u201369 (2011)","journal-title":"IEEE Softw."},{"key":"394_CR283","doi-asserted-by":"crossref","unstructured":"Zinky, J.A., Loyall, J.P., Shapiro, R.: Runtime performance modeling and measurement of adaptive distributed object applications. In: On the Move to Meaningful Internet Systems, 2002\u2014DOA\/CoopIS\/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002, pp. 755\u2013772. Springer, London (2002)","DOI":"10.1007\/3-540-36124-3_51"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0394-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-013-0394-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0394-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T05:45:21Z","timestamp":1746078321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-013-0394-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12,17]]},"references-count":283,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,2]]}},"alternative-id":["394"],"URL":"https:\/\/doi.org\/10.1007\/s10270-013-0394-9","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12,17]]}}}