{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T09:09:31Z","timestamp":1746522571837,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319192819"},{"type":"electronic","value":"9783319192826"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","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-19282-6_5","type":"book-chapter","created":{"date-parts":[[2015,4,29]],"date-time":"2015-04-29T07:05:56Z","timestamp":1430291156000},"page":"67-82","source":"Crossref","is-referenced-by-count":22,"title":["Dynamic Choreographies"],"prefix":"10.1007","author":[{"given":"Mila","family":"Dalla Preda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurizio","family":"Gabbrielli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saverio","family":"Giallorenzo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Lanese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacopo","family":"Mauro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"AIOCJ website, \n                      \n                        http:\/\/www.cs.unibo.it\/projects\/jolie\/aiocj.html"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-35182-2_15","volume-title":"Programming Languages and Systems","author":"G. Anderson","year":"2012","unstructured":"Anderson, G., Rathke, J.: Dynamic software update for message passing programs. In: Jhala, R., Igarashi, A. (eds.) APLAS 2012. LNCS, vol.\u00a07705, pp. 207\u2013222. Springer, Heidelberg (2012)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-05032-4_1","volume-title":"Software Engineering and Formal Methods","author":"M. Bravetti","year":"2014","unstructured":"Bravetti, M., Carbone, M., Hildebrandt, T., Lanese, I., Mauro, J., P\u00e9rez, J.A., Zavattaro, G.: Towards global and local types for adaptation. In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol.\u00a08368, pp. 3\u201314. Springer, Heidelberg (2014)"},{"issue":"2","key":"5_CR4","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/2220365.2220367","volume":"34","author":"M. Carbone","year":"2012","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centered programming for web services. ACM Trans. Program. Lang. Syst.\u00a034(2), 8 (2012)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Carbone, M., Montesi, F.: Deadlock-Freedom-by-Design: Multiparty Asynchronous Global Programming. In: POPL, pp. 263\u2013274. ACM (2013)","DOI":"10.1145\/2480359.2429101"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Castagna, G., Dezani-Ciancaglini, M., Padovani, L.: On global types and multi-party session. Logical Methods in Computer Science\u00a08(1) (2012)","DOI":"10.2168\/LMCS-8(1:24)2012"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Venneri, B.: Self-adaptive multiparty sessions. In: Service Oriented Computing and Applications, pp. 1\u201320 (2014)","DOI":"10.1109\/PDP.2014.18"},{"key":"5_CR8","unstructured":"Dalla Preda, M., Gabbrielli, M., Giallorenzo, S., Lanese, I., Mauro, J.: Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. Technical report (2014), \n                      \n                        http:\/\/arxiv.org\/abs\/1407.0970"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-319-11245-9_9","volume-title":"Software Language Engineering","author":"M. Preda Dalla","year":"2014","unstructured":"Dalla Preda, M., Giallorenzo, S., Lanese, I., Mauro, J., Gabbrielli, M.: AIOCJ: A choreographic framework for safe adaptive distributed applications. In: Combemale, B., Pearce, D.J., Barais, O., Vinju, J.J. (eds.) SLE 2014. LNCS, vol.\u00a08706, pp. 161\u2013170. Springer, Heidelberg (2014)"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Di Giusto, C., P\u00e9rez, J.A.: Disciplined structured communications with consistent runtime adaptation. In: SAC, pp. 1913\u20131918. ACM (2013)","DOI":"10.1145\/2480362.2480716"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Pradella, M., Salvaneschi, G.: An evaluation of the adaptation capabilities in programming languages. In: SEAMS, pp. 50\u201359. ACM (2011)","DOI":"10.1145\/1988008.1988016"},{"issue":"3","key":"5_CR12","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":"5_CR13","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: POPL, pp. 273\u2013284. ACM (2008)","DOI":"10.1145\/1328897.1328472"},{"key":"5_CR14","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)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.: Bridging the Gap between Interaction- and Process-Oriented Choreographies. In: SEFM, pp. 323\u2013332. IEEE (2008)","DOI":"10.1109\/SEFM.2008.11"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Lanese, I., Montesi, F., Zavattaro, G.: Amending choreographies. In: WWV. EPTCS, vol.\u00a0123, pp. 34\u201348 (2013)","DOI":"10.4204\/EPTCS.123.5"},{"issue":"3","key":"5_CR17","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s11761-012-0125-z","volume":"7","author":"L.A.F. Leite","year":"2013","unstructured":"Leite, L.A.F., et al.: A systematic literature review of service choreography adaptation. Service Oriented Computing and Applications\u00a07(3), 199\u2013216 (2013)","journal-title":"Service Oriented Computing and Applications"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-642-40184-8_30","volume-title":"CONCUR 2013 \u2013 Concurrency Theory","author":"F. Montesi","year":"2013","unstructured":"Montesi, F., Yoshida, N.: Compositional choreographies. In: D\u2019Argenio, P.R., Melgratti, H. (eds.) CONCUR 2013. LNCS, vol.\u00a08052, pp. 425\u2013439. Springer, Heidelberg (2013)"},{"key":"5_CR19","unstructured":"Nienaltowski, P.: Practical framework for contract-based concurrent object-oriented programming. PhD thesis, ETH Zurich (2007)"},{"issue":"12","key":"5_CR20","doi-asserted-by":"publisher","first-page":"1119","DOI":"10.1002\/spe.605","volume":"34","author":"R. Pawlak","year":"2004","unstructured":"Pawlak, R., et al.: JAC: an aspect-based distributed dynamic framework. Softw., Pract. Exper.\u00a034(12), 1119\u20131148 (2004)","journal-title":"Softw., Pract. Exper."},{"key":"5_CR21","unstructured":"Rust website, \n                      \n                        http:\/\/www.rust-lang.org\/"},{"key":"5_CR22","unstructured":"Scribble website, \n                      \n                        http:\/\/www.jboss.org\/scribble"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Yang, Z., Cheng, B.H.C., Stirewalt, R.E.K., Sowell, J., Sadjadi, S.M., McKinley, P.K.: An aspect-oriented approach to dynamic adaptation. In: WOSS, pp. 85\u201392. ACM (2002)","DOI":"10.1145\/582129.582144"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19282-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T19:10:31Z","timestamp":1559157031000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-19282-6_5"}},"subtitle":["Safe Runtime Updates of Distributed Applications"],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319192819","9783319192826"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19282-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}