Sciweavers

SEFM
2014
IEEE

Towards Global and Local Types for Adaptation

9 years 11 months ago
Towards Global and Local Types for Adaptation
Choreographies allow designers to specify the protocols followed by participants of a distributed interaction. Adapting the behavior of a participant, either because of external requests or as a self-update to better suit a changing environment, 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.
Mario Bravetti, Marco Carbone, Thomas T. Hildebran
Added 27 Apr 2014
Updated 27 Apr 2014
Type Journal
Year 2014
Where SEFM
Authors Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro
Comments (0)