2026-07-23T18:19:09Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:16219 2024-03-06T11:05:16Z ddc:004 open_access

Design-by-Contract for Flexible Multiparty Session Protocols (Artifact) Gheri, Lorenzo Lanese, Ivan Sayers, Neil Tuosto, Emilio Yoshida, Nobuko Choreography automata design by contract deadlock freedom Communicating Finite State Machines TypeScript programming 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 constructions 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 description for the whole communication protocol; by projecting the global protocol, APIs are generated 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Lorenzo Gheri and Ivan Lanese and Neil Sayers and Emilio Tuosto and Nobuko Yoshida 2022 Is Part Of DARTS, Volume 8, Issue 2, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.8.2.21 urn:nbn:de:0030-drops-162196 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.2.21 eng https://creativecommons.org/licenses/by/4.0/legalcode