Towards Global and Local Types for Adaptation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

Towards Global and Local Types for Adaptation


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.
Fichier principal
Vignette du fichier
main.pdf (288.46 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01089358 , version 1 (01-12-2014)



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⟩


93 View
128 Download



Gmail Facebook Twitter LinkedIn More