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

Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro

doi:10.1007/978-3-030-31175-9_8

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

Maurizio Gabbrielli^*, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro

^*Corresponding author for this work

Department of Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

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.

Original language	English
Title of host publication	The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
Editors	Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia
Publisher	Springer
Publication date	2019
Pages	118-138
ISBN (Print)	978-3-030-31174-2
DOIs	https://doi.org/10.1007/978-3-030-31175-9_8
Publication status	Published - 2019

Series	Lecture Notes in Computer Science
Volume	11760
ISSN	0302-9743

Keywords

Adaptation of distributed systems
Choreographic programming
Dynamic inclusion of new software components

Documents & Links

10.1007/978-3-030-31175-9_8

Cite this

Gabbrielli, M., Giallorenzo, S., Lanese, I., & Mauro, J. (2019). Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies. In M. S. Alvim, K. Chatzikokolakis, C. Olarte, & F. Valencia (Eds.), The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday (pp. 118-138). Springer. https://doi.org/10.1007/978-3-030-31175-9_8

Gabbrielli, Maurizio ; Giallorenzo, Saverio ; Lanese, Ivan et al. / 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: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. editor / Mário S. Alvim ; Kostas Chatzikokolakis ; Carlos Olarte ; Frank Valencia. Springer, 2019. pp. 118-138 (Lecture Notes in Computer Science, Vol. 11760).

@inbook{0817197ba7a34fdb8e92999df2f9852e,

title = "Guess Who{\textquoteright}s Coming: Runtime Inclusion of Participants in Choreographies",

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.",

keywords = "Adaptation of distributed systems, Choreographic programming, Dynamic inclusion of new software components",

author = "Maurizio Gabbrielli and Saverio Giallorenzo and Ivan Lanese and Jacopo Mauro",

year = "2019",

doi = "10.1007/978-3-030-31175-9_8",

language = "English",

isbn = "978-3-030-31174-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "118--138",

editor = "Alvim, {M{\'a}rio S.} and Kostas Chatzikokolakis and Carlos Olarte and Frank Valencia",

booktitle = "The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy",

address = "Germany",

}

Gabbrielli, M, Giallorenzo, S, Lanese, I & Mauro, J 2019, Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies. in MS Alvim, K Chatzikokolakis, C Olarte & F Valencia (eds), The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Springer, Lecture Notes in Computer Science, vol. 11760, pp. 118-138. https://doi.org/10.1007/978-3-030-31175-9_8

Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies. / Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan et al.
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. ed. / Mário S. Alvim; Kostas Chatzikokolakis; Carlos Olarte; Frank Valencia. Springer, 2019. p. 118-138 (Lecture Notes in Computer Science, Vol. 11760).

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

TY - CHAP

T1 - Guess Who’s Coming

T2 - Runtime Inclusion of Participants in Choreographies

AU - Gabbrielli, Maurizio

AU - Giallorenzo, Saverio

AU - Lanese, Ivan

AU - Mauro, Jacopo

PY - 2019

Y1 - 2019

N2 - 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.

AB - 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.

KW - Adaptation of distributed systems

KW - Choreographic programming

KW - Dynamic inclusion of new software components

U2 - 10.1007/978-3-030-31175-9_8

DO - 10.1007/978-3-030-31175-9_8

M3 - Book chapter

AN - SCOPUS:85075042927

SN - 978-3-030-31174-2

T3 - Lecture Notes in Computer Science

SP - 118

EP - 138

BT - The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

A2 - Alvim, Mário S.

A2 - Chatzikokolakis, Kostas

A2 - Olarte, Carlos

A2 - Valencia, Frank

PB - Springer

ER -

Gabbrielli M, Giallorenzo S, Lanese I, Mauro J. Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies. In Alvim MS, Chatzikokolakis K, Olarte C, Valencia F, editors, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Springer. 2019. p. 118-138. (Lecture Notes in Computer Science, Vol. 11760). doi: 10.1007/978-3-030-31175-9_8

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

Abstract

Keywords

Documents & Links

Fingerprint

Cite this