On verification of nested workflows with extra constraints: From theory to practice

作者：

Highlights：

• Nested workflow is sound if each task can be present in some process.

• Extra constraints make verification of nested workflows NP-complete.

• Workflow verification can be done via constraint satisfaction with temporal reasoning.

• Task collapsing improves time efficiency of the verification process.

• The proposed verification technique is implemented in the FlowOpt system.

摘要

•Nested workflow is sound if each task can be present in some process.•Extra constraints make verification of nested workflows NP-complete.•Workflow verification can be done via constraint satisfaction with temporal reasoning.•Task collapsing improves time efficiency of the verification process.•The proposed verification technique is implemented in the FlowOpt system.

论文关键词：Workflow,Verification,Complexity,Constraint satisfaction,Temporal consistency

论文评审过程：Available online 22 August 2013.

论文官网地址：https://doi.org/10.1016/j.eswa.2013.08.021