Design-By-Contract for Flexible Multiparty Session Protocols - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Design-By-Contract for Flexible Multiparty Session Protocols

Résumé

Choreographic models support a correctness-by-construction principle in distributed programming. Also, they enable the automatic generation of correct message-based communication patterns from a global specification of the desired system behaviour. In this paper we extend the theory of choreography automata, a choreographic model based on finite-state automata, with two key features. First, we allow participants to act only in some of the scenarios described by the choreography automaton. While this seems natural, many choreographic approaches in the literature, and choreography automata in particular, forbid this behaviour. Second, we equip communications with assertions constraining the values that can be communicated, enabling a design-by-contract approach. We provide a toolchain allowing to exploit the theory above to generate APIs for TypeScript web programming. Programs communicating via the generated APIs follow, by construction, the prescribed communication pattern and are free from communication errors such as deadlocks.
Fichier principal
Vignette du fichier
published.pdf (1.35 Mo) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Licence : CC BY - Paternité

Dates et versions

hal-03917259 , version 1 (01-01-2023)

Identifiants

Citer

Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida. Design-By-Contract for Flexible Multiparty Session Protocols. ECOOP 2022 - European Conference on Object-Oriented Programming, Jun 2022, Berlin (DE), Germany. ⟨10.4230/LIPIcs.ECOOP.2022.8⟩. ⟨hal-03917259⟩
17 Consultations
20 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More