首页> 外文期刊>The journal of logical and algebraic methods in programming >Composition and decomposition of multiparty sessions
【24h】

Composition and decomposition of multiparty sessions

机译:多党会话的组成和分解

获取原文
获取原文并翻译 | 示例

摘要

Multiparty sessions are systems of concurrent processes, which allow several participants to communicate by sending and receiving messages. Their overall behaviour can be described by means of global types. Typable multiparty sessions enjoy lock-freedom.We look at multiparty sessions asopensystems by allowing one tocomposemultiparty sessions by transforming two of their participants into a pair of coupledgateways, forwarding messages between the two sessions. Gateways need to becompatible. We show that the session resulting from the composition can be typed, and its type can be computed from the global types of the starting sessions. As a consequence, lock-freedom is preserved by composition. Compatibility between global types isnecessary, since systems obtained by composing sessions with incompatible global types have locks (or they are not sessions). We also definedirect composition, which allows one to connect two global types without using gateways. Finally, we propose adecompositionoperator, to split a global type into two, which is the left inverse of direct composition. Direct composition and decomposition on global types prepare the ground for a novel framework allowing for the modular design and implementation of distributed systems.
机译:MultiParty会话是并发进程系统,其允许多个参与者通过发送和接收消息进行通信。它们的整体行为可以通过全局类型描述。可选的多方会话享受锁定自由。我们通过允许将其中两个参与者转换为一对耦合通道,在两个会话之间转发消息来看,通过允许一个才能查看多普利疟原系统asopensystems。网关需要变得偏离。我们表明,可以键入由组合产生的会话,并且可以从启动会话的全局类型计算其类型。因此,组合物保留了锁定自由度。由于通过编写具有不兼容的全局类型的会话获取的系统,因此兼容全局类型之间的兼容性都有锁(或者它们不是会话)。我们还遗留为允许一个组成,该组合物允许在不使用网关的情况下连接两个全局类型。最后,我们提出了adecompositionoperator,将全局类型分成两种,这是直接组成的左逆。全球类型的直接组成和分解为允许分布式系统的模块化设计和实现的新颖框架准备了地面。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号