SWSpec: The Requirements Specification Language in Service Workflow Environments
SWSpec: The Requirements Specification Language in Service Workflow Environments
复制标题
DOI：
10.1109/tii.2011.2182519
复制
发表时间：
2012-01
影响因子：
12.3
通讯作者：
W. Viriyasitavat;Lida Xu;Andrew P. Martin
中科院分区：
文献类型：
--
作者：
W. Viriyasitavat;Lida Xu;Andrew P. Martin
先进技术以服务的形式改变了业务流程的性质。在协调服务以实现特定目标时，服务工作流用于控制服务组合、执行顺序以及路径选择。由于现有的机制不足以应对大规模分布式环境中需求的多样性和动态性，因此有必要制定形式化的需求规格说明。在本文中，我们提出了一种服务工作流规范语言SWSpec，它允许工作流中的任意服务形式化地统一地施加它们的需求。因此，该解决方案将提供一种正式的方式来规范和控制工作流程，并丰富开放环境中服务提供和消费的激增。
Advanced technologies have changed the nature of business processes in the form of services. In coordinating services to achieve a particular objective, service workflow is used to control service composition, execution sequences as well as path selection. Since existing mechanisms are insufficient for addressing the diversity and dynamicity of the requirements in a large-scale distributed environment, developing formal requirements specification is necessary. In this paper, we propose a Service Workflow Specification language, called SWSpec, which allows arbitrary services in a workflow to formally and uniformly impose their requirements. As such, the solution will provide a formal way to regulate and control workflows as well as enrich the proliferation of service provisions and consumptions in opened environments.