{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:38:08Z","timestamp":1740109088326,"version":"3.37.3"},"reference-count":29,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T00:00:00Z","timestamp":1467331200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000921","name":"European Cooperation in Science and Technology","doi-asserted-by":"publisher","award":["IC1201"],"award-info":[{"award-number":["IC1201"]}],"id":[{"id":"10.13039\/501100000921","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2016,7]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>\n            <jats:italic>Communication-centric systems<\/jats:italic>\n            are software systems built as assemblies of distributed artifacts that interact following predefined communication protocols.\n            <jats:italic>Session-based concurrency<\/jats:italic>\n            is a type-based approach to ensure the conformance of communication-centric systems to such protocols. This paper presents a model of\n            <jats:italic>session-based concurrency<\/jats:italic>\n            with mechanisms for\n            <jats:italic>run-time adaptation<\/jats:italic>\n            . Our model allows us to specify communication-centric systems whose session behavior can be dynamically updated at run-time. We improve on previous work by proposing an\n            <jats:italic>event-based<\/jats:italic>\n            approach: adaptation requests, issued by the system itself or by its context, are assimilated to events which may trigger adaptation routines. These routines exploit type-directed checks to enable the reconfiguration of processes with active protocols. We equip our model with a type system that ensures\n            <jats:italic>communication safety<\/jats:italic>\n            and\n            <jats:italic>consistency<\/jats:italic>\n            properties: while safety guarantees absence of run-time communication errors, consistency ensures that update actions do not disrupt already established session protocols. We provide soundness results for binary and multiparty protocols.\n          <\/jats:p>","DOI":"10.1007\/s00165-016-0377-z","type":"journal-article","created":{"date-parts":[[2016,5,12]],"date-time":"2016-05-12T06:24:08Z","timestamp":1463034248000},"page":"531-566","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Event-based run-time adaptation in communication-centric systems"],"prefix":"10.1145","volume":"28","author":[{"given":"Cinzia","family":"Di Giusto","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Nice Sophia-Antipolis, CNRS, I3S, UMR 7271, Sophia Antipolis, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge A.","family":"P\u00e9rez","sequence":"additional","affiliation":[{"name":"University of Groningen, Groningen, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"doi-asserted-by":"crossref","unstructured":"Anderson G Rathke J (2012) Dynamic software update for message passing programs. In: Jhala R Igarashi A (eds) Programming Languages and Systems\u201410th Asian Symposium APLAS. Proceedings vol. 7705 of Lecture Notes in Computer Science pages 207\u2013222. Springer Kyoto pp 207\u2013222","key":"e_1_2_1_2_1_2","DOI":"10.1007\/978-3-642-35182-2_15"},{"unstructured":"Bocchi L Chen TC Demangeon R Honda K Yoshida N (2013) Monitoring networks through multiparty session types. In: Beyer D Boreale M (eds) Formal Techniques for Distributed Systems\u2014Joint IFIP WG 6.1 International Conference FMOODS\/FORTE Held as Part of the 8th International Federated Conference on Distributed Computing Techniques DisCoTec. Proceedings vol. 7892 of Lecture Notes in Computer Science. Springer Florence pp 50\u201365","key":"e_1_2_1_2_2_2"},{"doi-asserted-by":"crossref","unstructured":"Bravetti M Carbone M Hildebrandt TT Lanese I Mauro J P\u00e9rez JA Zavattaro G (2013) Towards global and local types for adaptation. In: Counsell S N\u00fa\u00f1ez M (eds) Software Engineering and Formal Methods\u2014SEFM Collocated Workshops vol. 8368 of Lecture Notes in Computer Science. Springer pp 3\u201314","key":"e_1_2_1_2_3_2","DOI":"10.1007\/978-3-319-05032-4_1"},{"doi-asserted-by":"crossref","unstructured":"Bravetti M Di Giusto C P\u00e9rez JA Zavattaro G (2012) Adaptable Processes. Log. Methods Comput. Sci. 8(4)","key":"e_1_2_1_2_4_2","DOI":"10.2168\/LMCS-8(4:13)2012"},{"doi-asserted-by":"crossref","unstructured":"Castellani I Dezani-Ciancaglini M P\u00e9rez JA (2014) Self-adaptation and secure information flow in multiparty structured communications: a unified perspective. In: Carbone M (ed) Proceedings Third Workshop on Behavioural Types BEAT vol. 162 of EPTCS. Rome pp 9\u201318","key":"e_1_2_1_2_5_2","DOI":"10.4204\/EPTCS.162.2"},{"doi-asserted-by":"publisher","key":"e_1_2_1_2_6_2","DOI":"10.1007\/s11761-014-0171-9"},{"doi-asserted-by":"publisher","key":"e_1_2_1_2_7_2","DOI":"10.1017\/S0960129514000188"},{"doi-asserted-by":"crossref","unstructured":"Dalla Preda M Giallorenzo S Lanese I Mauro J Gabbrielli M (2014) AIOCJ: a choreographic framework for safe adaptive distributed applications. In: Combemale B Pearce DJ Barais O Vinju JJ (eds) Software Language Engineering\u20147th International Conference SLE vol. 8706 of Lecture Notes in Computer Science. Springer pp 161\u2013170","key":"e_1_2_1_2_8_2","DOI":"10.1007\/978-3-319-11245-9_9"},{"doi-asserted-by":"crossref","unstructured":"Di Giusto C P\u00e9rez JA (2013) Disciplined structured communications with consistent runtime adaptation. In: Shin SY Maldonado JC (eds) Proceedings of the 28th Annual ACM Symposium on Applied Computing SAC. ACM Coimbra 1913\u20131918","key":"e_1_2_1_2_9_2","DOI":"10.1145\/2480362.2480716"},{"doi-asserted-by":"crossref","unstructured":"Di Giusto C P\u00e9rez JA (2013) Session types with runtime adaptation: overview and examples. In: PLACES vol. 137 of EPTCS pp 21\u201332","key":"e_1_2_1_2_10_2","DOI":"10.4204\/EPTCS.137.3"},{"doi-asserted-by":"publisher","key":"e_1_2_1_2_11_2","DOI":"10.1016\/j.scico.2014.04.017"},{"doi-asserted-by":"crossref","unstructured":"Di Giusto C P\u00e9rez JA (2016) An event-based approach to runtime adaptation in communication-centric systems. In: Hildebrandt T Ravara A van der Werf JM Weidlich M (eds) Web services formal methods and behavioral types: 11th international workshop WS-FM 2014 Eindhoven The Netherlands September 11\u201312 2014 and 12th international workshop WS-FM\/BEAT 2015 Madrid Spain September 4\u20135 2015 Revised Selected Papers. Springer International Publishing Cham pp 67\u201385. doi:10.1007\/978-3-319-33612-1","key":"e_1_2_1_2_12_2","DOI":"10.1007\/978-3-319-33612-1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_2_13_2","DOI":"10.1007\/978-3-642-33143-5"},{"unstructured":"Fox J (2011) A formal orchestration model for dynamically adaptable services with COWS. In: Proceedings International Conference on Adaptive and Self-Adaptive Systems and Applications (ADAPTIVE 2011). IARIA pp 67\u201372","key":"e_1_2_1_2_14_2"},{"doi-asserted-by":"publisher","key":"e_1_2_1_2_15_2","DOI":"10.1007\/s00236-005-0177-z"},{"doi-asserted-by":"crossref","unstructured":"Hu R Kouzapas D Pernet O Yoshida N Honda K (2010) Type-safe eventful sessions in java. In: D\u2019Hondt T (ed) ECOOP Object-Oriented Programming 24th European Conference. Proceedings vol. 6183 of Lecture Notes in Computer Science. Springer Maribor pp 329\u2013353","key":"e_1_2_1_2_16_2","DOI":"10.1007\/978-3-642-14107-2_16"},{"unstructured":"Honda K Vasconcelos VT Kubo M (1998) Language primitives and type discipline for structured communication-based programming. In: Hankin C (ed) Programming Languages and Systems\u2014ESOP\u201998 7th European Symposium on Programming Held as Part of the European Joint Conferences on the Theory and Practice of Software ETAPS\u201998 Proceedings vol. 1381 of Lecture Notes in Computer Science. Springer Lisbon pp 122\u2013138","key":"e_1_2_1_2_17_2"},{"doi-asserted-by":"crossref","unstructured":"Honda K Yoshida N Carbone M (2008) Multiparty asynchronous session types. In: Necula GC Wadler P (eds) POPL. ACM pp 273\u2013284","key":"e_1_2_1_2_18_2","DOI":"10.1145\/1328897.1328472"},{"doi-asserted-by":"publisher","key":"e_1_2_1_2_19_2","DOI":"10.1109\/32.249660"},{"unstructured":"Kouzapas D (2012) A Study of Bisimulation Theory for Session Types. Ph.D. thesis Imperial College London","key":"e_1_2_1_2_20_2"},{"unstructured":"Kouzapas D Yoshida N Honda K (2011) On asynchronous session semantics. In: Bruni R Dingel J (eds) Formal Techniques for Distributed Systems\u2014Joint 13th IFIP WG 6.1 International Conference FMOODS 2011 and 31st IFIP WG 6.1 International Conference FORTE 2011. Proceedings vol. 6722 of Lecture Notes in Computer Science. Springer Reykjavik pp 228\u2013243","key":"e_1_2_1_2_21_2"},{"doi-asserted-by":"publisher","key":"e_1_2_1_2_22_2","DOI":"10.1017\/S096012951400019X"},{"doi-asserted-by":"crossref","unstructured":"M\u00fcller R Greiner U Rahm E (2004)Agentwork: a workflow system supporting rule-based workflow adaptation. Data Knowl Eng 51(2):223\u2013256","key":"e_1_2_1_2_23_2","DOI":"10.1016\/j.datak.2004.03.010"},{"doi-asserted-by":"crossref","unstructured":"Milner R Parrow J Walker D (1992) A calculus of mobile processes i. Inf Comput 100(1):1\u201340","key":"e_1_2_1_2_24_2","DOI":"10.1016\/0890-5401(92)90008-4"},{"doi-asserted-by":"crossref","unstructured":"Padovani L (2010) Session types = intersection types + union types. In: Pimentel E Venneri B Wells JB (eds) Proceedings Fifth Workshop on Intersection Types and Related Systems vol. 45 of EPTCS. ITRS Edinburgh pp 71\u201389","key":"e_1_2_1_2_25_2","DOI":"10.4204\/EPTCS.45.6"},{"doi-asserted-by":"crossref","unstructured":"Padovani L Vasconcelos VT Vieira HT (2014) Typing liveness in multiparty communicating systems. In: K\u00fchn E Pugliese R (eds) Coordination Models and Languages\u201416th IFIP WG 6.1 International Conference COORDINATION Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques DisCoTec 2014 Proceedings vol. 8459 of Lecture Notes in Computer Science. Springer Berlin pp 147\u2013162","key":"e_1_2_1_2_26_2","DOI":"10.1007\/978-3-662-43376-8_10"},{"doi-asserted-by":"publisher","key":"e_1_2_1_2_27_2","DOI":"10.1016\/j.datak.2004.01.002"},{"unstructured":"Seco JC Caires L (2006) Types for dynamic reconfiguration. In: Sestoft P (ed) Programming Languages and Systems 15th European Symposium on Programming ESOP Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS Proceedings vol. 3924 of Lecture Notes in Computer Science. Springer Vienna pp 214\u2013229","key":"e_1_2_1_2_28_2"},{"unstructured":"Vieira HT Vasconcelos VT (2013) Typing progress in communication-centred systems. In: De Nicola R Julien C (eds) Coordination Models and Languages 15th International Conference COORDINATION Held as Part of the 8th International Federated Conference on Distributed Computing Techniques DisCoTec. Proceedings vol. 7890 of Lecture Notes in Computer Science. Springer Florencem pp 236\u2013250","key":"e_1_2_1_2_29_2"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-016-0377-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-016-0377-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-016-0377-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T16:09:12Z","timestamp":1641485352000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-016-0377-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,7]]}},"alternative-id":["10.1007\/s00165-016-0377-z"],"URL":"https:\/\/doi.org\/10.1007\/s00165-016-0377-z","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"type":"print","value":"0934-5043"},{"type":"electronic","value":"1433-299X"}],"subject":[],"published":{"date-parts":[[2016,7]]}}}