多方会话协议的黑盒实现监测
摘要：分布式网络监测基于消息传递的组件框架的提出，该框架遵循以全局类型指定的多方会话协议。我们通过以下方式改进前期工作：（i）支持精确规范未知的组件（“黑箱”）；（ii）覆盖无法通过现有技术进行分析的协议。首先，我们给出了一个从全局类型合成黑箱监视器的过程，并准确定义了黑箱何时正确满足其全局类型。然后，我们证明监测的黑箱是可靠的（它们正确遵循协议）和透明的（具有和不具有监视器的黑箱在行为上是等价的）。
作者：Bas van den Heuvel, Jorge A. P''erez, Rares A. Dobre
论文ID：2306.04204
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-07-24