Guess Who's Coming: Runtime Inclusion of Participants in Choreographies - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2019

Guess Who's Coming: Runtime Inclusion of Participants in Choreographies

Résumé

In Choreographic Programming, a choreography specifies in a single artefact the expected behaviour of all the participants in a distributed system. The choreography is used to synthesise correct-by-construction programs for each participant. In previous work, we defined Dynamic Choreographies to support the update of distributed systems at runtime. In this work, we extend Dynamic Choreographies to include new participants at runtime, capturing those use cases where the system might be updated to interact with new, unforeseen stakeholders. We formalise our extension, prove its correctness, and present an implementation in the AIOCJ choreographic framework.
Fichier principal
Vignette du fichier
main.pdf (349.56 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02376243 , version 1 (22-11-2019)

Identifiants

Citer

Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro. Guess Who's Coming: Runtime Inclusion of Participants in Choreographies. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019, ⟨10.1007/978-3-030-31175-9_8⟩. ⟨hal-02376243⟩
373 Consultations
94 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More