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.
Type de document :
Communication dans un congrès
SEFM 2013 Collocated Workshops, 2014, Madrid, Spain. Springer, 8368, pp.3 - 14, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-319-05032-4_1〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01089358
Contributeur : Ivan Lanese <>
Soumis le : lundi 1 décembre 2014 - 15:40:53
Dernière modification le : samedi 27 janvier 2018 - 01:31:32
Document(s) archivé(s) le : lundi 2 mars 2015 - 13:34:47

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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. Springer, 8368, pp.3 - 14, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-319-05032-4_1〉. 〈hal-01089358〉

Partager

Métriques

Consultations de la notice

126

Téléchargements de fichiers

72