{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T17:34:31Z","timestamp":1781976871495,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642288715","type":"print"},{"value":"9783642288722","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28872-2_17","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:48:16Z","timestamp":1332449296000},"page":"240-254","source":"Crossref","is-referenced-by-count":53,"title":["A Conceptual Framework for Adaptation"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bruni","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Corradini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabio","family":"Gadducci","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alberto","family":"Lluch Lafuente","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"17_CR1","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":"17_CR2","doi-asserted-by":"crossref","unstructured":"Andrade, L.F., Fiadeiro, J.L.: An architectural approach to auto-adaptive systems. In: ICDCS Workshops 2002, pp. 439\u2013444. IEEE Computer Society (2002)","DOI":"10.1109\/ICDCSW.2002.1030809"},{"key":"17_CR3","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":"17_CR4","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.C. (eds.) CTS 2011, pp. 508\u2013515. IEEE Computer Society (2011)","DOI":"10.1109\/CTS.2011.5928730"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"17_CR6","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":"17_CR7","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. (eds.) SEAMS 2011, pp. 50\u201359. ACM (2011)","DOI":"10.1145\/1988008.1988016"},{"key":"17_CR8","unstructured":"Horn, P.: Autonomic Computing: IBM\u2019s Perspective on the State of Information Technology (2001)"},{"key":"17_CR9","unstructured":"IBM Corporation: An Architectural Blueprint for Autonomic Computing (2006)"},{"issue":"1","key":"17_CR10","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"},{"key":"17_CR11","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":"17_CR12","doi-asserted-by":"crossref","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) (1999)","DOI":"10.1109\/5254.769885"},{"key":"17_CR13","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, p. 50. Springer, Heidelberg (2001)"},{"key":"17_CR14","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) (2009)","DOI":"10.1145\/1516533.1516538"},{"key":"17_CR15","unstructured":"Salvaneschi, G., Ghezzi, C., Pradella, M.: Context-oriented programming: A programming paradigm for autonomic systems. CoRR abs\/1105\u00a00069 (2011)"},{"key":"#cr-split#-17_CR16.1","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","DOI":"10.1016\/j.entcs.2005.12.028"},{"key":"#cr-split#-17_CR16.2","unstructured":"(1), pp. 143-157. Elsevier (2006)"},{"key":"17_CR17","unstructured":"Talcott, C.L.: Policy-based coordination in PAGODA: A case study. In: Boella, G., Dastani, M., Omicini, A., van der Torre, L.W., Cerna, I., Linden, I. (eds.) CoOrg 2006 & MTCoord 2006. ENTCS, vol.\u00a0181, pp. 97\u2013112. Elsevier (2007)"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Weyns, D., Malek, S., Andersson, J.: FORMS: a formal reference model for self-adaptation. In: Figueiredo, R., Kiciman, E. (eds.) ICAC 2010, pp. 205\u2013214. ACM (2010)","DOI":"10.1145\/1809049.1809078"},{"key":"17_CR19","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"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28872-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T18:49:57Z","timestamp":1742755797000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28872-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288715","9783642288722"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28872-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}