Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco ; Richter, David ; Salvaneschi, Guido ; Weisenburger, Pascal
Hrsg.: Møller, Anders ; Sridharan, Manu (2021)
Multiparty Languages: The Choreographic and Multitier Cases (Pearl).
35th European Conference on Object-Oriented Programming. virtual Conference (11.-17.07.2021)
doi: 10.4230/LIPIcs.ECOOP.2021.22
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (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.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2021 |
| Herausgeber: | Møller, Anders ; Sridharan, Manu |
| Autor(en): | Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco ; Richter, David ; Salvaneschi, Guido ; Weisenburger, Pascal |
| Art des Eintrags: | Bibliographie |
| Titel: | Multiparty Languages: The Choreographic and Multitier Cases (Pearl) |
| Sprache: | Englisch |
| Publikationsjahr: | 6 Juli 2021 |
| Verlag: | Schloss Dagstuhl-Leibniz-Zentrum für Informatik |
| Buchtitel: | 35th European Conference on Object-Oriented Programming (ECOOP 2021) |
| Reihe: | Leibniz International Proceedings in Informatics |
| Band einer Reihe: | 194 |
| Veranstaltungstitel: | 35th European Conference on Object-Oriented Programming |
| Veranstaltungsort: | virtual Conference |
| Veranstaltungsdatum: | 11.-17.07.2021 |
| DOI: | 10.4230/LIPIcs.ECOOP.2021.22 |
| Kurzbeschreibung (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. |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Softwaretechnik |
| Hinterlegungsdatum: | 11 Jan 2022 09:24 |
| Letzte Änderung: | 11 Jan 2022 09:24 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum