Solving reachability problems on data-aware workflows

作者：

Highlights：

• Practical yet theoretically sound framework for verification of data-aware Workflows.

• Encoding data-aware Workflows verification tasks into different planning paradigms.

• Thorough evaluation of automated planning solvers for workflow verification.

• Adding data to Workflow Nets has a significant negative impact on solvers performance.

• Automated planning solvers could provide robust support to workflow verification.

摘要

•Practical yet theoretically sound framework for verification of data-aware Workflows.•Encoding data-aware Workflows verification tasks into different planning paradigms.•Thorough evaluation of automated planning solvers for workflow verification.•Adding data to Workflow Nets has a significant negative impact on solvers performance.•Automated planning solvers could provide robust support to workflow verification.

论文关键词：Data-aware business process management,Formal verification,Reachability,Planning,Model-checking,Data-aware workflow nets

论文评审过程：Received 16 September 2020, Revised 4 May 2021, Accepted 8 October 2021, Available online 29 October 2021, Version of Record 4 November 2021.

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