Repository logo
  • Log In
    Log in via Symplectic to deposit your publication(s).
Repository logo
  • Communities & Collections
  • Research Outputs
  • Statistics
  • Log In
    Log in via Symplectic to deposit your publication(s).
  1. Home
  2. Faculty of Engineering
  3. Computing
  4. Computing
  5. Design-by-contract for flexible multiparty session protocols (Artifact)
 
  • Details
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.
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
URI
http://hdl.handle.net/10044/1/97308
URL
https://drops.dagstuhl.de/opus/volltexte/2022/16219/
DOI
https://www.dx.doi.org/10.4230/DARTS.8.2.21
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
License URL
https://creativecommons.org/licenses/by/4.0/
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
About
Spiral Depositing with Spiral Publishing with Spiral Symplectic
Contact us
Open access team Report an issue
Other Services
Scholarly Communications Library Services
logo

Imperial College London

South Kensington Campus

London SW7 2AZ, UK

tel: +44 (0)20 7589 5111

Accessibility Modern slavery statement Cookie Policy

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback