面向服务组合的局部时间需求自动综合
软件工程
2020-03-19 v1
摘要
服务组合旨在通过组合已有的基于服务的应用或组件来实现业务目标。服务的响应时间至关重要，尤其在时间关键的业务环境中，这通常被表述为服务提供者与服务用户之间服务等级协议中的一项条款。为满足组合服务所保证的响应时间需求，选取一组可行的组件服务使其响应时间 collectively 满足组合服务的响应时间需求十分重要。本工作中，我们使用旨在描述 Web 服务的 BPEL 建模语言。我们为其扩展时间参数并赋予形式化语义。随后，我们提出一种全自动方法，以局部响应时间约束的形式，综合出由 BPEL 建模的组件服务的响应时间需求。所综合的需求将静态或动态地保证全局响应时间需求的满足。我们将该工作实现为工具 Selamat，并进行了若干实验以评估方法的有效性。
引用
@article{arxiv.2003.08116,
title = {Automated synthesis of local time requirement for service composition},
author = {Étienne André and Tian Huat Tan and Manman Chen and Shuang Liu and Jun Sun and Yang Liu and Jin Song Dong},
journal= {arXiv preprint arXiv:2003.08116},
year = {2020}
}
备注
This is a pre-print of an article published in the International Journal on Software and Systems Modeling (SoSyM)