Using Propositional Logic for Requirements Verification of Service Workflow
Using Propositional Logic for Requirements Verification of Service Workflow
复制标题
DOI：
10.1109/tii.2012.2187908
复制
发表时间：
2012-02
影响因子：
12.3
通讯作者：
Lida Xu;W. Viriyasitavat;Puripant Ruchikachorn;Andrew P. Martin
中科院分区：
文献类型：
--
作者：
Lida Xu;W. Viriyasitavat;Puripant Ruchikachorn;Andrew P. Martin
本文提出了一种面向需求的服务工作流形式化验证自动化框架。它基于我们之前的工作，即描述了一种名为SWSpec的面向需求的服务工作流规范语言。开发这种语言是为了方便工作流编排者以及愿意参与工作流的任意服务正式且统一地提出它们自身的需求。因此，SWSpec提供了一种规范和控制工作流的正式方法。所提出框架的关键组件集中在依赖命题逻辑的验证算法上。我们证明了基于逻辑的工作流验证可应用于SWSpec，它能够检查合规性并检测所提出需求的冲突。通过使合规性检查过程自动化，该框架将支持开放环境中以工作流形式进行的可扩展服务互操作。
This paper presents a requirement-oriented automated framework for formal verification of service workflows. It is based on our previous work describing the requirement-oriented service workflow specification language called SWSpec. This language has been developed to facilitate workflow composer as well as arbitrary services willing to participate in a workflow to formally and uniformly impose their own requirements. As such, SWSpec provides a formal way to regulate and control workflows. The key component of the to-be-proposed framework centers on verification algorithms that rely on propositional logic. We demonstrate that logic-based workflow verification can be applied to SWSpec which is capable of checking compliance and also detecting conflicts of the imposed requirements. By automating compliance checking process, this framework will support scalable services interoperation in the form of workflows in opened environments.