用于自适应会话的并行监控器
计算机科学中的逻辑
2016-06-21 v1 分布式、并行与集群计算
摘要
本文提出了一种用于多方会话的数据驱动自适应模型。系统编排由全局类型规定。参与者由与监控器相关联的进程来实例化，监控器控制其行为。每个参与者都可以访问并修改一组全局数据，这些数据能够在出现值的关键变化时触发自适应。使用并行组合来构建全局类型、监控器和进程实现了显著的灵活性：一个自适应步骤可以仅动态重配置部分参与者，而不改变其余参与者，即使这两个组之间存在通信。
引用
@article{arxiv.1606.05938,
title = {Parallel Monitors for Self-adaptive Sessions},
author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Betti Venneri},
journal= {arXiv preprint arXiv:1606.05938},
year = {2016}
}
备注
In Proceedings PLACES 2016, arXiv:1606.05403