Multiparty Languages:  The Choreographic and Multitier Cases

Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; David Richter; Guido Salvaneschi; Pascal Weisenburger

doi:10.4230/LIPIcs.ECOOP.2021.22

Multiparty Languages: The Choreographic and Multitier Cases

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger

Department of Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

29 Downloads (Pure)

Abstract

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.

Original language	English
Title of host publication	35th European Conference on Object-Oriented Programming (ECOOP 2021)
Editors	Anders Møller, Manu Sridharan
Volume	194
Publisher	Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
Publication date	2021
Pages	22:1-22:27
Article number	22
ISBN (Print)	978-3-95977-190-0
DOIs	https://doi.org/10.4230/LIPIcs.ECOOP.2021.22
Publication status	Published - 2021
Event	European Conference on Object-Oriented Programming - Duration: 11. Jul 2021 → 17. Jul 2021 https://2021.ecoop.org/

Conference

Conference	European Conference on Object-Oriented Programming
Period	11/07/2021 → 17/07/2021
Internet address	https://2021.ecoop.org/

Series	Leibniz International Proceedings in Informatics (LIPIcs)

Keywords

Choreographies
Distributed Programming
Multitier Languages

Documents & Links

10.4230/LIPIcs.ECOOP.2021.22Licence: CC BY

Open Access VersionFinal published version, 980 KBLicence: CC BY

SDU Link

Check access to the material in SDU Library's search engine

Choco: Choco: Choreographies for connected IT systems
Montesi, F. (PI)
01/05/2020 → 30/06/2025
Project: Private Foundations

Distinguished Paper Award
Giallorenzo, S. (Recipient), Montesi, F. (Recipient), Peressotti, M. (Recipient), Salvaneschi, G. (Recipient), Weisenburger, P. (Recipient) & Richter, D. (Recipient), 2021
Prize: Prizes, scholarships, distinctions

Cite this

Giallorenzo, S., Montesi, F., Peressotti, M., Richter, D., Salvaneschi, G., & Weisenburger, P. (2021). Multiparty Languages: The Choreographic and Multitier Cases. In A. Møller, & M. Sridharan (Eds.), 35th European Conference on Object-Oriented Programming (ECOOP 2021) (Vol. 194, pp. 22:1-22:27). Article 22 Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.ECOOP.2021.22

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco et al. / Multiparty Languages : The Choreographic and Multitier Cases. 35th European Conference on Object-Oriented Programming (ECOOP 2021). editor / Anders Møller ; Manu Sridharan. Vol. 194 Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2021. pp. 22:1-22:27 (Leibniz International Proceedings in Informatics (LIPIcs)).

@inproceedings{eaf4d11c8f3f4fef808c145038a26874,

title = "Multiparty Languages: The Choreographic and Multitier Cases",

abstract = "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. ",

keywords = "Choreographies, Distributed Programming, Multitier Languages",

author = "Saverio Giallorenzo and Fabrizio Montesi and Marco Peressotti and David Richter and Guido Salvaneschi and Pascal Weisenburger",

year = "2021",

doi = "10.4230/LIPIcs.ECOOP.2021.22",

language = "English",

isbn = "978-3-95977-190-0",

volume = "194",

series = "Leibniz International Proceedings in Informatics (LIPIcs)",

pages = "22:1--22:27",

editor = "Anders M{\o}ller and Manu Sridharan",

booktitle = "35th European Conference on Object-Oriented Programming (ECOOP 2021)",

publisher = "Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik",

note = "European Conference on Object-Oriented Programming , ECOOP ; Conference date: 11-07-2021 Through 17-07-2021",

url = "https://2021.ecoop.org/",

}

Giallorenzo, S, Montesi, F , Peressotti, M, Richter, D, Salvaneschi, G & Weisenburger, P 2021, Multiparty Languages: The Choreographic and Multitier Cases. in A Møller & M Sridharan (eds), 35th European Conference on Object-Oriented Programming (ECOOP 2021). vol. 194, 22, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Leibniz International Proceedings in Informatics (LIPIcs), pp. 22:1-22:27, European Conference on Object-Oriented Programming , 11/07/2021. https://doi.org/10.4230/LIPIcs.ECOOP.2021.22

Multiparty Languages: The Choreographic and Multitier Cases. / Giallorenzo, Saverio; Montesi, Fabrizio ; Peressotti, Marco et al.
35th European Conference on Object-Oriented Programming (ECOOP 2021). ed. / Anders Møller; Manu Sridharan. Vol. 194 Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2021. p. 22:1-22:27 22 (Leibniz International Proceedings in Informatics (LIPIcs)).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Multiparty Languages

T2 - European Conference on Object-Oriented Programming

AU - Giallorenzo, Saverio

AU - Montesi, Fabrizio

AU - Peressotti, Marco

AU - Richter, David

AU - Salvaneschi, Guido

AU - Weisenburger, Pascal

PY - 2021

Y1 - 2021

N2 - 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.

AB - 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.

KW - Choreographies

KW - Distributed Programming

KW - Multitier Languages

U2 - 10.4230/LIPIcs.ECOOP.2021.22

DO - 10.4230/LIPIcs.ECOOP.2021.22

M3 - Article in proceedings

SN - 978-3-95977-190-0

VL - 194

T3 - Leibniz International Proceedings in Informatics (LIPIcs)

SP - 22:1-22:27

BT - 35th European Conference on Object-Oriented Programming (ECOOP 2021)

A2 - Møller, Anders

A2 - Sridharan, Manu

PB - Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik

Y2 - 11 July 2021 through 17 July 2021

ER -

Giallorenzo S, Montesi F , Peressotti M, Richter D, Salvaneschi G, Weisenburger P. Multiparty Languages: The Choreographic and Multitier Cases. In Møller A, Sridharan M, editors, 35th European Conference on Object-Oriented Programming (ECOOP 2021). Vol. 194. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. 2021. p. 22:1-22:27. 22. (Leibniz International Proceedings in Informatics (LIPIcs)). doi: 10.4230/LIPIcs.ECOOP.2021.22

Multiparty Languages: The Choreographic and Multitier Cases

Abstract

Conference

Keywords

Documents & Links

SDU Link

Fingerprint

Related projects

Choco: Choco: Choreographies for connected IT systems

Related prizes

Distinguished Paper Award

Cite this