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.
Gabbrielli M., Giallorenzo S., Lanese I., Mauro J. (2019). Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies. Cham : Springer [10.1007/978-3-030-31175-9_8].
Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies
Gabbrielli M.
;Giallorenzo S.;Lanese I.;Mauro J.
2019
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.File | Dimensione | Formato | |
---|---|---|---|
postPrintWithPreface.pdf
accesso aperto
Tipo:
Postprint
Licenza:
Licenza per accesso libero gratuito
Dimensione
365.77 kB
Formato
Adobe PDF
|
365.77 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.