Petri Net Based Data-Flow Error Detection and Correction Strategy for Business Processes
Petri Net Based Data-Flow Error Detection and Correction Strategy for Business Processes
复制标题
DOI：
10.1109/access.2020.2976124
复制
发表时间：
2020
期刊：
影响因子：
3.9
通讯作者：
Cong Liu;Q. Zeng;H. Duan;Lei Wang;Jie Tan;Chongguang Ren;Wangyang Yu
中科院分区：
文献类型：
--
作者：
Cong Liu;Q. Zeng;H. Duan;Lei Wang;Jie Tan;Chongguang Ren;Wangyang Yu
概念建模包括控制流和数据流建模，它对传统的业务流程管理系统提出了巨大的挑战。为了支持系统的数据流建模和分析，本文提出了一种新颖有效的基于Petri网的方法。本文首先介绍了一种新型的Petri网WFIO-net，它的触发规则是通过扩展经典Petri网的读写语义来正式定义的，以模拟控制流和数据流信息。然后，我们讨论了三种可能的数据流错误，即丢失、冗余和冲突的数据错误。为了检测此类数据流错误，我们开发了一种基于WFIO-net的所谓活动数据关联矩阵（ADIM）的多项式复杂度算法。针对检测到的数据流异常，提出了三种有效的校正策略。最后，我们给出了一个房地产贷款审批业务流程的案例研究，研究结果表明，我们提出的检测和纠正方法确实非常有效，可以应用于现实环境。
Conceptual modeling, which includes both control-flow and data-flow modeling, has posed great challenges for conventional business process management systems. To support systematic data-flow modeling and analysis, in this paper, we propose a novel and effective Petri net-based approach. We first introduce a new type of Petri net, called WFIO-net, the firing rule of which is formally defined by extending classical Petri net with read and write semantics, to model both the control-flow and data-flow information. Then, we discuss about three possible data-flow errors over a WFIO-net, i.e., the missing, redundant and conflicting data errors. To detect such data-flow errors, we develop a polynomial complexity algorithm based on the so-called Activity Data Incidence Matrix (ADIM) of a WFIO-net. Following by that, we propose three effective correction strategies to resolve the detected data-flow anomalies. Finally, we present a property loan approval business process case study for our approach, and the study results demonstrate that the proposed detection and correction approaches are indeed very effective and can be applied to real-life settings.