ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

Sung-Shik Jongmans; José Proença

doi:10.1007/978-3-031-19849-6_26

ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

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

Multiparty session types (MPST) constitute a method to simplify construction and analysis of distributed systems. The idea is that well-typedness of processes at compile-time (statically) entails deadlock freedom and protocol compliance of their sessions of communications at execution-time (dynamically).
In practice, the premier approach to apply the MPST method in combination with mainstream programming languages has been based on API generation. However, existing MPST tools support only unilingual programming (homogeneity), while many real-world distributed systems are engineered using multilingual programming (heterogeneity).
In this paper, we present a blueprint of ST4MP: a tool to apply the MPST method in multilingual programming, based on API generation.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Subtitle of host publication	11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
Editors	Tiziana Margaria, Bernhard Steffen
Place of Publication	Cham
Publisher	Springer, Cham
Pages	460-478
Number of pages	19
Edition	1
ISBN (Electronic)	9783031198496
ISBN (Print)	9783031198489
DOIs	https://doi.org/10.1007/978-3-031-19849-6_26
Publication status	Published - 17 Oct 2022
Event	International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - Rhodes, Greece Duration: 22 Oct 2022 → 30 Oct 2022 Conference number: 11th https://2022.isola-conference.org/

Publication series

Series	Lecture Notes in Computer Science
Volume	13701
ISSN	0302-9743

Symposium

Symposium	International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Abbreviated title	ISoLA 2022
Country/Territory	Greece
City	Rhodes
Period	22/10/22 → 30/10/22
Internet address	https://2022.isola-conference.org/

Access to Document

10.1007/978-3-031-19849-6_26

Cite this

Jongmans, S.-S., & Proença, J. (2022). ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I (1 ed., pp. 460-478). Springer, Cham. https://doi.org/10.1007/978-3-031-19849-6_26

Jongmans, Sung-Shik ; Proença, José. / ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. editor / Tiziana Margaria ; Bernhard Steffen. 1. ed. Cham : Springer, Cham, 2022. pp. 460-478 (Lecture Notes in Computer Science, Vol. 13701).

@inproceedings{3803a6a785664f069b7ac14379d4f67f,

title = "ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming",

abstract = "Multiparty session types (MPST) constitute a method to simplify construction and analysis of distributed systems. The idea is that well-typedness of processes at compile-time (statically) entails deadlock freedom and protocol compliance of their sessions of communications at execution-time (dynamically).In practice, the premier approach to apply the MPST method in combination with mainstream programming languages has been based on API generation. However, existing MPST tools support only unilingual programming (homogeneity), while many real-world distributed systems are engineered using multilingual programming (heterogeneity).In this paper, we present a blueprint of ST4MP: a tool to apply the MPST method in multilingual programming, based on API generation.",

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

year = "2022",

month = oct,

day = "17",

doi = "10.1007/978-3-031-19849-6_26",

language = "English",

isbn = "9783031198489",

series = "Lecture Notes in Computer Science",

publisher = "Springer, Cham",

pages = "460--478",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles",

edition = "1",

note = "International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 ; Conference date: 22-10-2022 Through 30-10-2022",

url = "https://2022.isola-conference.org/",

}

Jongmans, S-S & Proença, J 2022, ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. 1 edn, Springer, Cham, Cham, Lecture Notes in Computer Science, vol. 13701, pp. 460-478, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Rhodes, Greece, 22/10/22. https://doi.org/10.1007/978-3-031-19849-6_26

ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. / Jongmans, Sung-Shik; Proença, José.
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. ed. / Tiziana Margaria; Bernhard Steffen. 1. ed. Cham: Springer, Cham, 2022. p. 460-478 (Lecture Notes in Computer Science, Vol. 13701).

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

TY - GEN

T1 - ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

AU - Jongmans, Sung-Shik

AU - Proença, José

N1 - Conference code: 11th

PY - 2022/10/17

Y1 - 2022/10/17

N2 - Multiparty session types (MPST) constitute a method to simplify construction and analysis of distributed systems. The idea is that well-typedness of processes at compile-time (statically) entails deadlock freedom and protocol compliance of their sessions of communications at execution-time (dynamically).In practice, the premier approach to apply the MPST method in combination with mainstream programming languages has been based on API generation. However, existing MPST tools support only unilingual programming (homogeneity), while many real-world distributed systems are engineered using multilingual programming (heterogeneity).In this paper, we present a blueprint of ST4MP: a tool to apply the MPST method in multilingual programming, based on API generation.

AB - Multiparty session types (MPST) constitute a method to simplify construction and analysis of distributed systems. The idea is that well-typedness of processes at compile-time (statically) entails deadlock freedom and protocol compliance of their sessions of communications at execution-time (dynamically).In practice, the premier approach to apply the MPST method in combination with mainstream programming languages has been based on API generation. However, existing MPST tools support only unilingual programming (homogeneity), while many real-world distributed systems are engineered using multilingual programming (heterogeneity).In this paper, we present a blueprint of ST4MP: a tool to apply the MPST method in multilingual programming, based on API generation.

U2 - 10.1007/978-3-031-19849-6_26

DO - 10.1007/978-3-031-19849-6_26

M3 - Conference Article in proceeding

SN - 9783031198489

T3 - Lecture Notes in Computer Science

SP - 460

EP - 478

BT - Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer, Cham

CY - Cham

T2 - International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

Y2 - 22 October 2022 through 30 October 2022

ER -

Jongmans SS, Proença J. ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. 1 ed. Cham: Springer, Cham. 2022. p. 460-478. (Lecture Notes in Computer Science, Vol. 13701). doi: 10.1007/978-3-031-19849-6_26

ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

Abstract

Publication series

Symposium

Access to Document

Fingerprint

Cite this