Multiparty Languages: The Choreographic and Multitier Cases - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2021

Multiparty Languages: The Choreographic and Multitier Cases

Résumé

Choreographic languages aim to express multiparty communication protocols, by providing primitives that make interaction manifest. Multitier languages enable programming computation that spans across several tiers of a distributed system, by supporting primitives that allow computation to change the location of execution. Rooted into different theoretical underpinnings-respectively process calculi and lambda calculus-the two paradigms have been investigated independently by different research communities with little or no contact. As a result, the link between the two paradigms has remained hidden for long. In this paper, we show that choreographic languages and multitier languages are surprisingly similar. We substantiate our claim by isolating the core abstractions that differentiate the two approaches and by providing algorithms that translate one into the other in a straightforward way. We believe that this work paves the way for joint research and cross-fertilisation among the two communities.
Fichier principal
Vignette du fichier
ecoop2021.pdf (852.93 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03337915 , version 1 (08-09-2021)

Identifiants

Citer

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, et al.. Multiparty Languages: The Choreographic and Multitier Cases. ECOOP 2021 - European Conference on Object-Oriented Programming, Jul 2021, Aarhus, Denmark. ⟨10.4230/LIPIcs.ECOOP.2021.23⟩. ⟨hal-03337915⟩
76 Consultations
220 Téléchargements

Altmetric

Partager

More