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

^*Kontaktforfatter

Institut for Matematik og Datalogi

Publikation: Kapitel i bog/rapport/konference-proceeding › Kapitel i bog › Forskning › 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.

Originalsprog	Engelsk
Titel	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
Redaktører	Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia
Forlag	Springer
Publikationsdato	2019
Sider	118-138
ISBN (Trykt)	978-3-030-31174-2
DOI	https://doi.org/10.1007/978-3-030-31175-9_8
Status	Udgivet - 2019

Navn	Lecture Notes in Computer Science
Vol/bind	11760
ISSN	0302-9743

Dokumenter og links

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

Citationsformater

Gabbrielli, M., Giallorenzo, S., Lanese, I., & Mauro, J. (2019). Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies. I M. S. Alvim, K. Chatzikokolakis, C. Olarte, & F. Valencia (red.), 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 (s. 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. red. / Mário S. Alvim ; Kostas Chatzikokolakis ; Carlos Olarte ; Frank Valencia. Springer, 2019. s. 118-138 (Lecture Notes in Computer Science, Bind 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. i MS Alvim, K Chatzikokolakis, C Olarte & F Valencia (red), 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, bind 11760, s. 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. red. / Mário S. Alvim; Kostas Chatzikokolakis; Carlos Olarte; Frank Valencia. Springer, 2019. s. 118-138 (Lecture Notes in Computer Science, Bind 11760).

Publikation: Kapitel i bog/rapport/konference-proceeding › Kapitel i bog › Forskning › 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. I Alvim MS, Chatzikokolakis K, Olarte C, Valencia F, red., 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. s. 118-138. (Lecture Notes in Computer Science, Bind 11760). doi: 10.1007/978-3-030-31175-9_8

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

Abstract

Dokumenter og links

Fingeraftryk

Citationsformater