服务编排的分布式实施
Distributed Enforcement of Service Choreographies
摘要：
现代面向服务的系统通常是通过重用和组合分布在Internet上的现有服务来构建的。服务编排是服务组合的一种可能形式，其目标是从全局角度指定参与服务之间的交互。在本文中，我们正式的分布式和自动执行的服务编排的方法，并证明其正确性方面的实现指定的编排。形式化的方法被实现为一个基于模型的工具链的一部分，以支持欧盟CHOReOS项目内基于编排的系统的开发。我们说明了我们的方法在分布式社会接近网络的情况下工作。
英文摘要：
Modern service-oriented systems are often built by reusing, and composing together, existing services distributed over the Internet. Service choreography is a possible form of service composition whose goal is to specify the interactions among participant services from a global perspective. In this paper, we formalize a method for the distributed and automated enforcement of service choreographies, and prove its correctness with respect to the realization of the specified choreography. The formalized method is implemented as part of a model-based tool chain released to support the development of choreography-based systems within the EU CHOReOS project. We illustrate our method at work on a distributed social proximity network scenario.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
