Design-by-contract for flexible multiparty session protocols (Artifact)
File(s)DARTS-8-2-21.pdf (717.57 KB)
Published version
Author(s)
Gheri, Lorenzo
Lanese, Ivan
Sayers, Neil
Tuosto, Emilio
Yoshida, Nobuko
Type
Conference Paper
Abstract
We introduce CAScr, the first implementation
of Scribble (http://www.scribble.org, https://
nuscr.dev/) that relies on choreography automata,
for deadlock-free distributed programming. CAScr
supports the main theoretical results and construc-
tions in the related article. CAScr takes the popular
top-down approach to system development, based
on choreographic models, following the original
methodology of Scribble and multiparty session
types. The top-down approach enables correctness-
by-construction: a developer provides a global de-
scription for the whole communication protocol;
by projecting the global protocol, APIs are gen-
erated from local CFSMs, which ensure the safe
implementation of each participant. The theory
of choreography automata in the related article
guarantees deadlock freedom for the distributed
implementation of flexible global protocols. We
target web development, supporting in particular
the TypeScript programming language.
of Scribble (http://www.scribble.org, https://
nuscr.dev/) that relies on choreography automata,
for deadlock-free distributed programming. CAScr
supports the main theoretical results and construc-
tions in the related article. CAScr takes the popular
top-down approach to system development, based
on choreographic models, following the original
methodology of Scribble and multiparty session
types. The top-down approach enables correctness-
by-construction: a developer provides a global de-
scription for the whole communication protocol;
by projecting the global protocol, APIs are gen-
erated from local CFSMs, which ensure the safe
implementation of each participant. The theory
of choreography automata in the related article
guarantees deadlock freedom for the distributed
implementation of flexible global protocols. We
target web development, supporting in particular
the TypeScript programming language.
Date Acceptance
2022-05-05
Citation
DARTS, Volume 8, Issue 2, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022), pp.1-5
ISSN
2509-8195
Publisher
Schloss Dagstuhl, Leibniz-Zentrum
Start Page
1
End Page
5
Journal / Book Title
DARTS, Volume 8, Issue 2, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022)
Copyright Statement
© Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, and
Nobuko Yoshida;
licensed under Creative Commons License CC-BY 4.0
Nobuko Yoshida;
licensed under Creative Commons License CC-BY 4.0
License URL
Identifier
https://drops.dagstuhl.de/opus/volltexte/2022/16219/
Source
ECOOP 2022 (Artifacts Evaluation)
Publication Status
Published
Start Date
2022-06-06
Finish Date
2022-06-10
Coverage Spatial
Berlin, Germany
Date Publish Online
2022-06-23