作为服务动态绑定机制的通信机
Communicating machines as a dynamic binding mechanism of services
摘要：
分布式软件正变得越来越动态，以支持能够响应和适应其执行环境的变化的应用程序。例如，面向服务的计算（SOC）将应用设想为在全局可用的计算资源上运行的服务，其中它们之间的发现和绑定由中间件透明地执行。异步关系网络（ARN）是一种众所周知的正式编排模型，基于超图，用于描述面向服务的软件工件。编排和编排是分布式软件开发的两个主要设计原则。在这项工作中，我们提出了通信关系网络（CRN），这是一个变体的ARN，但依赖于编排的通信方面的表征的软件人工制品，并使其自动化分析更有效。
英文摘要：
Distributed software is becoming more and more dynamic to support applications able to respond and adapt to the changes of their execution environment. For instance, service-oriented computing (SOC) envisages applications as services running over globally available computational resources where discovery and binding between them is transparently performed by a middleware. Asynchronous Relational Networks (ARNs) is a well-known formal orchestration model, based on hypergraphs, for the description of service-oriented software artefacts. Choreography and orchestration are the two main design principles for the development of distributed software. In this work, we propose Communicating Relational Networks (CRNs), which is a variant of ARNs, but relies on choreographies for the characterisation of the communicational aspects of a software artefact, and for making their automated analysis more efficient.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
