Encoding asynchrony in choreographies
Encoding asynchrony in choreographies
复制标题
编排中的异步编码
DOI：
10.1145/3019612.3019901
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
F. Montesi
中科院分区：
文献类型：
--
作者：
L. Cruz;F. Montesi
编排广泛用于并发和分布式软件体系结构的规范和编程。由于许多此类体系结构使用异步通信，因此必须了解如何在异步设置中正确实现编排中描述的行为。到目前为止，这个问题是通过依赖额外的技术机制来解决的，例如特别的句法术语、语义或等价物。在这项工作中，我们表明，对于支持流程生成和名称迁移的原语的编排语言来说，不需要这样的扩展。相反，我们可以只在编排本身中对异步通信进行编码，从而产生一种更简单的方法。
Choreographies are widely used both for the specification and the programming of concurrent and distributed software architectures. Since many of such architectures use asynchronous communications, it is essential to understand how the behaviour described in a choreography can be correctly implemented in asynchronous settings. So far, this problem has been addressed by relying on additional technical machinery, such as ad-hoc syntactic terms, semantics, or equivalences. In this work, we show that such extensions are not needed for choreography languages that support primitives for process spawning and name mobility. Instead, we can just encode asynchronous communications in choreographies themselves, yielding a simpler approach.