{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T22:22:08Z","timestamp":1749334928262},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319741826"},{"type":"electronic","value":"9783319741833"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-74183-3_10","type":"book-chapter","created":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T08:02:43Z","timestamp":1516176163000},"page":"282-306","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution"],"prefix":"10.1007","author":[{"given":"Marco","family":"Autili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Perucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,1,18]]},"reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-35813-5_3","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"J Andersson","year":"2013","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.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 51\u201375. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_3"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Angelopoulos, K., Souza, V.E.S., Pimentel, J.: Requirements and architectural approaches to adaptive software systems: a comparative study. In: SEAMS 2013, pp. 23\u201332 (2013)","DOI":"10.1109\/SEAMS.2013.6595489"},{"issue":"1","key":"10_CR3","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/MS.2014.131","volume":"32","author":"M Autili","year":"2015","unstructured":"Autili, M., Inverardi, P., Tivoli, M.: Automated synthesis of service choreographies. IEEE Softw. 32(1), 50\u201357 (2015)","journal-title":"IEEE Softw."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Autili, M., Tivoli, M.: Distributed enforcement of service choreographies. In: FOCLASA (2014)","DOI":"10.4204\/EPTCS.175.2"},{"key":"10_CR5","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., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 48\u201370. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02161-9_3"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Calinescu, R., Rafiq, Y.: Using intelligent proxies to develop self-adaptive service-based systems. In: TASE 2013, pp. 131\u2013134 (2013)","DOI":"10.1109\/TASE.2013.41"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"C\u00e1mara, J., Correia, P., De Lemos, R., Garlan, D., Gomes, P., Schmerl, B., Ventura, R.: Evolving an adaptive industrial software system to use architecture-based self-adaptation. In: SEAMS 2013, pp. 13\u201322 (2013)","DOI":"10.1109\/SEAMS.2013.6595488"},{"issue":"5","key":"10_CR8","doi-asserted-by":"crossref","first-page":"1138","DOI":"10.1109\/TSE.2011.68","volume":"38","author":"V Cardellini","year":"2012","unstructured":"Cardellini, V., Casalicchio, E., Grassi, V., Iannucci, S., Lo Presti, F., Mirandola, R.: MOSES: a framework for QoS driven runtime adaptation of service-oriented systems. IEEE Trans. Softw. Eng. 38(5), 1138\u20131159 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-319-08915-7_4","volume-title":"Models@run.time","author":"BHC Cheng","year":"2014","unstructured":"Cheng, B.H.C., et al.: Using models at runtime to address assurance for self-adaptive systems. In: Bencomo, N., France, R., Cheng, B.H.C., A\u00dfmann, U. (eds.) Models@run.time. LNCS, vol. 8378, pp. 101\u2013136. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08915-7_4"},{"issue":"7","key":"10_CR10","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1007\/s00607-012-0194-z","volume":"94","author":"G Cugola","year":"2012","unstructured":"Cugola, G., Ghezzi, C., Pinto, L.: DSOL: a declarative approach to self-adaptive service orchestrations. Computing 94(7), 579\u2013617 (2012)","journal-title":"Computing"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-35813-5_1","volume-title":"Software Engineering for Self-Adaptive Systems II","author":"R de Lemos","year":"2013","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.) Software Engineering for Self-Adaptive Systems II. LNCS, vol. 7475, pp. 1\u201332. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35813-5_1"},{"key":"10_CR12","unstructured":"European Commission: Digital Agenda for Europe - Future Internet Research and Experimentation (FIRE) initiative (2015)"},{"issue":"2","key":"10_CR13","doi-asserted-by":"crossref","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 Aspects Comput. 24(2), 163\u2013186 (2012)","journal-title":"Formal Aspects Comput."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Garlan, D., Schmerl, B.: Model-based adaptation for self-healing systems. In: Proceedings of WOSS 2002, pp. 27\u201332 (2002)","DOI":"10.1145\/582128.582134"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Gomaa, H., Hashimoto, K.: Dynamic self-adaptation for distributed service-oriented transactions. In: SEAMS 2012, pp. 11\u201320 (2012)","DOI":"10.1109\/SEAMS.2012.6224386"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-642-33386-6_20","volume-title":"Automated Technology for Verification and Analysis","author":"M G\u00fcdemann","year":"2012","unstructured":"G\u00fcdemann, M., Sala\u00fcn, G., Ouederni, M.: Counterexample guided synthesis of monitors for realizability enforcement. In: Chakraborty, S., Mukund, M. (eds.) ATVA 2012. LNCS, pp. 238\u2013253. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33386-6_20"},{"key":"10_CR17","unstructured":"Hu, D.H., Yang, Q.: CIGAR: concurrent and interleaving goal and activity recognition. In: AAAI 2008, pp. 1363\u20131368 (2008)"},{"issue":"3","key":"10_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1380584.1380585","volume":"40","author":"MC Huebscher","year":"2008","unstructured":"Huebscher, M.C., McCann, J.A.: A survey of autonomic computing - degrees, models, and applications. ACM Comput. Surv. 40(3), 1\u201328 (2008)","journal-title":"ACM Comput. Surv."},{"key":"10_CR19","unstructured":"IBM: An Architectural Blueprint for Autonomic Computing. White Paper, 4th edn., IBM (2006)"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/11888116_5","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"R Kazhamiakin","year":"2006","unstructured":"Kazhamiakin, R., Pistore, M.: Analysis of realizability conditions for web service choreographies. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 61\u201376. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11888116_5"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/11841197_15","volume-title":"Web Services and Formal Methods","author":"R Kazhamiakin","year":"2006","unstructured":"Kazhamiakin, R., Pistore, M.: Choreography conformance analysis: asynchronous communications and information alignment. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 227\u2013241. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11841197_15"},{"issue":"1","key":"10_CR22","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J Kephart","year":"2003","unstructured":"Kephart, J., Chess, D.: The vision of autonomic computing. IEEE Comput. 36(1), 41\u201350 (2003)","journal-title":"IEEE Comput."},{"issue":"11","key":"10_CR23","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1109\/32.60317","volume":"16","author":"J Kramer","year":"1990","unstructured":"Kramer, J., Magee, J.: The evolving philosophers problem: dynamic change management. IEEE Trans. Softw. Eng. 16(11), 1293\u20131306 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: 2007 Future of Software Engineering, FOSE 2007, pp. 259\u2013268, May 2007","DOI":"10.1109\/FOSE.2007.19"},{"key":"10_CR25","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time clocks, and the ordering of events in a distributed system. Commun. ACM 21, 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Leite, L., Moreira, C.E., Cordeiro, D., Gerosa, M.A., Kon, F.: Deploying large-scale service compositions on the cloud with the CHOReOS Enactment Engine. In: Proceedings of 13th IEEE International Symposium on Network Computing and Applications (NCA 2014), pp. 121\u2013128. IEEE (2014)","DOI":"10.1109\/NCA.2014.25"},{"issue":"12","key":"10_CR27","doi-asserted-by":"crossref","first-page":"2829","DOI":"10.1016\/j.jss.2012.07.062","volume":"85","author":"M Salifu","year":"2012","unstructured":"Salifu, M., Yu, Y., Bandara, A.K., Nuseibeh, B.: Analysing monitoring and switching problems for adaptive systems. J. Syst. Softw. 85(12), 2829\u20132839 (2012)","journal-title":"J. Syst. Softw."},{"key":"10_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/978-3-540-89652-4_34","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"GR Santhanam","year":"2008","unstructured":"Santhanam, G.R., Basu, S., Honavar, V.: TCP \u2013 compose* \u2013 a TCP-net based algorithm for efficient composition of web services using qualitative preferences. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 453\u2013467. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89652-4_34"},{"issue":"1\u20132","key":"10_CR29","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/j.mcm.2012.08.007","volume":"58","author":"S Song","year":"2013","unstructured":"Song, S., Lee, S.-W.: A goal-driven approach for adaptive service composition using planning. Math. Comput. Model. 58(1\u20132), 261\u2013273 (2013)","journal-title":"Math. Comput. Model."},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Swanson, J., Cohen, M.B., Dwyer, M.B., Garvin, B.J., Firestone, J.: Beyond the rainbow: self-adaptive failure avoidance in configurable systems. In: FSE 2014, pp. 377\u2013388 (2014)","DOI":"10.1145\/2635868.2635915"},{"key":"10_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/11596141_39","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"M Trainotti","year":"2005","unstructured":"Trainotti, M., et al.: ASTRO: supporting composition and execution of web services. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 495\u2013501. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11596141_39"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Self-Adaptive Systems III. Assurances"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74183-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T09:01:37Z","timestamp":1570611697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74183-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319741826","9783319741833"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74183-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}