TY - GEN
T1 - Towards global and local types for adaptation
AU - Bravetti, Mario
AU - Carbone, Marco
AU - Hildebrandt, Thomas
AU - Lanese, Ivan
AU - Mauro, Jacopo
AU - Pérez, Jorge A.
AU - Zavattaro, Gianluigi
PY - 2014/1/1
Y1 - 2014/1/1
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-319-05032-4_1
DO - 10.1007/978-3-319-05032-4_1
M3 - Article in proceedings
AN - SCOPUS:84901648199
SN - 9783319050317
T3 - Lecture Notes in Computer Science
SP - 3
EP - 14
BT - Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops
PB - Springer
T2 - 11th International Conference on Software Engineering and Formal Methods, SEFM 2013 - Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert
Y2 - 23 September 2014 through 24 September 2014
ER -