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.
Towards Global and Local Types for Adaptation / Mario Bravetti;Marco Carbone;Thomas Hildebrandt;Ivan Lanese;Jacopo Mauro;Jorge A. Pérez;Gianluigi Zavattaro. - STAMPA. - 8368:(2014), pp. 3-14. (Intervento presentato al convegno 2nd International Workshop on Behavioural Types (BEAT 2) tenutosi a Madrid, Spain nel September 23-24, 2013) [10.1007/978-3-319-05032-4_1].
Towards Global and Local Types for Adaptation
BRAVETTI, MARIO;LANESE, IVAN;MAURO, JACOPO;ZAVATTARO, GIANLUIGI
2014
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
