A Promising Future: Omission Failures in Choreographic Programming
Eva Graversen, Fabrizio Montesi, Marco Peressotti

TL;DR
This paper extends choreographic programming to handle realistic communication failures like message omission and network failures, enabling reliable distributed system design with failure recovery strategies and static delivery guarantees.
Contribution
It introduces a novel theory for choreographic programming that manages omission failures and supports independent failure recovery strategies for senders and receivers.
Findings
Supports programming of failure recovery strategies.
Provides static analysis for delivery guarantees.
Validates approach with complex examples like two-phase commit.
Abstract
Choreographic programming promises a simple approach to the coding of concurrent and distributed systems: write the collective communication behaviour of a system of processes as a choreography, and then the programs for these processes are automatically compiled by a provably-correct procedure known as endpoint projection. While this promise prompted substantial research, a theory that can deal with realistic communication failures in a distributed network remains elusive. In this work, we provide the first theory of choreographic programming that addresses realistic communication failures taken from the literature of distributed systems: processes can send or receive fewer messages than they should (send and receive omission), and the network can fail at transporting messages (omission failure). Our theory supports the programming of strategies for failure recovery, and a novel…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed systems and fault tolerance · Security and Verification in Computing · Service-Oriented Architecture and Web Services
