Behavioural Types for Heterogeneous Systems (Position Paper)
<|reference_start|>Behavioural Types for Heterogeneous Systems (Position Paper): Behavioural types provide a promising way to achieve lightweight, language-integrated verification for communication-centric software. However, a large barrier to the adoption of behavioural types is that the current state of the art expects software to be written using the same tools and typing discipline throughout a system, and has little support for components over which a developer has no control.   This position paper describes the outcomes of a working group discussion at Dagstuhl Seminar 24051 (Next-Generation Protocols for Heterogeneous Systems). We propose a methodology for integrating multiple behaviourally-typed components, written in different languages. Our proposed approach involves an extensible protocol description language, a session IR that can describe data transformations and boundary monitoring and which can be compiled into program-specific session proxies, and finally a session middleware to aid session establishment.   We hope that this position paper will stimulate discussion on one of the most pressing challenges facing the widespread adoption of behavioural typing.<|reference_end|>
@article{fowler2024behavioural,
    title={Behavioural Types for Heterogeneous Systems (Position Paper)},
    author={Simon Fowler (University of Glasgow), Philipp Haller (Digital Futures,
  KTH Royal Institute of Technology), Roland Kuhn (Actyx AG), Sam Lindley (The
  University of Edinburgh), Alceste Scalas (Technical University of Denmark),
  Vasco T. Vasconcelos (University of Lisbon)},
    journal={EPTCS 401, 2024, pp. 37-48},
    year={2024},
    doi={10.4204/EPTCS.401.4},
    archivePrefix={arXiv},
    eprint={2404.05479},
    primaryClass={cs.PL}
}