Detecting and Repairing Data-Flow Errors in WFD-net Systems

Abstract

Workflow system has become a standard solution for managing a complex business process. How to guarantee its correctness is a key requirement. Many methods only focus on the control-flow verification, while they neglect the modeling and checking of data-flows. Although some studies are presented to repair the data-flow errors, they do not consider the effect of delete operations or weak circulation relations on the repairing results. What's more, repairing some data-flow errors may bring in new errors. In order to solve these problems, we use workflow net with data (WFD-net) systems to model and analyze a workflow system. Based on weak behavioral relations and order relations in a WFD-net system, we formalize four kinds of data-flow errors. After then, we reveal the relations between these errors and organize them into a hierarchy. Furthermore, we propose some new methods to repair data-flow errors in a WFD-net system based on system requirements and repair strategies. Finally, a case study of campus-card recharging shows the applicability of our methods, and a group of experiments show their advantages and effectiveness.

The trace consistency measurement between WFD-net systems

“…In general, we can distinguish three basic weak behavioral relations between transition pairs in a WF-net system, and they are based on the concept of weak order relation (Weidlich et al, 2011). Definition 2 [Weak order relation (Weidlich et al, 2011;Zhao et al, 2022b)]. Given a WF-net system (N, M 0 ) = (P, T, F, M 0 ), the weak order relation ≻ c ⊂ T × T contains transition pairs t x , t y ∈ T, there exists a weak firing sequence…”

Repairing Process Models with Non-Free-Choice Constructs Based on Token Replay

“…It has been proven that the soundness problem is decidable [32,33,34]. For the correctness of workflow systems, some methods are developed to detect and repair errors, such as literature [35].…”