{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:59:25Z","timestamp":1762459165368,"version":"3.40.4"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319076010"},{"type":"electronic","value":"9783319076027"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07602-7_8","type":"book-chapter","created":{"date-parts":[[2014,6,12]],"date-time":"2014-06-12T11:29:08Z","timestamp":1402572548000},"page":"100-118","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Formalising Adaptation Patterns for Autonomic Ensembles"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cesari","sequence":"first","affiliation":[]},{"given":"Rocco","family":"De Nicola","sequence":"additional","affiliation":[]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[]},{"given":"Mariachiara","family":"Puviani","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[]},{"given":"Franco","family":"Zambonelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,6,13]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","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, 41\u201350 (2003)","journal-title":"Computer"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Weyns, D., Holvoet, T.: An architectural strategy for self-adapting systems. In: SEAMS, p. 3. IEEE (2007)","DOI":"10.1109\/SEAMS.2007.3"},{"key":"8_CR3","unstructured":"Project InterLink (2007). http:\/\/interlink.ics.forth.gr"},{"issue":"2","key":"8_CR4","doi-asserted-by":"publisher","first-page":"14","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. 4(2), 14 (2009)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1108\/17427371111172997","volume":"7","author":"F Zambonelli","year":"2011","unstructured":"Zambonelli, F., Viroli, M.: A survey on nature-inspired metaphors for pervasive service ecosystems. J. Pervasive Comp. and Comm. 7, 186\u2013204 (2011)","journal-title":"J. Pervasive Comp. and Comm."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Abeywickrama, D.B., Bicocchi, N., Zambonelli, F.: SOTA: towards a general model for self-adaptive systems. In: WETICE, pp. 48\u201353. IEEE (2012)","DOI":"10.1109\/WETICE.2012.48"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Gomaa, H., Hashimoto, K.: Dynamic self-adaptation for distributed service-oriented transactions. In: SEAMS, pp. 11\u201320. IEEE (2012)","DOI":"10.1109\/SEAMS.2012.6224386"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-02161-9_3","volume-title":"Software Engineering for Self-Adaptive Systems","author":"Y Brun","year":"2009","unstructured":"Brun, Y., et al.: Engineering self-adaptive systems through feedback loops. In: Cheng, B.H.C., et al. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 48\u201370. Springer, Heidelberg (2009)"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02161-9_1","volume-title":"Software Engineering for Self-Adaptive Systems","author":"BHC Cheng","year":"2009","unstructured":"Cheng, B.H.C., et al.: Software engineering for self-adaptive systems: a research roadmap. In: Cheng, B.H.C., et al. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 1\u201326. Springer, Heidelberg (2009)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Vromant, P., Weyns, D., Malek, S., Andersson, J.: On interacting control loops in self-adaptive systems. In: SEAMS. ACM (2011)","DOI":"10.1145\/1988008.1988037"},{"key":"8_CR11","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: CTS, pp. 508\u2013515. IEEE (2011)","DOI":"10.1109\/CTS.2011.5928730"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Puviani, M., Cabri, G., Zambonelli, F.: A taxonomy of architectural patterns for self-adaptive systems. In: C3S2E. ACM (2013)","DOI":"10.1145\/2494444.2494470"},{"issue":"4","key":"8_CR13","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"EM Clarke","year":"1996","unstructured":"Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Comput. Surv. 28(4), 626\u2013643 (1996)","journal-title":"ACM Comput. Surv."},{"key":"8_CR14","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: SCEL: a language for autonomic computing. Technical report, January 2013. http:\/\/rap.dsi.unifi.it\/scel\/pdf\/SCEL-TR.pdf"},{"issue":"1","key":"8_CR15","first-page":"33","volume":"30","author":"RH Bordini","year":"2006","unstructured":"Bordini, R.H., Braubach, L., Dastani, M., Fallah-Seghrouchni, A.E., G\u00f3mez-Sanz, J.J., Leite, J., O\u2019Hare, G.M.P., Pokahr, A., Ricci, A.: A survey of programming languages and platforms for multi-agent systems. Informatica (Slovenia) 30(1), 33\u201344 (2006)","journal-title":"Informatica (Slovenia)"},{"issue":"1","key":"8_CR16","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10586-006-4893-0","volume":"9","author":"S Hariri","year":"2006","unstructured":"Hariri, S., Khargharia, B., Chen, H., Yang, J., Zhang, Y., Parashar, M., Liu, H.: The autonomic computing paradigm. Clust. Comput. 9(1), 5\u201317 (2006)","journal-title":"Clust. Comput."},{"issue":"3","key":"8_CR17","first-page":"263","volume":"39","author":"C Beam","year":"1997","unstructured":"Beam, C., Segev, A.: Automated negotiations: a survey of the state of the art. Wirtschaftsinformatik 39(3), 263\u2013268 (1997)","journal-title":"Wirtschaftsinformatik"},{"issue":"2","key":"8_CR18","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1023\/A:1008746126376","volume":"10","author":"N Jennings","year":"2001","unstructured":"Jennings, N., Faratin, P., Lomuscio, A., Parsons, S., Wooldridge, M., Sierra, C.: Automated negotiation: prospects, methods and challenges. Group Decis. Negot. 10(2), 199\u2013215 (2001)","journal-title":"Group Decis. Negot."},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-44682-6_8","volume-title":"Agent Mediated Electronic Commerce","author":"M Esteva","year":"2001","unstructured":"Esteva, M., Rodr\u00edguez-Aguilar, J.-A., Sierra, C., Garcia, P., Arcos, J.-L.: On the formal specification of electronic institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, pp. 126\u2013147. Springer, Heidelberg (2001)"},{"key":"8_CR20","volume-title":"Multi-Agent Systems: Modeling, Interactions, Simulations and Case Studies","author":"J Kes\u00e4niemi","year":"2011","unstructured":"Kes\u00e4niemi, J., Terziyan, V.: Agent-environment interaction in mas-introduction and survey. In: Alkhateeb, F., Maghayreh, E.A., Doush, I.A. (eds.) Multi-Agent Systems: Modeling, Interactions, Simulations and Case Studies. InTech, Vienna (2011)"},{"issue":"4","key":"8_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1538942.1538945","volume":"18","author":"M Mamei","year":"2009","unstructured":"Mamei, M., Zambonelli, F.: Programming pervasive and mobile computing applications: the TOTA approach. ACM Trans. Softw. Eng. Methodol. 18(4), 1\u201356 (2009)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-35887-6_2","volume-title":"Formal Methods for Components and Objects","author":"R De Nicola","year":"2012","unstructured":"De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A language-based approach to autonomic computing. In: Beckert, B., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 25\u201348. Springer, Heidelberg (2012). http:\/\/rap.dsi.unifi.it\/scel\/"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Gjondrekaj, E., Loreti, M., Pugliese, R., Tiezzi, F.: Modeling adaptation with a tuple-based coordination language. In: SAC, pp. 1522\u20131527. ACM (2012)","DOI":"10.1145\/2245276.2232019"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Cesari, L., De Nicola, R., Pugliese, R., Puviani, M., Tiezzi, F., Zambonelli, F.: Formalising adaptation patterns for autonomic ensembles. Technical report (2013). http:\/\/rap.dsi.unifi.it\/scel\/pdf\/patternsInSCEL-TR.pdf","DOI":"10.1007\/978-3-319-07602-7_8"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Puviani, M., Pinciroli, C., Cabri, G., Leonardi, L., Zambonelli, F.: Is self-expression useful? evaluation by a case study. In: WETICE (2013)","DOI":"10.1109\/WETICE.2013.46"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Weyns, D., Iftikhar, M., Malek, S., Andersson, J.: Claims and supporting evidence for self-adaptive systems: a literature study. In: SEAMS, pp. 89\u201398. IEEE (2012)","DOI":"10.1109\/SEAMS.2012.6224395"},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-642-02161-9_2","volume-title":"Software Engineering for Self-Adaptive Systems","author":"J Andersson","year":"2009","unstructured":"Andersson, J., de Lemos, R., Malek, S., Weyns, D.: Modeling dimensions of self-adaptive software systems. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 27\u201347. Springer, Heidelberg (2009)"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Gomaa, H., Hashimoto, K., Kim, M., Malek, S., Menasc\u00e9, D.A.: Software adaptation patterns for service-oriented architectures. In: SAC, pp. 462\u2013469. ACM (2010)","DOI":"10.1145\/1774088.1774185"},{"key":"8_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-35813-5_4","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"D Weyns","year":"2013","unstructured":"Weyns, D., et al.: On patterns for decentralized control in self-adaptive systems. In: de Lemos, R., Giese, H., M\u00fcller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 7475, pp. 76\u2013107. Springer, Heidelberg (2013)"},{"issue":"1","key":"8_CR30","first-page":"8","volume":"7","author":"D Weyns","year":"2012","unstructured":"Weyns, D., Malek, S., Andersson, J.: Forms: Unifying reference model for formal specification of distributed self-adaptive systems. ACM TAAS 7(1), 8 (2012)","journal-title":"ACM TAAS"},{"key":"8_CR31","volume-title":"Design Patterns","author":"E Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison Wesley, Reading (1995)"},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"Ramirez, A., Cheng, B.: Design patterns for developing dynamically adaptive systems. In: SEAMS, pp. 49\u201358. ACM (2010)","DOI":"10.1145\/1808984.1808990"},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"Mikkonen, T.: Formalizing design patterns. In: ICSE, pp. 115\u2013124. IEEE (1998)","DOI":"10.1109\/ICSE.1998.671108"},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"Bayley, I.: Formalising design patterns in predicate logic. In: SEFM, pp. 25\u201336. IEEE (2007)","DOI":"10.1109\/SEFM.2007.22"},{"key":"8_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1007\/3-540-60973-3_108","volume-title":"FME \u201996: Industrial Benefit and Advances in Formal Methods","author":"PSC Alencar","year":"1996","unstructured":"Alencar, P.S.C., Cowan, D.D., de Lucena, C.J.P.: A formal approach to architectural design patterns. In: Gaudel, M.-C., Wing, Jeannette M. (eds.) FME 1996. LNCS, vol. 1051, pp. 576\u2013594. Springer, Heidelberg (1996)"},{"issue":"4","key":"8_CR36","doi-asserted-by":"publisher","first-page":"127","DOI":"10.5381\/jot.2003.2.4.a4","volume":"2","author":"T Taibi","year":"2003","unstructured":"Taibi, T., Ling, D.N.C.: Formal specification of design patterns - a balanced approach. J. Object Technol. 2(4), 127\u2013140 (2003)","journal-title":"J. Object Technol."},{"key":"8_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-00593-0_19","volume-title":"Fundamental Approaches to Software Engineering","author":"P Bottoni","year":"2009","unstructured":"Bottoni, P., Guerra, E., de Lara, J.: Formal foundation for pattern-based modelling. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol. 5503, pp. 278\u2013293. Springer, Heidelberg (2009)"},{"key":"8_CR38","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-88479-8_13","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"M Wirsing","year":"2008","unstructured":"Wirsing, M., et al.: Sensoria patterns: augmenting service engineering with formal analysis, transformation and dynamicity. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol. 17, pp. 170\u2013190. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07602-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T09:44:02Z","timestamp":1746265442000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-07602-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319076010","9783319076027"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07602-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"13 June 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}