面向服务组合的本地时间需求自动合成
Automated synthesis of local time requirement for service composition
摘要：
服务组合旨在通过组合现有的基于服务的应用程序或组件来实现业务目标。服务的响应时间是至关重要的，特别是在时间关键的业务环境中，这通常被规定为服务提供者和服务用户之间的服务级别协议中的一个条款。为了满足复合服务的保证响应时间要求，重要的是选择一组可行的组件服务，使得它们的响应时间将共同满足复合服务的响应时间要求。在这项工作中，我们使用的建模语言，旨在指定Web服务。我们扩展了它的定时参数，并配备了一个正式的语义。然后，我们提出了一个完全自动化的方法来合成的响应时间的要求，组件服务建模使用的服务，在当地的响应时间的约束的形式。合成的需求将保证静态或动态地满足全局响应时间需求。我们将我们的工作实现到一个工具中，Selamat，并进行了几个实验来评估我们的方法的有效性。
英文摘要：
Service composition aims at achieving a business goal by composing existing service-based applications or components. The response time of a service is crucial especially in time critical business environments, which is often stated as a clause in service level agreements between service providers and service users. To meet the guaranteed response time requirement of a composite service, it is important to select a feasible set of component services such that their response time will collectively satisfy the response time requirement of the composite service. In this work, we use the BPEL modeling language, that aims at specifying Web services. We extend it with timing parameters, and equip it with a formal semantics. Then, we propose a fully automated approach to synthesize the response time requirement of component services modeled using BPEL, in the form of a constraint on the local response times. The synthesized requirement will guarantee the satisfaction of the global response time requirement, statically or dynamically. We implemented our work into a tool, Selamat, and performed several experiments to evaluate the validity of our approach.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
