{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T22:47:37Z","timestamp":1749682057772,"version":"3.40.4"},"publisher-location":"Cham","reference-count":101,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319089140"},{"type":"electronic","value":"9783319089157"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08915-7_2","type":"book-chapter","created":{"date-parts":[[2014,7,4]],"date-time":"2014-07-04T13:35:54Z","timestamp":1404480954000},"page":"19-46","source":"Crossref","is-referenced-by-count":28,"title":["Mechanisms for Leveraging Models at Runtime in Self-adaptive Software"],"prefix":"10.1007","author":[{"given":"Amel","family":"Bennaceur","sequence":"first","affiliation":[]},{"given":"Robert","family":"France","sequence":"additional","affiliation":[]},{"given":"Giordano","family":"Tamburrelli","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Vogel","sequence":"additional","affiliation":[]},{"given":"Pieter J.","family":"Mosterman","sequence":"additional","affiliation":[]},{"given":"Walter","family":"Cazzola","sequence":"additional","affiliation":[]},{"given":"Fabio M.","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Alfonso","family":"Pierantonio","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Tichy","sequence":"additional","affiliation":[]},{"given":"Mehmet","family":"Ak\u015fit","sequence":"additional","affiliation":[]},{"given":"P\u00e4r","family":"Emmanuelson","sequence":"additional","affiliation":[]},{"given":"Huang","family":"Gang","sequence":"additional","affiliation":[]},{"given":"Nikolaos","family":"Georgantas","sequence":"additional","affiliation":[]},{"given":"David","family":"Redlich","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Andersson, J., Baresi, L., Bencomo, N., de Lemos, R., Gorla, A., Inverardi, P., Vogel, T.: Software Engineering Processes for Self-Adaptive Systems. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a07475, pp. 51\u201375. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-35813-5_3"},{"issue":"6","key":"2_CR2","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1109\/TSE.2009.30","volume":"35","author":"M. Antkiewicz","year":"2009","unstructured":"Antkiewicz, M., Czarnecki, K., Stephan, M.: Engineering of framework-specific modeling languages. IEEE Transactions on Software Engineering\u00a035(6), 795\u2013824 (2009)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-16145-2_9","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Arendt","year":"2010","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced concepts and tools for in-place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol.\u00a06394, pp. 121\u2013135. Springer, Heidelberg (2010)"},{"key":"2_CR4","unstructured":"Barbero, M., Fabro, M.D.D., B\u00e9zivin, J.: Traceability and Provenance Issues in Global Model Management. In: Proc. of 3rd ECMDA Traceability Workshop (ECMDA-TW), pp. 47\u201355 (2007)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Becker, B., Beyer, D., Giese, H., Klein, F., Schilling, D.: Symbolic invariant verification for systems with dynamic structural adaptation. In: Proceedings of the 28th International Conference on Software Engineering (ICSE), Shanghai, China. ACM (2006)","DOI":"10.1145\/1134285.1134297"},{"issue":"3","key":"2_CR6","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/s10270-006-0045-5","volume":"6","author":"S.M. Becker","year":"2007","unstructured":"Becker, S.M., Herold, S., Lohmann, S., Westfechtel, B.: A graph-based algorithm for consistency maintenance in incremental and interactive integration tools. Software and System Modeling\u00a06(3), 287\u2013315 (2007)","journal-title":"Software and System Modeling"},{"key":"2_CR7","first-page":"3","volume-title":"Annual Simulation Symposium","author":"M. Bertoli","year":"2007","unstructured":"Bertoli, M., Casale, G., Serazzi, G.: The jmt simulator for performance evaluation of non-product-form queueing networks. In: Annual Simulation Symposium, pp. 3\u201310. IEEE Computer Society, Norfolk (2007)"},{"key":"2_CR8","unstructured":"Bertoli, M., Casale, G., Serazzi, G.: An overview of the jmt queueing network simulator. Tech. Rep. TR 2007.2, Politecnico di Milano - DEI (2007)"},{"key":"2_CR9","unstructured":"B\u00e9zivin, J., G\u00e9rard, S., Muller, P.A., Rioux, L.: MDA components: Challenges and Opportunities. In: Proc. of the 1st Intl. Workshop on Metamodelling for MDA, pp. 23\u201341 (2003)"},{"key":"2_CR10","unstructured":"B\u00e9zivin, J., Jouault, F., Valduriez, P.: On the Need for Megamodels. In: Proc. of the OOPSLA\/GPCE Workshop on Best Practices for Model-Driven Software Development (2004)"},{"issue":"10","key":"2_CR11","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2009.326","volume":"42","author":"G. Blair","year":"2009","unstructured":"Blair, G., Bencomo, N., France, R.B.: Models@run.time: Guest Editors\u2019 Introduction. Computer\u00a042(10), 22\u201327 (2009)","journal-title":"Computer"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/3-540-45559-0_9","volume-title":"Middleware 2000","author":"G.S. Blair","year":"2000","unstructured":"Blair, G.S., Blair, L., Issarny, V., T\u016fma, P., Zarras, A.: The role of software architecture in constraining adaptation in component-based middleware platforms. In: Coulson, G., Sventek, J. (eds.) Middleware 2000. LNCS, vol.\u00a01795, pp. 164\u2013184. Springer, Heidelberg (2000)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Brun, Y., Di Marzo Serugendo, G., Gacek, C., Giese, H., Kienle, H., Litoiu, M., M\u00fcller, H., Pezz\u00e8, M., Shaw, M.: Engineering Self-Adaptive Systems through Feedback Loops. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 48\u201370. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-02161-9_3"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Bruneliere, H., Cabot, J., Jouault, F., Madiot, F.: Modisco: a generic and extensible framework for model driven reverse engineering. In: Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering, pp. 173\u2013174. ACM (2010)","DOI":"10.1145\/1858996.1859032"},{"issue":"3","key":"2_CR15","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1109\/TSE.2010.92","volume":"37","author":"R. Calinescu","year":"2011","unstructured":"Calinescu, R., Grunske, L., Kwiatkowska, M.Z., Mirandola, R., Tamburrelli, G.: Dynamic qos management and optimization in service-based systems. IEEE Trans. Software Eng.\u00a037(3), 387\u2013409 (2011)","journal-title":"IEEE Trans. Software Eng."},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-319-08915-7_10","volume-title":"Models@Run-Time","author":"W. Cazzola","year":"2014","unstructured":"Cazzola, W.: Evolution as Reflections on the Design. In: Bencomo, N., Chang, B., France, R.B., A\u00dfmann, U. (eds.) Models@Run-Time. LNCS, vol.\u00a08378, pp. 259\u2013278. Springer, Heidelberg (2014)"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Cazzola, W., Pini, S., Ghoneim, A., Saake, G.: Co-Evolving Application Code and Design Models by Exploiting Meta-Data. In: Proceedings of the 12th Annual ACM Symposium on Applied Computing (SAC 2007), Seoul, South Korea, pp. 1275\u20131279. ACM Press (March 2007)","DOI":"10.1145\/1244002.1244278"},{"key":"2_CR18","unstructured":"Chauvel, F., Barais, O.: Modelling Adaptation Policies for Self-Adaptive Component Architectures. In: Proceedings of the Workshop on Model-Driven Software Adaptation (M-ADAPT 2007) at the 21st European Conference on Object-Oriented Programming (ECOOP 2007), Berlin, Germany, pp. 61\u201368 (2007)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Cheng, B.H.C., et al.: Software Engineering for Self-Adaptive Systems: A Research Roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a05525, pp. 1\u201326. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-02161-9"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-19440-5_11","volume-title":"Software Language Engineering","author":"A. Cicchetti","year":"2011","unstructured":"Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: JTL: A bidirectional and change propagating transformation language. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol.\u00a06563, pp. 183\u2013202. Springer, Heidelberg (2011)"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/978-3-642-34321-6_46","volume-title":"Service-Oriented Computing","author":"G. Cugola","year":"2012","unstructured":"Cugola, G., Ghezzi, C., Pinto, L.S., Tamburrelli, G.: Adaptive service-oriented mobile applications: A declarative approach. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds.) Service Oriented Computing. LNCS, vol.\u00a07636, pp. 607\u2013614. Springer, Heidelberg (2012)"},{"key":"2_CR22","unstructured":"Cugola, G., Ghezzi, C., Pinto, L.S., Tamburrelli, G.: Selfmotion: A declarative approach for adaptive service-oriented mobile applications. Journal of Systems and Software (2013), http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0164121213002653"},{"issue":"3","key":"2_CR23","first-page":"621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal \u2013 Model-Driven Software Development\u00a045(3), 621\u2013645 (2006)","journal-title":"IBM Systems Journal \u2013 Model-Driven Software Development"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-02408-5_19","volume-title":"Theory and Practice of Model Transformations","author":"K. Czarnecki","year":"2009","unstructured":"Czarnecki, K., Foster, J.N., Hu, Z., L\u00e4mmel, R., Sch\u00fcrr, A., Terwilliger, J.F.: Bidirectional transformations: A cross-discipline perspective. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 260\u2013283. Springer, Heidelberg (2009)"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Deng, Y., Sadjadi, S.M., Clarke, P.J., Zhang, C., Hristidis, V., Rangaswami, R., Prabakar, N.: A communication virtual machine. In: 30th Annual International on Computer Software and Applications Conference, COMPSAC 2006, vol.\u00a01, pp. 521\u2013531. IEEE (2006)","DOI":"10.1109\/COMPSAC.2006.7"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"D\u2019Hondt, T., De Volder, K., Mens, K., Wuyts, R.: Co-Evolution of Object-Oriented Software Design and Implementation. In: Ak\u015fit, M. (ed.) Proceedings of the International Symposium on Software Architectures and Component Technology, Twente, The Netherlands, pp. 207\u2013224. Kluwer (January 2000)","DOI":"10.1007\/978-1-4615-0883-0_7"},{"key":"2_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-540-69489-2_30","volume-title":"Models in Software Engineering","author":"J. Dubus","year":"2007","unstructured":"Dubus, J., Merle, P.: Applying OMG D&C specification and ECA rules for autonomous distributed component-based systems. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, pp. 242\u2013251. Springer, Heidelberg (2007)"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Egyed, A., Letier, E., Finkelstein, A.: Generating and evaluating choices for fixing inconsistencies in uml design models. In: 23rd IEEE\/ACM International Conference on Automated Software Engineering (ASE 2008), L\u2019Aquila, Italy, 15-19 September, pp. 99\u2013108. IEEE (2008)","DOI":"10.1109\/ASE.2008.20"},{"key":"2_CR29","series-title":"Lecture Notes in Computer Science","volume-title":"Graph Transformations and Model-Driven Engineering","year":"2010","unstructured":"Engels, G., Lewerentz, C., Sch\u00e4fer, W., Sch\u00fcrr, A., Westfechtel, B. (eds.): Nagl Festschrift. LNCS, vol.\u00a05765. Springer, Heidelberg (2010)"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Epifani, I., Ghezzi, C., Mirandola, R., Tamburrelli, G.: Model evolution by run-time parameter adaptation. In: ICSE, pp. 111\u2013121. IEEE (2009)","DOI":"10.1109\/ICSE.2009.5070513"},{"key":"2_CR31","unstructured":"Favre, J.M.: Foundations of Model (Driven) (Reverse) Engineering: Models \u2013 Episode I: Stories of The Fidus Papyrus and of The Solarus. In: Language Engineering for Model-Driven Software Development. No. 04101 in Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl (2005)"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: Run-time efficient probabilistic model checking. In: 2011 33rd International Conference on Software Engineering (ICSE), pp. 341\u2013350 (2011)","DOI":"10.1145\/1985793.1985840"},{"issue":"2","key":"2_CR33","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s00165-011-0207-2","volume":"24","author":"A. Filieri","year":"2012","unstructured":"Filieri, A., Ghezzi, C., Tamburrelli, G.: A formal approach to adaptive software: continuous assurance of non-functional requirements. Formal Asp. Comput.\u00a024(2), 163\u2013186 (2012)","journal-title":"Formal Asp. Comput."},{"issue":"8","key":"2_CR34","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1109\/32.310667","volume":"20","author":"A.C.W. Finkelstein","year":"1994","unstructured":"Finkelstein, A.C.W., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multiperspective specifications. IEEE Transactions on Software Engineering\u00a020(8), 569 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-540-46464-8_21","volume-title":"Theory and Application of Graph Transformations","author":"T. Fischer","year":"2000","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story diagrams: A new graph rewrite language based on the unified modeling language and java. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol.\u00a01764, pp. 296\u2013309. Springer, Heidelberg (2000)"},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Fisher, K., Gruber, R.: Pads: a domain-specific language for processing ad hoc data. In: ACM SIGPLAN Notices, vol.\u00a040, pp. 295\u2013304. ACM (2005)","DOI":"10.1145\/1064978.1065046"},{"key":"2_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-01648-6_11","volume-title":"Models in Software Engineering","author":"F. Fleurey","year":"2009","unstructured":"Fleurey, F., Dehlen, V., Bencomo, N., Morin, B., J\u00e9z\u00e9quel, J.-M.: Modeling and Validating Dynamic Adaptation. In: Chaudron, M.R.V. (ed.) MODELS 2008. LNCS, vol.\u00a05421, pp. 97\u2013108. Springer, Heidelberg (2009)"},{"key":"2_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"606","DOI":"10.1007\/978-3-642-04425-0_47","volume-title":"Model Driven Engineering Languages and Systems","author":"F. Fleurey","year":"2009","unstructured":"Fleurey, F., Solberg, A.: A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 606\u2013621. Springer, Heidelberg (2009)"},{"issue":"2","key":"2_CR39","doi-asserted-by":"publisher","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 Software\u00a023(2), 62\u201370 (2006)","journal-title":"IEEE Software"},{"key":"2_CR40","first-page":"37","volume-title":"FOSE 2007: 2007 Future of Software Engineering","author":"R. France","year":"2007","unstructured":"France, R., Rumpe, B.: Model-driven Development of Complex Software: A Research Roadmap. In: FOSE 2007: 2007 Future of Software Engineering, pp. 37\u201354. IEEE Computer Society, Washington, DC (2007)"},{"issue":"10","key":"2_CR41","doi-asserted-by":"publisher","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\u00a037(10), 46\u201354 (2004)","journal-title":"Computer"},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"Garofalakis, M., Gionis, A., Rastogi, R., Seshadri, S., Shim, K.: Xtract: A system for extracting document type descriptors from xml documents. In: ACM SIGMOD Record, vol.\u00a029, pp. 165\u2013176. ACM (2000)","DOI":"10.1145\/335191.335409"},{"issue":"10","key":"2_CR43","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/MC.2009.335","volume":"42","author":"J.C. Georgas","year":"2009","unstructured":"Georgas, J.C., Hoek, A., Taylor, R.N.: Using Architectural Models to Manage and Visualize Runtime Adaptation. Computer\u00a042(10), 52\u201360 (2009)","journal-title":"Computer"},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Pinto, L.S., Spoletini, P., Tamburrelli, G.: Managing non-functional uncertainty via model-driven adaptivity. In: Notkin, D., Cheng, B.H.C., Pohl, K. (eds.) ICSE, pp. 33\u201342. IEEE\/ACM (2013)","DOI":"10.1109\/ICSE.2013.6606549"},{"key":"2_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-642-30982-3_5","volume-title":"Formal Methods for Model-Driven Engineering","author":"H. Giese","year":"2012","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: Bernardo, M., Cortellessa, V., Pierantonio, A. (eds.) SFM 2012. LNCS, vol.\u00a07320, pp. 137\u2013191. Springer, Heidelberg (2012)"},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"Giese, H., Wagner, R.: From model transformation to incremental bidirectional model synchronization. Software and Systems Modeling (SoSyM)\u00a08(1) (2009)","DOI":"10.1007\/s10270-008-0089-9"},{"issue":"1","key":"2_CR47","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10270-009-0121-8","volume":"9","author":"J. Greenyer","year":"2010","unstructured":"Greenyer, J., Kindler, E.: Comparing relational model transformation technologies: implementing query\/view\/transformation with triple graph grammars. Software and System Modeling\u00a09(1), 21\u201346 (2010)","journal-title":"Software and System Modeling"},{"key":"2_CR48","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1016\/S1571-0661(05)80188-4","volume":"2","author":"R. Heckel","year":"1995","unstructured":"Heckel, R., Wagner, A.: Ensuring consistency of conditional graph rewriting - a constructive approach. Electr. Notes Theor. Comput. Sci.\u00a02, 118\u2013126 (1995)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"2_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/11691372_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Hinton","year":"2006","unstructured":"Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 441\u2013444. Springer, Heidelberg (2006)"},{"key":"2_CR50","unstructured":"IBM: An architectural blueprint for autonomic computing. Tech. rep., IBM (2003)"},{"key":"2_CR51","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/225014.225016","volume-title":"ICSE 1995: Proceedings of the 17th International Conference on Software Engineering","author":"M. Jackson","year":"1995","unstructured":"Jackson, M., Zave, P.: Deriving specifications from requirements: an example. In: ICSE 1995: Proceedings of the 17th International Conference on Software Engineering, pp. 15\u201324. ACM, New York (1995)"},{"key":"2_CR52","unstructured":"Jouault, F., B\u00e9zivin, J., Chevrel, R., Gray, J.: Experiments in Run-Time Model Extraction. In: Proceedings of 1st International Workshop on Models@run.time (2006)"},{"key":"2_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11663430_14","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 128\u2013138. Springer, Heidelberg (2006)"},{"issue":"1","key":"2_CR54","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer\u00a036(1), 41\u201350 (2003)","journal-title":"Computer"},{"issue":"3","key":"2_CR55","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/5254.769883","volume":"14","author":"M.M. Kokar","year":"1999","unstructured":"Kokar, M.M., Baclawski, K., Eracar, Y.A.: Control Theory-Based Foundations of Self-Controlling Software. Intelligent Systems and their Applications\u00a014(3), 37\u201345 (1999)","journal-title":"Intelligent Systems and their Applications"},{"key":"2_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 200\u2013204. Springer, Heidelberg (2002)"},{"key":"2_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-642-21210-9_21","volume-title":"Models in Software Engineering","author":"G. Lehmann","year":"2011","unstructured":"Lehmann, G., Blumendorf, M., Trollmann, F., Albayrak, S.: Meta-modeling Runtime Models. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol.\u00a06627, pp. 209\u2013223. Springer, Heidelberg (2011)"},{"key":"2_CR58","doi-asserted-by":"crossref","unstructured":"de Lemos, R., et al.: Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Self-Adaptive Systems. LNCS, vol.\u00a07475, pp. 1\u201332. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-35813-5"},{"key":"2_CR59","doi-asserted-by":"crossref","unstructured":"Mao, M., Li, J., Humphrey, M.: Cloud auto-scaling with deadline and budget constraints. In: 2010 11th IEEE\/ACM International Conference on Grid Computing (GRID), pp. 41\u201348. IEEE (2010)","DOI":"10.1109\/GRID.2010.5697966"},{"key":"2_CR60","doi-asserted-by":"crossref","unstructured":"McKinley, P.K., Cheng, B.H.C., Ramirez, A.J., Jensen, A.C.: Applying evolutionary computation to mitigate uncertainty in dynamically-adaptive, high-assurance middleware. Journal of Internet Services and Applications, 1\u20138 (2011)","DOI":"10.1007\/s13174-011-0049-4"},{"issue":"1","key":"2_CR61","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic, N., Taylor, R.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering\u00a026(1), 70\u201393 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"2_CR62","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1016\/j.cl.2005.09.002","volume":"32","author":"K. Mens","year":"2006","unstructured":"Mens, K., Kellens, A., Pluquet, F., Wuyts, R.: Co-evolving Code and Design Using Intensional Views - A Case Study. Journal of Computer Languages, Systems and Structures\u00a032(2), 140\u2013156 (2006)","journal-title":"Journal of Computer Languages, Systems and Structures"},{"key":"2_CR63","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.entcs.2005.10.021","volume":"152","author":"T. Mens","year":"2006","unstructured":"Mens, T., Van Gorp, P.: A taxonomy of model transformation. Electronic Notes in Theoretical Computer Science\u00a0152, 125\u2013142 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"2_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"782","DOI":"10.1007\/978-3-540-87875-9_54","volume-title":"Model Driven Engineering Languages and Systems","author":"B. Morin","year":"2008","unstructured":"Morin, B., Fleurey, F., Bencomo, N., J\u00e9z\u00e9quel, J.-M., Solberg, A., Dehlen, V., Blair, G.S.: An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 782\u2013796. Springer, Heidelberg (2008)"},{"issue":"2","key":"2_CR65","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1109\/TCST.2004.824280","volume":"12","author":"P.J. Mosterman","year":"2004","unstructured":"Mosterman, P.J., Sztipanovits, J., Engell, S.: Computer-automated multiparadigm modeling in control systems technology. IEEE Trans. Contr. Sys. Techn. \u2013 special issue on Computer Automated Multiparadigm Modeling\u00a012(2), 223\u2013234 (2004)","journal-title":"IEEE Trans. Contr. Sys. Techn. \u2013 special issue on Computer Automated Multiparadigm Modeling"},{"key":"2_CR66","doi-asserted-by":"crossref","unstructured":"Mosterman, P.J., Vangheluwe, H.: Computer automated multi-paradigm modeling in control system design. In: Proceedings of the IEEE International Symposium on Computer-Aided Control Systems Design (CACSD 2000), pp. 65\u201370 (2000)","DOI":"10.1109\/CACSD.2000.900188"},{"issue":"4","key":"2_CR67","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1145\/643120.643121","volume":"12","author":"P.J. Mosterman","year":"2002","unstructured":"Mosterman, P.J., Vangheluwe, H.: Guest editorial: Special issue on computer automated multi-paradigm modeling. ACM Trans. Model. Comput. Simul.\u00a012(4), 249\u2013255 (2002)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"2_CR68","doi-asserted-by":"crossref","unstructured":"Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: Proceedings of the 25th International Conference on Software Engineering, Portland, Oregon, USA, May 3-10, pp. 455\u2013464. IEEE Computer Society (2003)","DOI":"10.1109\/ICSE.2003.1201223"},{"key":"2_CR69","unstructured":"Object Management Group (OMG): Software & Systems Process Engineering Metamodel specification (SPEM) Version 2.0 (2008), OMG Adopted Specification formal\/2008-04-01"},{"key":"2_CR70","unstructured":"Object Management Group (OMG): MOF 2.0 QVT Final Adopted Specification v1.1 (2011), OMG Adopted Specification formal\/2011-01-01"},{"key":"2_CR71","unstructured":"Object Management Group (OMG): OMG Meta Object Facility (MOF) Core Specification, Version 2.4.1, OMG Adopted Specification formal\/2011-08-07 (2011)"},{"key":"2_CR72","unstructured":"Object Management Group (OMG): OMG Object Constraint Language (OCL) Version 2.3.1, OMG Adopted Specification formal\/2012-01-01 (2012)"},{"key":"2_CR73","unstructured":"OMG: Model Driven Architecture (MDA). Technical Report ORMSC\/2001-07-01, OMG (July 2001)"},{"key":"2_CR74","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1109\/ICSE.1998.671114","volume-title":"ICSE 1998: Proceedings of the 20th International Conference on Software Engineering","author":"P. Oreizy","year":"1998","unstructured":"Oreizy, P., Medvidovic, N., Taylor, R.N.: Architecture-based runtime software evolution. In: ICSE 1998: Proceedings of the 20th International Conference on Software Engineering, pp. 177\u2013186. IEEE Computer Society, Washington, DC (1998)"},{"key":"2_CR75","first-page":"899","volume-title":"ICSE Companion 2008: Companion of the 30th International Conference on Software Engineering","author":"P. Oreizy","year":"2008","unstructured":"Oreizy, P., Medvidovic, N., Taylor, R.N.: Runtime software adaptation: framework, approaches, and styles. In: ICSE Companion 2008: Companion of the 30th International Conference on Software Engineering, pp. 899\u2013910. ACM, New York (2008)"},{"key":"2_CR76","unstructured":"Ramirez, A.J., Cheng, B.: Evolving Models at Run Time to Address Functional and Non-Functional Adaptation Requirements. In: Bencomo, N., Blair, G., France, R., Jeanneret, C., Munoz, F. (eds.) Proceedings of the 4th International Workshop on Models@run.time. CEUR Workshop Proceedings, vol.\u00a0509, pp. 31\u201340 (2009)"},{"key":"2_CR77","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: The GROOVE simulator: A\u00a0tool for state space generation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 479\u2013485. Springer, Heidelberg (2004)"},{"key":"2_CR78","doi-asserted-by":"crossref","unstructured":"Rozenberg, G.: Handbook of Graph Grammars and Computing by Grah Transformation, vol.\u00a01. Foundations. World Scientific (1997)","DOI":"10.1142\/9789812384720"},{"issue":"2","key":"2_CR79","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1516533.1516538","volume":"4","author":"M. Salehie","year":"2009","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Trans. Auton. Adapt. Syst.\u00a04(2), 1\u201342 (2009)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"2_CR80","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"2_CR81","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1142\/9789812384720_0007","volume-title":"Handbook of graph grammars and computing by graph transformation: Foundations","author":"A. Sch\u00fcrr","year":"1997","unstructured":"Sch\u00fcrr, A.: Programmed graph replacement systems. In: Handbook of graph grammars and computing by graph transformation: Foundations, vol.\u00a01, pp. 479\u2013546. World Scientific Publishing Co., Inc., River Edge (1997)"},{"issue":"5","key":"2_CR82","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MS.2003.1231150","volume":"20","author":"S. Sendall","year":"2003","unstructured":"Sendall, S., Kozaczynski, W.: Model Transformation: The Heart and Soul of Model-Driven Software Development. IEEE Softw.\u00a020(5), 42\u201345 (2003)","journal-title":"IEEE Softw."},{"issue":"5","key":"2_CR83","doi-asserted-by":"publisher","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. Journal of Systems and Software\u00a084(5), 711\u2013723 (2011)","journal-title":"Journal of Systems and Software"},{"key":"2_CR84","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-642-16129-2_13","volume-title":"Model Driven Engineering Languages and Systems","author":"H. Song","year":"2010","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: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part II. LNCS, vol.\u00a06395, pp. 168\u2013182. Springer, Heidelberg (2010)"},{"key":"2_CR85","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-12261-3_14","volume-title":"Models in Software Engineering","author":"H. Song","year":"2010","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: Ghosh, S. (ed.) MODELS 2009. LNCS, vol.\u00a06002, pp. 140\u2013154. Springer, Heidelberg (2010)"},{"key":"2_CR86","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/978-3-540-88643-3_10","volume-title":"Generative and Transformational Techniques in Software Engineering II","author":"P. Stevens","year":"2008","unstructured":"Stevens, P.: A landscape of bidirectional model transformations. In: L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering II. LNCS, vol.\u00a05235, pp. 408\u2013424. Springer, Heidelberg (2008)"},{"key":"2_CR87","unstructured":"Stevens, P.: Bidirectional model transformations in QVT: semantic issues and open questions. Software and Systems Modeling\u00a08 (2009)"},{"key":"2_CR88","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-540-25959-6_35","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G. Taentzer","year":"2004","unstructured":"Taentzer, G.: AGG: A\u00a0graph transformation environment for modeling and validation of software. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 446\u2013453. Springer, Heidelberg (2004)"},{"key":"2_CR89","doi-asserted-by":"crossref","unstructured":"Ta\u00efani, F., Grace, P., Coulson, G., Blair, G.S.: Past and future of reflective middleware: towards a corpus-based impact analysis. In: ARM, pp. 41\u201346 (2008)","DOI":"10.1145\/1462716.1462723"},{"key":"2_CR90","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1145\/1858996.1859092","volume-title":"Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering (ASE 2010)","author":"H. Tajalli","year":"2010","unstructured":"Tajalli, H., Garcia, J., Edwards, G., Medvidovic, N.: PLASMA: a plan-based layered architecture for software model-driven adaptation. In: Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering (ASE 2010), pp. 467\u2013476. ACM, New York (2010)"},{"key":"2_CR91","doi-asserted-by":"crossref","unstructured":"Taylor, R.N., Medvidovic, N., Dashofy, E.M.: Software Architecture: Foundations, Theory, and Practice. Wiley Publishing (2009)","DOI":"10.1145\/1810295.1810435"},{"issue":"2","key":"2_CR92","first-page":"112","volume":"4","author":"L. Tratt","year":"2005","unstructured":"Tratt, L.: Model transformations and tool integration. SOSYM\u00a04(2), 112\u2013122 (2005)","journal-title":"SOSYM"},{"issue":"3","key":"2_CR93","doi-asserted-by":"publisher","first-page":"107","DOI":"10.5381\/jot.2008.7.3.a3","volume":"7","author":"L. Tratt","year":"2008","unstructured":"Tratt, L.: A change propagating model transformation language. Journal of Object Technology\u00a07(3), 107\u2013124 (2008)","journal-title":"Journal of Object Technology"},{"key":"2_CR94","doi-asserted-by":"crossref","unstructured":"Vogel, T., Giese, H.: Adaptation and Abstract Runtime Models. In: Proceedings of the 5th ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010), pp. 39\u201348. ACM (2010)","DOI":"10.1145\/1808984.1808989"},{"key":"2_CR95","doi-asserted-by":"crossref","unstructured":"Vogel, T., Giese, H.: A Language for Feedback Loops in Self-Adaptive Systems: Executable Runtime Megamodels. In: Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), pp. 129\u2013138. IEEE Computer Society (2012)","DOI":"10.1109\/SEAMS.2012.6224399"},{"key":"2_CR96","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-29645-1_18","volume-title":"Models in Software Engineering","author":"T. Vogel","year":"2012","unstructured":"Vogel, T., Giese, H.: Requirements and Assessment of Languages and Frameworks for Adaptation Models. In: Kienzle, J. (ed.) MODELS 2011 Workshops. LNCS, vol.\u00a07167, pp. 167\u2013182. Springer, Heidelberg (2012)"},{"issue":"4","key":"2_CR97","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2555612","volume":"8","author":"T. Vogel","year":"2014","unstructured":"Vogel, T., Giese, H.: Model-driven engineering of self-adaptive software with eurema. ACM Trans. Auton. Adapt. Syst.\u00a08(4), 1\u201318 (2014)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"2_CR98","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-642-12261-3_13","volume-title":"Models in Software Engineering","author":"T. Vogel","year":"2010","unstructured":"Vogel, T., Neumann, S., Hildebrandt, S., Giese, H., Becker, B.: Incremental Model Synchronization for Efficient Run-Time Monitoring. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol.\u00a06002, pp. 124\u2013139. Springer, Heidelberg (2010)"},{"key":"2_CR99","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-642-21210-9_22","volume-title":"Models in Software Engineering","author":"T. Vogel","year":"2011","unstructured":"Vogel, T., Seibel, A., Giese, H.: The Role of Models and Megamodels at Runtime. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol.\u00a06627, pp. 224\u2013238. Springer, Heidelberg (2011)"},{"key":"2_CR100","doi-asserted-by":"crossref","unstructured":"Zarras, A.: Applying model-driven architecture to achieve distribution transparencies. Information & Software Technology (2006)","DOI":"10.1016\/j.infsof.2005.05.010"},{"issue":"1","key":"2_CR101","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P. Zave","year":"1997","unstructured":"Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol.\u00a06(1), 1\u201330 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."}],"container-title":["Lecture Notes in Computer Science","Models@run.time"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08915-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T17:34:39Z","timestamp":1746293679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08915-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319089140","9783319089157"],"references-count":101,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08915-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}