API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)

Guillermina Cledou; Luc Edixhoven; Sung-Shik Jongmans; José Proença

doi:10.4230/DARTS.8.2.19

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)

Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

Construction and analysis of distributed systems is difficult. Multiparty session types (MPST) constitute a method to make it easier. The idea is to use type checking to statically prove deadlock freedom and protocol compliance of communicating processes. In practice, the premier approach to apply the MPST method in combination with mainstream programming languages has been based on API generation. With this artifact, and the companion paper, we revisit and revise this approach.
Regarding our "revisitation", using Scala 3, we present the existing API generation approach, which is based on deterministic finite automata (DFA), in terms of both the existing states-as-classes encoding of DFAs as APIs, and a new states-as-type-parameters encoding; the latter leverages match types in Scala 3. Regarding our "revision", also using Scala 3, we present a new API generation approach that is based on sets of pomsets instead of DFAs; it crucially leverages match types, too. Our fresh perspective allows us to avoid two forms of combinatorial explosion resulting from implementing concurrent subprotocols in the DFA-based approach. We implement our approach in a new API generation tool, called Pompset. This artifact contains Pompset.

Original language	English
Article number	19
Pages (from-to)	19:1-19:4
Number of pages	4
Journal	Dagstuhl Artifacts Series
Volume	8
Issue number	2
DOIs	https://doi.org/10.4230/DARTS.8.2.19
Publication status	Published - 23 Jun 2022
Event	European Conference on Object Oriented Programming - Berlin, Germany Duration: 6 Jun 2022 → 10 Jun 2022 https://2022.ecoop.org/

Access to Document

10.4230/DARTS.8.2.19Licence: CC BY

Cite this

@article{542af4dfe0c14d40a7ba5cddb1ecd8dc,

title = "API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)",

abstract = "Construction and analysis of distributed systems is difficult. Multiparty session types (MPST) constitute a method to make it easier. The idea is to use type checking to statically prove deadlock freedom and protocol compliance of communicating processes. In practice, the premier approach to apply the MPST method in combination with mainstream programming languages has been based on API generation. With this artifact, and the companion paper, we revisit and revise this approach.Regarding our {"}revisitation{"}, using Scala 3, we present the existing API generation approach, which is based on deterministic finite automata (DFA), in terms of both the existing states-as-classes encoding of DFAs as APIs, and a new states-as-type-parameters encoding; the latter leverages match types in Scala 3. Regarding our {"}revision{"}, also using Scala 3, we present a new API generation approach that is based on sets of pomsets instead of DFAs; it crucially leverages match types, too. Our fresh perspective allows us to avoid two forms of combinatorial explosion resulting from implementing concurrent subprotocols in the DFA-based approach. We implement our approach in a new API generation tool, called Pompset. This artifact contains Pompset.",

author = "Guillermina Cledou and Luc Edixhoven and Sung-Shik Jongmans and Jos{\'e} Proen{\c c}a",

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.; European Conference on Object Oriented Programming, ECOOP 2022 ; Conference date: 06-06-2022 Through 10-06-2022",

year = "2022",

month = jun,

day = "23",

doi = "10.4230/DARTS.8.2.19",

language = "English",

volume = "8",

pages = "19:1--19:4",

journal = "Dagstuhl Artifacts Series",

publisher = "Schloss Dagstuhl - LZI GmbH",

number = "2",

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

}

TY - JOUR

T1 - API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)

AU - Cledou, Guillermina

AU - Edixhoven, Luc

AU - Jongmans, Sung-Shik

AU - Proença, José

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2022/6/23

Y1 - 2022/6/23

N2 - Construction and analysis of distributed systems is difficult. Multiparty session types (MPST) constitute a method to make it easier. The idea is to use type checking to statically prove deadlock freedom and protocol compliance of communicating processes. In practice, the premier approach to apply the MPST method in combination with mainstream programming languages has been based on API generation. With this artifact, and the companion paper, we revisit and revise this approach.Regarding our "revisitation", using Scala 3, we present the existing API generation approach, which is based on deterministic finite automata (DFA), in terms of both the existing states-as-classes encoding of DFAs as APIs, and a new states-as-type-parameters encoding; the latter leverages match types in Scala 3. Regarding our "revision", also using Scala 3, we present a new API generation approach that is based on sets of pomsets instead of DFAs; it crucially leverages match types, too. Our fresh perspective allows us to avoid two forms of combinatorial explosion resulting from implementing concurrent subprotocols in the DFA-based approach. We implement our approach in a new API generation tool, called Pompset. This artifact contains Pompset.

AB - Construction and analysis of distributed systems is difficult. Multiparty session types (MPST) constitute a method to make it easier. The idea is to use type checking to statically prove deadlock freedom and protocol compliance of communicating processes. In practice, the premier approach to apply the MPST method in combination with mainstream programming languages has been based on API generation. With this artifact, and the companion paper, we revisit and revise this approach.Regarding our "revisitation", using Scala 3, we present the existing API generation approach, which is based on deterministic finite automata (DFA), in terms of both the existing states-as-classes encoding of DFAs as APIs, and a new states-as-type-parameters encoding; the latter leverages match types in Scala 3. Regarding our "revision", also using Scala 3, we present a new API generation approach that is based on sets of pomsets instead of DFAs; it crucially leverages match types, too. Our fresh perspective allows us to avoid two forms of combinatorial explosion resulting from implementing concurrent subprotocols in the DFA-based approach. We implement our approach in a new API generation tool, called Pompset. This artifact contains Pompset.

U2 - 10.4230/DARTS.8.2.19

DO - 10.4230/DARTS.8.2.19

M3 - Article

VL - 8

SP - 19:1-19:4

JO - Dagstuhl Artifacts Series

JF - Dagstuhl Artifacts Series

IS - 2

M1 - 19

T2 - European Conference on Object Oriented Programming

Y2 - 6 June 2022 through 10 June 2022

ER -

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)

Abstract

Access to Document

Fingerprint

Cite this