自适应会话的并行调度
Parallel Monitors for Self-adaptive Sessions
摘要：
本文提出了一种数据驱动的多方会话自适应模型。系统编排由全局类型规定。参与者通过与监视器相关联的进程来体现，监视器控制参与者的行为。每个参与者都可以访问和修改一组全球数据，这些数据能够在价值观发生重大变化时触发调整。使用并行组合来构建全局类型、监视器和进程可以实现很大程度的灵活性：适配步骤可以动态地重新配置一组参与者，而不改变其余的参与者，即使两组进行通信。
英文摘要：
The paper presents a data-driven model of self-adaptivity for multiparty sessions. System choreography is prescribed by a global type. Participants are incarnated by processes associated with monitors, which control their behaviour. Each participant can access and modify a set of global data, which are able to trigger adaptations in the presence of critical changes of values. The use of the parallel composition for building global types, monitors and processes enables a significant degree of flexibility: an adaptation step can dynamically reconfigure a set of participants only, without altering the remaining participants, even if the two groups communicate.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
