Towards Global and Local Types for Adaptation - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Towards Global and Local Types for Adaptation

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩

Collections

INRIA INRIA2
94 Consultations
138 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More