{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T22:51:12Z","timestamp":1767912672373,"version":"3.49.0"},"publisher-location":"Cham","reference-count":87,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319155449","type":"print"},{"value":"9783319155456","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-15545-6_32","type":"book-chapter","created":{"date-parts":[[2015,3,5]],"date-time":"2015-03-05T02:19:15Z","timestamp":1425521955000},"page":"552-581","source":"Crossref","is-referenced-by-count":1,"title":["A White Box Perspective on Behavioural Adaptation"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bruni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Corradini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Gadducci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Lluch Lafuente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-76650-6_6","volume-title":"Formal Methods and Software Engineering","author":"R. Adler","year":"2007","unstructured":"Adler, R., Schaefer, I., Schuele, T., Vecchi\u00e9, E.: From model-based design to formal verification of adaptive embedded systems. In: Butler, M., Hinchey, M.G., Larrondo-Petrie, M.M. (eds.) ICFEM 2007. LNCS, vol.\u00a04789, pp. 76\u201395. Springer, Heidelberg (2007)"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Agha, G.: Actors: a model of concurrent computation in distributed systems. MIT Press (1986)","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC\/FSE 2001. ACM SIGSOFT Software Engineering Notes, vol.\u00a026(5), pp. 109\u2013120. ACM (2001)","DOI":"10.1145\/503271.503226"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Allen, R.B., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: Astesiano, E. (ed.) FASE 1998. LNCS, vol.\u00a01382, pp. 21\u201337. Springer, Heidelberg (1998)","DOI":"10.1007\/BFb0053581"},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"Andersson, J., de Lemos, R., Malek, S., Weyns, D.: Modeling dimensions of self-adaptive software systems. In: Cheng, et al. (eds.) [27], pp. 27\u201347","DOI":"10.1007\/978-3-642-02161-9_2"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Andersson, J., de Lemos, R., Malek, S., Weyns, D.: Reflecting on self-adaptive software systems. In: SEAMS 2009, pp. 38\u201347. IEEE Computer Society (2009)","DOI":"10.1109\/SEAMS.2009.5069072"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Andrade, L.F., Fiadeiro, J.L.: An architectural approach to auto-adaptive systems. In: ICDCSW 2002, pp. 439\u2013444. IEEE Computer Society (2002)","DOI":"10.1109\/ICDCSW.2002.1030809"},{"issue":"1","key":"32_CR8","first-page":"272","volume":"28","author":"M. Appeltauer","year":"2011","unstructured":"Appeltauer, M., Hirschfeld, R., Haupt, M., Masuhara, H.: ContextJ: Context-oriented programming with Java. Journal of the Japan Society for Software Science and Technology on Computer Software\u00a028(1), 272\u2013292 (2011)","journal-title":"Journal of the Japan Society for Software Science and Technology on Computer Software"},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"Autili, M., Benedetto, P.D., Inverardi, P.: A programming model for adaptable java applications. In: Krall, A., M\u00f6ssenb\u00f6ck, H. (eds.) PPPJ 2010, pp. 119\u2013128. ACM (2010)","DOI":"10.1145\/1852761.1852779"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"Beal, J., Cleveland, J., Usbeck, K.: Self-stabilizing robot team formation with proto: Ieee self-adaptive and self-organizing systems 2012 demo entry. In: SASO 2012, pp. 233\u2013234. IEEE Computer Society (2012)","DOI":"10.1109\/SASO.2012.43"},{"issue":"8","key":"32_CR11","doi-asserted-by":"publisher","first-page":"1097","DOI":"10.1016\/j.jpdc.2008.02.005","volume":"68","author":"K.N. Biyani","year":"2008","unstructured":"Biyani, K.N., Kulkarni, S.S.: Assurance of dynamic adaptation in distributed systems. Journal of Parallel and Distributed Computing\u00a068(8), 1097\u20131112 (2008)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"Boella, G., Dastani, M., Omicini, A., van der Torre, L.W., Cerna, I., Linden, I. (eds.): CoOrg 2006 & MTCoord 2006. ENTCS, vol.\u00a0181. Elsevier (2007)","DOI":"10.1016\/j.entcs.2007.01.049"},{"issue":"5","key":"32_CR13","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/S0950-5849(99)00007-5","volume":"41","author":"J. Bosch","year":"1999","unstructured":"Bosch, J.: Superimposition: a component adaptation technique. Information & Software Technology\u00a041(5), 257\u2013273 (1999)","journal-title":"Information & Software Technology"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"Bouchachia, A., Nedjah, N.: Introduction to the special section on self-adaptive systems: Models and algorithms. ACM Transactions on Autonomous and Adaptive Systems\u00a07(1), 13:1\u201313:4 (2012)","DOI":"10.1145\/2168260.2168273"},{"issue":"1","key":"32_CR15","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.jss.2003.05.007","volume":"74","author":"A. Bracciali","year":"2005","unstructured":"Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaptation. Journal of Systems and Software\u00a074(1), 45\u201354 (2005)","journal-title":"Journal of Systems and Software"},{"key":"32_CR16","doi-asserted-by":"crossref","unstructured":"Bradbury, J.S., Cordy, J.R., Dingel, J., Wermelinger, M.: A survey of self-management in dynamic software architecture specifications. In: Garlan, D., Kramer, J., Wolf, A.L. (eds.) WOSS 2004, pp. 28\u201333. ACM (2004)","DOI":"10.1145\/1075405.1075411"},{"key":"32_CR17","doi-asserted-by":"crossref","unstructured":"Bravetti, M., Giusto, C.D., P\u00e9rez, J.A., Zavattaro, G.: Adaptable processes. Logical Methods in Computer Science\u00a08(4), 13:1\u201313:71 (2012)","DOI":"10.2168\/LMCS-8(4:13)2012"},{"key":"32_CR18","doi-asserted-by":"crossref","unstructured":"Broy, M., Leuxner, C., Sitou, W., Spanfelner, B., Winter, S.: Formalizing the notion of adaptive system behavior. In: Shin, S.Y., Ossowski, S. (eds.) SAC 2009, pp. 1029\u20131033. ACM (2009)","DOI":"10.1145\/1529282.1529508"},{"key":"32_CR19","doi-asserted-by":"crossref","unstructured":"Brun, Y., Serugendo, G.D.M., Gacek, C., Giese, H., Kienle, H.M., Litoiu, M., M\u00fcller, H.A., Pezz\u00e8, M., Shaw, M.: Engineering self-adaptive systems through feedback loops. In: Cheng, et al. (eds.) [27], pp. 48\u201370","DOI":"10.1007\/978-3-642-02161-9_3"},{"key":"32_CR20","doi-asserted-by":"crossref","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lafuente, A.L., Vandin, A.: Adaptable transition systems. In: Mart\u00ed-Oliet, Palomino (eds.) [54], pp. 95\u2013110","DOI":"10.1007\/978-3-642-37635-1_6"},{"key":"32_CR21","doi-asserted-by":"crossref","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A conceptual framework for adaptation. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 240\u2013254. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-28872-2_17"},{"key":"32_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-34005-5_7","volume-title":"Rewriting Logic and Its Applications","author":"R. Bruni","year":"2012","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: Modelling and analyzing adaptive self-assembly strategies with Maude. In: Dur\u00e1n, F. (ed.) WRLA 2012. LNCS, vol.\u00a07571, pp. 118\u2013138. Springer, Heidelberg (2012)"},{"key":"32_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/978-3-642-16132-2_44","volume-title":"Service-Oriented Computing. ICSOC\/ServiceWave 2009 Workshops","author":"A. Bucchiarone","year":"2010","unstructured":"Bucchiarone, A., Cappiello, C., Di Nitto, E., Kazhamiakin, R., Mazza, V., Pistore, M.: Design for adaptation of service-based applications: Main issues and requirements. In: Dan, A., Gittler, F., Toumani, F. (eds.) ICSOC\/ServiceWave 2009. LNCS, vol.\u00a06275, pp. 467\u2013476. Springer, Heidelberg (2010)"},{"key":"32_CR24","doi-asserted-by":"crossref","unstructured":"Bucchiarone, A., Pistore, M., Raik, H., Kazhamiakin, R.: Adaptation of service-based business processes by context-aware replanning. In: Lin, K.J., Huemer, C., Blake, M.B., Benatallah, B. (eds.) SOCA 2011, pp. 1\u20138. IEEE Computer Society (2011)","DOI":"10.1109\/SOCA.2011.6166209"},{"key":"32_CR25","doi-asserted-by":"crossref","unstructured":"Cabri, G., Puviani, M., Zambonelli, F.: Towards a taxonomy of adaptive agent-based collaboration patterns for autonomic service ensembles. In: Smari, W.W., Fox, G. (eds.) CTS 2011, pp. 508\u2013515. IEEE Computer Society (2011)","DOI":"10.1109\/CTS.2011.5928730"},{"key":"32_CR26","doi-asserted-by":"crossref","unstructured":"C\u00e1mara, J., Mart\u00edn, J.A., Sala\u00fcn, G., Cubo, J., Ouederni, M., Canal, C., Pimentel, E.: Itaca: An integrated toolbox for the automatic composition and adaptation of web services. In: ICSE 2009, pp. 627\u2013630. IEEE Computer Society (2009)","DOI":"10.1109\/ICSE.2009.5070572"},{"key":"32_CR27","series-title":"Lecture Notes in Computer Science","volume-title":"Software Engineering for Self-Adaptive Systems","year":"2009","unstructured":"Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.): Software Engineering for Self-Adaptive Systems. LNCS, vol.\u00a05525. Springer, Heidelberg (2009)"},{"key":"32_CR28","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"32_CR29","doi-asserted-by":"crossref","unstructured":"Clements, P.: A survey of architecture description languages. In: IWSSD 1996, pp. 16\u201325. IEEE Computer Society (1996)","DOI":"10.1109\/IWSSD.1996.501143"},{"key":"32_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-36249-1_1","volume-title":"Assurances for Self-Adaptive Systems","author":"M. Cordy","year":"2013","unstructured":"Cordy, M., Classen, A., Heymans, P., Legay, A., Schobbens, P.-Y.: Model checking adaptive software with featured transition systems. In: C\u00e1mara, J., de Lemos, R., Ghezzi, C., Lopes, A. (eds.) Assurances for Self-Adaptive Systems. LNCS, vol.\u00a07740, pp. 1\u201329. Springer, Heidelberg (2013)"},{"issue":"5","key":"32_CR31","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. De Nicola","year":"1998","unstructured":"De Nicola, R., Ferrari, G.L., Pugliese, R.: Klaim: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"32_CR32","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: The SCEL language. ACM Transactions on Autonomous and Adaptive Systems\u00a09(2), 7:1\u20137:29 (2014)","DOI":"10.1145\/2619998"},{"key":"32_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-45046-7_10","volume-title":"Reflection and Software Engineering","author":"J. Dowling","year":"2000","unstructured":"Dowling, J., Sch\u00e4fer, T., Cahill, V., Haraszti, P., Redmond, B.: Using reflection to support dynamic adaptation of system software: A case study driven evaluation. In: Cazzola, W., Houmb, S.H., Tisato, F. (eds.) Reflection and Software Engineering. LNCS, vol.\u00a01826, pp. 169\u2013188. Springer, Heidelberg (2000)"},{"key":"32_CR34","doi-asserted-by":"crossref","unstructured":"Eckhardt, J., M\u00fchlbauer, T., Meseguer, J., Wirsing, M.: Statistical model-checking for composite actor systems. In: Mart\u00ed-Oliet, Palomino (eds.) [54], pp. 143\u2013160","DOI":"10.1007\/978-3-642-37635-1_9"},{"key":"32_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-642-12029-9_10","volume-title":"Fundamental Approaches to Software Engineering","author":"H. Ehrig","year":"2010","unstructured":"Ehrig, H., Ermel, C., Runge, O., Bucchiarone, A., Pelliccione, P.: Formal analysis and verification of self-healing systems. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 139\u2013153. Springer, Heidelberg (2010)"},{"key":"32_CR36","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Pradella, M., Salvaneschi, G.: An evaluation of the adaptation capabilities in programming languages. In: Giese, H., Cheng, B.H.C. (eds.) SEAMS 2011, pp. 50\u201359. ACM (2011)","DOI":"10.1145\/1988008.1988016"},{"key":"32_CR37","doi-asserted-by":"crossref","unstructured":"Gjondrekaj, E., Loreti, M., Pugliese, R., Tiezzi, F.: Modeling adaptation with a tuple-based coordination language. In: Ossowski, S., Lecca, P. (eds.) SAC 2012, pp. 1522\u20131527. ACM (2012)","DOI":"10.1145\/2245276.2232019"},{"key":"32_CR38","unstructured":"Greenwood, P., Blair, L.: Using dynamic aspect-oriented programming to implement an autonomic system. In: DAW 2004, pp. 76\u201388. RIACS (2004)"},{"issue":"1-2","key":"32_CR39","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1162\/1064546053278991","volume":"11","author":"I. Harvey","year":"2005","unstructured":"Harvey, I., Paolo, E.A.D., Wood, R., Quinn, M., Tuci, E.: Evolutionary robotics: A new scientific tool for studying cognition. Artificial Life\u00a011(1-2), 79\u201398 (2005)","journal-title":"Artificial Life"},{"issue":"3","key":"32_CR40","doi-asserted-by":"publisher","first-page":"125","DOI":"10.5381\/jot.2008.7.3.a4","volume":"7","author":"R. Hirschfeld","year":"2008","unstructured":"Hirschfeld, R., Costanza, P., Nierstrasz, O.: Context-oriented programming. Journal of Object Technology\u00a07(3), 125\u2013151 (2008)","journal-title":"Journal of Object Technology"},{"key":"32_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-642-24933-4_12","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M. H\u00f6lzl","year":"2011","unstructured":"H\u00f6lzl, M., Wirsing, M.: Towards a system model for ensembles. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol.\u00a07000, pp. 241\u2013261. Springer, Heidelberg (2011)"},{"key":"32_CR42","unstructured":"Horn, P.: Autonomic computing: IBM\u2019s perspective on the state of information technology. IBM (2001)"},{"key":"32_CR43","unstructured":"IBM Corporation: An architectural blueprint for autonomic computing. IBM (2005)"},{"key":"32_CR44","doi-asserted-by":"crossref","unstructured":"Iftikhar, M.U., Weyns, D.: A case study on formal verification of self-adaptive behaviors in a decentralized system. In: Kokash, Ravara (eds.) [48], pp. 45\u201362","DOI":"10.4204\/EPTCS.91.4"},{"issue":"3","key":"32_CR45","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/5254.769884","volume":"14","author":"G. Karsai","year":"1999","unstructured":"Karsai, G., Sztipanovits, J.: A model-based approach to self-adaptive software. Intelligent Systems and their Applications\u00a014(3), 46\u201353 (1999)","journal-title":"Intelligent Systems and their Applications"},{"issue":"1","key":"32_CR46","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2011.09.004","volume":"78","author":"N. Khakpour","year":"2012","unstructured":"Khakpour, N., Jalili, S., Talcott, C., Sirjani, M., Mousavi, M.: Formal modeling of evolving self-adaptive systems. Science of Computer Programming\u00a078(1), 3\u201326 (2012)","journal-title":"Science of Computer Programming"},{"key":"32_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J., Irwin, J.: Aspect-oriented programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"32_CR48","doi-asserted-by":"crossref","unstructured":"Kokash, N., Ravara, A. (eds.): FOCLASA 2012. EPTCS, vol.\u00a091. EPTCS (2012)","DOI":"10.4204\/EPTCS.91"},{"issue":"2","key":"32_CR49","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s11390-009-9216-5","volume":"24","author":"J. Kramer","year":"2009","unstructured":"Kramer, J., Magee, J.: A rigorous architectural approach to adaptive software engineering. Journal of Computer Science and Technology\u00a024(2), 183\u2013188 (2009)","journal-title":"Journal of Computer Science and Technology"},{"key":"32_CR50","unstructured":"Laddaga, R.: Self-adaptive software: BAA 98-12 proposer information pamphlet. DARPA (1997)"},{"key":"32_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/978-3-642-15640-3_19","volume-title":"Trustworthly Global Computing","author":"I. Lanese","year":"2010","unstructured":"Lanese, I., Bucchiarone, A., Montesi, F.: A framework for rule-based dynamic adaptation. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010. LNCS, vol.\u00a06084, pp. 284\u2013300. Springer, Heidelberg (2010)"},{"issue":"27","key":"32_CR52","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/MAES.2012.6145439","volume":"1","author":"T. Lints","year":"2012","unstructured":"Lints, T.: The essentials in defining adaptation. IEEE Aerospace and Electronic Systems Magazine\u00a01(27), 37\u201341 (2012)","journal-title":"IEEE Aerospace and Electronic Systems Magazine"},{"key":"32_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/BFb0053571","volume-title":"Programming Languages and Systems","author":"F. Maraninchi","year":"1998","unstructured":"Maraninchi, F., R\u00e9mond, Y.: Mode-automata: About modes and states for reactive systems. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol.\u00a01381, pp. 185\u2013199. Springer, Heidelberg (1998)"},{"key":"32_CR54","series-title":"Lecture Notes in Computer Science","volume-title":"Recent Trends in Algebraic Development Techniques","year":"2013","unstructured":"Mart\u00ed-Oliet, N., Palomino, M. (eds.): WADT 2012. LNCS, vol.\u00a07841. Springer, Heidelberg (2013)"},{"key":"32_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-642-35743-5_16","volume-title":"Formal Aspects of Component Software","author":"J.A. Mart\u00edn","year":"2012","unstructured":"Mart\u00edn, J.A., Brogi, A., Pimentel, E.: Learning from failures: A lightweight approach to run-time behavioural adaptation. In: Arbab, F., \u00d6lveczky, P.C. (eds.) FACS 2011. LNCS, vol.\u00a07253, pp. 259\u2013277. Springer, Heidelberg (2012)"},{"issue":"7","key":"32_CR56","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MC.2004.48","volume":"37","author":"P.K. McKinley","year":"2004","unstructured":"McKinley, P.K., Sadjadi, S.M., Kasten, E.P., Cheng, B.H.C.: Composing adaptive software. IEEE Computer\u00a037(7), 56\u201364 (2004)","journal-title":"IEEE Computer"},{"key":"32_CR57","doi-asserted-by":"crossref","unstructured":"Merelli, E., Paoletti, N., Tesei, L.: A multi-level model for self-adaptive systems. In: Kokash, Ravara (eds.) [48], pp. 112\u2013126","DOI":"10.4204\/EPTCS.91.8"},{"issue":"1","key":"32_CR58","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"32_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-47993-7_1","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"J. Meseguer","year":"2002","unstructured":"Meseguer, J., Talcott, C.: Semantic models for distributed object reflection. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 1\u201336. Springer, Heidelberg (2002)"},{"key":"32_CR60","doi-asserted-by":"crossref","unstructured":"Mikic-Rakic, M., Medvidovic, N.: A classification of disconnected operation techniques. In: SEAA 2006, pp. 144\u2013151. IEEE Computer Society (2006)","DOI":"10.1109\/EUROMICRO.2006.5"},{"key":"32_CR61","doi-asserted-by":"crossref","unstructured":"Montesi, F., Guidi, C., Lucchi, R., Zavattaro, G.: JOLIE: a Java orchestration language interpreter engine. In: Boella, et al. (eds.) [12], pp. 19\u201333","DOI":"10.1016\/j.entcs.2007.01.051"},{"key":"32_CR62","unstructured":"M\u00fchl, G., Werner, M., Jaeger, M., Herrmann, K., Parzyjegla, H.: On the definitions of self-managing and self-organizing systems. In: KiVS 2007. IEEE Computer Society (2007)"},{"issue":"4","key":"32_CR63","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1007\/s10514-010-9177-0","volume":"28","author":"R. O\u2019Grady","year":"2010","unstructured":"O\u2019Grady, R., Gro\u00df, R., Christensen, A.L., Dorigo, M.: Self-assembly strategies in a group of autonomous mobile robots. Autonomous Robots\u00a028(4), 439\u2013455 (2010)","journal-title":"Autonomous Robots"},{"issue":"3","key":"32_CR64","doi-asserted-by":"publisher","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. Intelligent Systems and their Applications\u00a014(3), 54\u201362 (1999)","journal-title":"Intelligent Systems and their Applications"},{"key":"32_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/3-540-44584-6_5","volume-title":"Self-Adaptive Software","author":"D. Pavlovic","year":"2001","unstructured":"Pavlovic, D.: Towards semantics of self-adaptive software. In: Robertson, P., Shrobe, H.E., Laddaga, R. (eds.) IWSAS 2000. LNCS, vol.\u00a01936, pp. 50\u201364. Springer, Heidelberg (2001)"},{"key":"32_CR66","doi-asserted-by":"crossref","unstructured":"Popescu, R., Staikopoulos, A., Brogi, A., Liu, P., Clarke, S.: A formalized, taxonomy-driven approach to cross-layer application adaptation. ACM Transactions on Autonomous and Adaptive Systems\u00a07(1), 7:1\u20137:30 (2012)","DOI":"10.1145\/2168260.2168267"},{"key":"32_CR67","doi-asserted-by":"crossref","unstructured":"Popovici, A., Alonso, G., Gross, T.R.: Just-in-time aspects: efficient dynamic weaving for Java. In: AOSD 2003, pp. 100\u2013109. ACM (2003)","DOI":"10.1145\/643603.643614"},{"issue":"2","key":"32_CR68","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1002\/spe.2107","volume":"43","author":"M. Pukall","year":"2013","unstructured":"Pukall, M., K\u00e4stner, C., Cazzola, W., G\u00f6tz, S., Grebhahn, A., Schr\u00f6ter, R., Saake, G.: Javadaptor - flexible runtime updates of Java applications. Software, Practice and Experience\u00a043(2), 153\u2013185 (2013)","journal-title":"Software, Practice and Experience"},{"key":"32_CR69","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-540-88030-1_33","volume-title":"Software Architecture","author":"C. Raibulet","year":"2008","unstructured":"Raibulet, C.: Facets of adaptivity. In: Morrison, R., Balasubramaniam, D., Falkner, K. (eds.) ECSA 2008. LNCS, vol.\u00a05292, pp. 342\u2013345. Springer, Heidelberg (2008)"},{"issue":"9","key":"32_CR70","doi-asserted-by":"publisher","first-page":"963","DOI":"10.1002\/(SICI)1097-024X(19980725)28:9<963::AID-SPE179>3.0.CO;2-9","volume":"28","author":"R. Renesse van","year":"1998","unstructured":"van Renesse, R., Birman, K.P., Hayden, M., Vaysburd, A., Karr, D.A.: Building adaptive systems using ensemble. Software, Practice and Experience\u00a028(9), 963\u2013979 (1998)","journal-title":"Software, Practice and Experience"},{"key":"32_CR71","unstructured":"Sagasti, F.: A conceptual and taxonomic framework for the analysis of adaptive behavior. General Systems XV, 151\u2013160 (1970)"},{"key":"32_CR72","doi-asserted-by":"crossref","unstructured":"Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Transactions on Autonomous and Adaptive Systems\u00a04(2), 14:1\u201314:42 (2009)","DOI":"10.1145\/1516533.1516538"},{"key":"32_CR73","unstructured":"Salvaneschi, G., Ghezzi, C., Pradella, M.: Context-oriented programming: A programming paradigm for autonomic systems. Tech. Rep. abs\/1105.0069, CoRR (2011)"},{"key":"32_CR74","doi-asserted-by":"crossref","unstructured":"Salvaneschi, G., Ghezzi, C., Pradella, M.: Towards language-level support for self-adaptive software. ACM Transactions on Autonomous and Adaptive Systems (to appear, 2014)","DOI":"10.1145\/2491465.2491466"},{"key":"32_CR75","unstructured":"Sangiorgi, D.: Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. Ph.D. thesis, University of Edinburgh (1992)"},{"key":"32_CR76","unstructured":"Schaefer, I., Poetzsch-Heffter, A.: Using abstraction in modular verification of synchronous adaptive systems. In: Autexier, S., Merz, S., van der Torre, L.W.N., Wilhelm, R., Wolper, P. (eds.) Trustworthy Software. OASICS, vol.\u00a03. IBFI, Schloss Dagstuhl, Germany (2006)"},{"key":"32_CR77","doi-asserted-by":"crossref","unstructured":"Talcott, C.L.: Coordination models based on a formal model of distributed object reflection. In: Brim, L., Linden, I. (eds.) MTCoord 2005. ENTCS, vol.\u00a0150(1), pp. 143\u2013157. Elsevier (2006)","DOI":"10.1016\/j.entcs.2005.12.028"},{"key":"32_CR78","doi-asserted-by":"crossref","unstructured":"Talcott, C.L.: Policy-based coordination in PAGODA: A case study. In: Boella, et al. (eds.) [12], pp. 97\u2013112","DOI":"10.1016\/j.entcs.2007.01.056"},{"key":"32_CR79","doi-asserted-by":"crossref","unstructured":"Viroli, M., Casadei, M., Montagna, S., Zambonelli, F.: Spatial coordination of pervasive services through chemical-inspired tuple spaces. ACM Transactions on Autonomous and Adaptive Systems\u00a06(2), 14:1\u201314:24 (2011)","DOI":"10.1145\/1968513.1968517"},{"key":"32_CR80","doi-asserted-by":"crossref","unstructured":"Wang, H., Lv, H., Feng, G.: A self-reflection model for autonomic computing systems based on \u03c0-calculus. In: Xiang, Y., Lopez, J., Wang, H., Zhou, W. (eds.) NSS 2009, pp. 310\u2013315. IEEE Computer Society (2009)","DOI":"10.1109\/NSS.2009.28"},{"key":"32_CR81","doi-asserted-by":"crossref","unstructured":"Weyns, D., Malek, S., Andersson, J.: FORMS: Unifying reference model for formal specification of distributed self-adaptive systems. ACM Transactions on Autonomous and Adaptive Systems\u00a07(1), 8:1\u20138:61 (2012)","DOI":"10.1145\/2168260.2168268"},{"key":"32_CR82","unstructured":"Wirth, N.: Algorithms + Data Structures = Programs. Prentice-Hall (1976)"},{"issue":"51","key":"32_CR83","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1109\/PROC.1963.1852","volume":"3","author":"L.A. Zadeh","year":"1963","unstructured":"Zadeh, L.A.: On the definition of adaptivity. Proceedings of the IEEE\u00a03(51), 469\u2013470 (1963)","journal-title":"Proceedings of the IEEE"},{"key":"32_CR84","doi-asserted-by":"crossref","unstructured":"Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive software. In: Osterweil, L.J., Rombach, H.D., Soffa, M.L. (eds.) ICSE 2006, pp. 371\u2013380. ACM (2006)","DOI":"10.1145\/1134285.1134337"},{"issue":"10","key":"32_CR85","doi-asserted-by":"publisher","first-page":"1361","DOI":"10.1016\/j.jss.2006.02.062","volume":"79","author":"J. Zhang","year":"2006","unstructured":"Zhang, J., Cheng, B.H.C.: Using temporal logic to specify adaptive program semantics. Journal of Systems and Software\u00a079(10), 1361\u20131369 (2006)","journal-title":"Journal of Systems and Software"},{"key":"32_CR86","doi-asserted-by":"crossref","unstructured":"Zhang, J., Goldsby, H., Cheng, B.H.C.: Modular verification of dynamically adaptive systems. In: Sullivan, K.J., Moreira, A., Schwanninger, C., Gray, J. (eds.) AOSD 2009, pp. 161\u2013172. ACM (2009)","DOI":"10.1145\/1509239.1509262"},{"key":"32_CR87","doi-asserted-by":"crossref","unstructured":"Zhao, Y., Ma, D., Li, J., Li, Z.: Model checking of adaptive programs with mode-extended linear temporal logic. In: EASe 2011, pp. 40\u201348. IEEE Computer Society (2011)","DOI":"10.1109\/EASe.2011.13"}],"container-title":["Lecture Notes in Computer Science","Software, Services, and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15545-6_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T18:43:07Z","timestamp":1747766587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-15545-6_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319155449","9783319155456"],"references-count":87,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15545-6_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}