ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
Ref: CISTER-TR-221004 Publication Date: 30, Oct, 2022
ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming
Ref: CISTER-TR-221004 Publication Date: 30, Oct, 2022Abstract:
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.
Sung Shik Jongmans
José ProençaLeveraging Applications of Formal Methods, Verification and Validation.
Verification Principles: 11th International Symposium (ISOLA 2022).
Rhodes, Greece.
Record Date: 30, Oct, 2022