ST4MP: A blueprint of multiparty session typing for multilingual programming
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.
|Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence|
|International Symposium on Leveraging Applications of Formal Methods (2022) - ISoLA 2022|
|Organisation||Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands|
Jongmans, S.-S.T.Q, & Proença, J. (José). (2022). ST4MP: A blueprint of multiparty session typing for multilingual programming. In International Symposium on Leveraging Applications of Formal Methods (2022) - ISoLA 2022 (pp. 460–478). doi:10.1007/978-3-031-19849-6_26