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 metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-01089358
Contributor : Ivan Lanese <>
Submitted on : Monday, December 1, 2014 - 3:40:53 PM
Last modification on : Friday, March 22, 2019 - 4:46:03 PM
Long-term archiving on : Monday, March 2, 2015 - 1:34:47 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

163

Files downloads

162