Skip to Main content Skip to Navigation
Book sections

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

Maurizio Gabbrielli 1, 2 Saverio Giallorenzo 3 Ivan Lanese 1, 2 Jacopo Mauro 3
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : 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.
Complete list of metadata

Cited literature [30 references]  Display  Hide  Download

https://hal.inria.fr/hal-02376243
Contributor : Ivan Lanese <>
Submitted on : Friday, November 22, 2019 - 2:51:23 PM
Last modification on : Monday, November 23, 2020 - 8:46:02 AM

File

main.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

444

Files downloads

231