Self-adaptive multiparty sessions
Self-adaptive multiparty sessions
复制标题
自适应多方会话
DOI：
10.1007/s11761-014-0171-9
复制
发表时间：
2014
影响因子：
1.3
通讯作者：
B. Venneri
中科院分区：
文献类型：
--
作者：
M. Coppo;M. Dezani;B. Venneri
为了模拟多方会议的自适应性的概念，我们提出了一个正式的框架，参与者可以访问和修改的全球状态，在这样一种方式，整个系统可以迅速作出反应，以不可预见的事件，通过重新配置自己。自适应策略由整体通信编排触发，由全局类型表示。当全局类型被动态更新时，它的投影定义了新的监视器，为参与者建立了新的通信协议。本文的主要结果是，自适应是以类型安全的方式进行的，同时提供了高度的灵活性。Subject Reduction和Progress属性已得到验证：任何会话都以类型安全的方式执行所有必需的通信，并且永远不会卡住。
To model the notion of self-adaptiveness for multiparty sessions, we propose a formal framework, where participants can access and modify the global state, in such a way that the whole system can react promptly to unforeseen events by reconfiguring itself. The adaptation strategy is triggered by the overall communication choreography, represented by a global type. When the global type is dynamically updated, its projections define new monitors, which set-up novel communication protocols for the participants. The key result of this paper is that self-adaptations are performed in a type-safe way, while providing a high degree of flexibility. Subject Reduction and Progress properties are proven: any session executes all required communications in a type-safe way and never gets stuck.