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

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

doi:10.4230/LIPIcs.ECOOP.2022.27

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

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

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › 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. In this paper (pearl), 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.

Original language	English
Title of host publication	36th European Conference on Object-Oriented Programming
Subtitle of host publication	ECOOP 2022
Editors	Karim Ali , Jan Vitek
Publisher	Schloss Dagstuhl - LZI GmbH
Pages	27:1-27:28
Number of pages	28
Volume	222
ISBN (Print)	9781713858881, 978-3-95977-225-9
DOIs	https://doi.org/10.4230/LIPIcs.ECOOP.2022.27
Publication status	Published - Jun 2022
Event	European Conference on Object Oriented Programming - Berlin, Germany Duration: 6 Jun 2022 → 10 Jun 2022 https://2022.ecoop.org/

Publication series

Series	Leibniz International Proceedings in Informatics, LIPIcs
Volume	222
ISSN	1868-8969

Conference

Conference	European Conference on Object Oriented Programming
Abbreviated title	ECOOP 2022
Country/Territory	Germany
City	Berlin
Period	6/06/22 → 10/06/22
Internet address	https://2022.ecoop.org/

Keywords

Concurrency
Scala 3
match types
pomsets (partially ordered multisets)

Access to Document

10.4230/LIPIcs.ECOOP.2022.27Licence: CC BY

Cite this

Cledou, Guillermina ; Edixhoven, Luc ; Jongmans, Sung-Shik et al. / API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. 36th European Conference on Object-Oriented Programming: ECOOP 2022. editor / Karim Ali ; Jan Vitek. Vol. 222 Schloss Dagstuhl - LZI GmbH, 2022. pp. 27:1-27:28 (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222).

@inproceedings{51fb3d3072be4579b25521191871c6f2,

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

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. In this paper (pearl), 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.",

keywords = "Concurrency, Scala 3, match types, pomsets (partially ordered multisets)",

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,

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

language = "English",

isbn = "9781713858881",

volume = "222",

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

publisher = "Schloss Dagstuhl - LZI GmbH",

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

editor = "{Karim Ali} and {Jan Vitek}",

booktitle = "36th European Conference on Object-Oriented Programming",

address = "Germany",

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

}

Cledou, G, Edixhoven, L, Jongmans, S-S & Proença, J 2022, API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. in KA & JV (eds), 36th European Conference on Object-Oriented Programming: ECOOP 2022. vol. 222, 27, Schloss Dagstuhl - LZI GmbH, Leibniz International Proceedings in Informatics, LIPIcs, vol. 222, pp. 27:1-27:28, European Conference on Object Oriented Programming, Berlin, Germany, 6/06/22. https://doi.org/10.4230/LIPIcs.ECOOP.2022.27

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. / Cledou, Guillermina; Edixhoven, Luc; Jongmans, Sung-Shik et al.
36th European Conference on Object-Oriented Programming: ECOOP 2022. ed. / Karim Ali; Jan Vitek. Vol. 222 Schloss Dagstuhl - LZI GmbH, 2022. p. 27:1-27:28 27 (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222).

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

TY - GEN

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

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

Y1 - 2022/6

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. In this paper (pearl), 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.

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. In this paper (pearl), 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.

KW - Concurrency

KW - Scala 3

KW - match types

KW - pomsets (partially ordered multisets)

UR - https://dblp.org/db/conf/ecoop/ecoop2022.html#CledouEJP22

U2 - 10.4230/LIPIcs.ECOOP.2022.27

DO - 10.4230/LIPIcs.ECOOP.2022.27

M3 - Conference Article in proceeding

SN - 9781713858881

SN - 978-3-95977-225-9

VL - 222

T3 - Leibniz International Proceedings in Informatics, LIPIcs

SP - 27:1-27:28

BT - 36th European Conference on Object-Oriented Programming

A2 - null, Karim Ali

A2 - , Jan Vitek

PB - Schloss Dagstuhl - LZI GmbH

T2 - European Conference on Object Oriented Programming

Y2 - 6 June 2022 through 10 June 2022

ER -

Cledou G, Edixhoven L, Jongmans SS, Proença J. API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. In KA, JV, editors, 36th European Conference on Object-Oriented Programming: ECOOP 2022. Vol. 222. Schloss Dagstuhl - LZI GmbH. 2022. p. 27:1-27:28. 27. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222). doi: 10.4230/LIPIcs.ECOOP.2022.27

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

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this