Skip to Main content Skip to Navigation
Conference papers

Towards Global and Local Types for Adaptation

Abstract : Choreographies allow designers to specify the protocols followed by participants of a distributed interaction. In this context, adaptation may be necessary to respond to external requests or to better suit a changing environment (a self-update). Adapting the behavior of a participant requires to update in a coordinated way possibly all the participants interacting with him. We propose a language able to describe a choreography together with its adaptation strategies, and we discuss the main issues that have to be solved to enable adaptation on a participant code dealing with many interleaved protocols.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Ivan Lanese Connect in order to contact the contributor
Submitted on : Monday, December 1, 2014 - 3:40:53 PM
Last modification on : Friday, October 30, 2020 - 12:04:03 PM
Long-term archiving on: : Monday, March 2, 2015 - 1:34:47 PM


Files produced by the author(s)




Mario Bravetti, Marco Carbone, Thomas Hildebrandt, Ivan Lanese, Jacopo Mauro, et al.. Towards Global and Local Types for Adaptation. SEFM 2013 Collocated Workshops, 2014, Madrid, Spain. pp.3 - 14, ⟨10.1007/978-3-319-05032-4_1⟩. ⟨hal-01089358⟩



Les métriques sont temporairement indisponibles