Service choreographies support a distributed composition approach that is based on the specification of the external interaction of the participant services in terms of flows of message exchanges, given from a global perspective. When developing distributed service‐based applications, different services are produced by different teams; at the same time, such choreographies can also interact with third‐party services, hence leading to the reuse of black‐box services. Enforcing a global coordination logic across the many in‐house and third‐party services to correctly realize the specified choreography is a nontrivial endeavor. Automatic support is then desirable. In this article, we present an integrated development and run‐time environment for choreography‐based systems, which covers all the development activities, including specification, code synthesis, automatic deployment, enactment, and monitoring on the Cloud. We focus on providing a practical solution, that is, applicable by the community and considering technological standards used in the industry. We report the results of an experiment that we conducted with a use case in the in‐store marketing and sales domain. Results confirm confidence in the approach and show that the platform can be applied in practical contexts.

中文翻译：

---

高度协作的分布式系统：工作中的综合和制定

服务编排支持一种分布式组合方法，该方法基于从全局角度给出的消息交换流方面参与者服务的外部交互的规范。在开发基于分布式服务的应用程序时，不同的团队将产生不同的服务。同时，此类编排还可与第三方服务交互，从而导致黑盒服务的重用。在许多内部和第三方服务中实施全局协调逻辑以正确实现指定的编排是一项艰巨的努力。因此需要自动支持。在本文中，我们为基于编排的系统提供了一个集成的开发和运行时环境，其中涵盖了所有开发活动，包括规范，在云上进行代码合成，自动部署，制定和监视。我们专注于提供一种实用的解决方案，即适用于社区并考虑行业使用的技术标准。我们报告了在店内营销和销售领域中用例进行的实验结果。结果证实了对该方法的信心，并表明该平台可以在实际环境中应用。