CoMPSeT: A Framework for Comparing Multiparty Session Types

TL;DR

CoMPSeT is an open-source JavaScript tool that enables comparison, animation, and analysis of various Multiparty Session Types, aiding researchers and educators in understanding complex global interaction protocols.

Contribution

The paper introduces CoMPSeT, a novel framework that facilitates comparison and visualization of different MPST features, enhancing understanding of global interaction protocols.

Findings

Enables comparison of different MPST features

Provides animation of global interaction protocols

Accessible via web browser for ease of use

Abstract

Concurrent systems are often complex and difficult to design. Choreographic languages, such as Multiparty Session Types (MPST), allow the description of global protocols of interactions by capturing valid patterns of interactions between participants. Many variations of MPST exist, each one with its rather specific features and idiosyncrasies. Here we propose a tool (CoMPSeT) that provides clearer insights over different features in existing MPST. We select a representative set of MPST examples and provide mechanisms to combine different features and to animate and compare the semantics of concrete examples. CoMPSeT is open-source, compiled into JavaScript, and can be directly executed from any browser, becoming useful both for researchers who want to better understand the landscape of MPST and for teachers who want to explain global choreographies.