灵活多方会话协议的设计契约 - 扩展版
摘要：自动生成正确的基于消息的通信模式是支持分布式编程的编舞模型的一个关键原则。本文在有限状态自动机的基础上扩展了编舞自动机的理论，增加了两个关键特性。其一，允许参与者仅在编舞自动机描述的某些场景中扮演角色。尽管这似乎很自然，但许多文献中的编舞方法以及编舞自动机禁止了这种行为。其二，为通信装备了限制可传递值的断言，从而实现了基于合约的设计。我们提供了一个工具链，以便利用上述理论为TypeScript网络编程生成API。通过生成的API进行通信的程序在构建过程中遵循预定的通信模式，并且没有死锁等通信错误。
作者：Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
论文ID：2205.06535
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-05-16