Petri Net Based Data-Flow Error Detection and Correction Strategy for Business Processes

Liu, Cong; Zeng, Qingtian; Duan, Hua; Wang, Lei; Jie, Tan; Ren, Chongguang; Yu, Wangyang

doi:10.1109/access.2020.2976124

Cited by 21 publications

(5 citation statements)

References 38 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Considering for example the data perspective, given two organizations that synchronize initially but have the (optional) second synchronization this can be sound iff both organizations are aware of when the second synchronization is required. This requires an understanding of data-aware workflow [20] and [21] where data elements imply the condition used.…”

Section: Discussionmentioning

confidence: 99%

Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow With Task Synchronization Patterns

Liu

Zeng

Cheng

et al. 2021

IEEE Trans. Automat. Sci. Eng.

Self Cite

View full text Add to dashboard Cite

Workflow management technology has become a key means to improve enterprise productivity. More and more workflow systems are crossing organizational boundaries and may involve multiple interacting organizations. This paper focuses on a type of loosely-coupled workflow architecture with collaborative tasks, i.e., each business partner owns its private business process and is able to operate independently, and all involved organizations need to be synchronized at certain point to complete certain public tasks. Because of each organization's privacy consideration, they are unwilling to share the business details with others. In this way, traditional correctness verification approaches via reachability analysis is not practical as a global business process model is unavailable for privacy preservation. To ensure its globally correct execution, this work establishes a correctness verification approach for cross-organizational workflow with task synchronization patterns. Its core idea is to use local correctness of each sub-organizational workflow process to guarantee its global correctness. We proved that the proposed approach can be used to investigate the behavioral property preservation when synthesizing sub-organizational workflows via collaborative tasks. A medical diagnosis running case is used to illustrate the applicability of the proposed approaches. Note to Practitioners-Cross-organizational workflow verification techniques play an increasingly important role for ensuring correct execution of collaborative enterprise businesses. This work addresses the issue of correctness verification for loosely-coupled interactive workflows with collaborative tasks. To ensure the globally correct execution, a behavioral correctness verification approach is established. All proposed concepts and techniques are supported by open-source tools and evaluation over a medical

show abstract

Section: Discussionmentioning

confidence: 99%

Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow With Task Synchronization Patterns

Liu

Zeng

Cheng

et al. 2021

IEEE Trans. Automat. Sci. Eng.

Self Cite

View full text Add to dashboard Cite

show abstract

“…(2) Checking reachability, properly completed, and deadlocks Some errors can be detected based on the unfolding techniques. In this paper, we refer to some previous studies [5,34,37,41,42], and utilize our improvements to efficiently check reachability [15,30], properly completed [43,44] and deadlocks [45,46].…”

Section: Model Checkings Based On the Improved Unfolding Methodsmentioning

confidence: 99%

An Incremental and Backward-Conflict Guided Method for Unfolding Petri Nets

2021

View full text Add to dashboard Cite

The unfolding technique of Petri net can characterize the real concurrency and alleviate the state space explosion problem. Thus, it is greatly suitable to analyze/check some potential errors in concurrent systems. During the unfolding process of a Petri net, the calculations of configurations, cuts, and cut-off events are the key factors for the unfolding efficiency. However, most of the unfolding methods do not specify a highly efficient calculations on them. In this paper, we reveal some recursive relations and structural properties of these factors. Subsequently, we propose an improved method for computing configurations and cuts. Meanwhile, backward conflicts are used to guide the calculations of cut-off events. Moreover, a case study and a series of experiments are done to illustrate the effectiveness and application scenarios of our methods.

show abstract

“…Tao and Fang [11] opt for workflow nets with tables (WFT-nets) to model workflow systems and detect inconsistent data. Liu et al [12] have proposed a Petri net-based approach to model and analyze data flows. Ramon-Cortes et al [6] build a Distributed Stream Library supporting the integration of workflow and data flow to meet the needs of new Data Science workflows.…”

Section: Application Of Data Flowmentioning

confidence: 99%

Recovering Latent Data Flow from Business Process Model Automatically

Wang

Ali

et al. 2022

Wireless Communications and Mobile Computing

View full text Add to dashboard Cite

Process-driven applications evolve rapidly through the interaction between executable BPMN (Business Process Modeling and Notation) models, business tasks, and external services. Given these components operate on some shared process data, it is imperative to recover the latent data by visiting relation, which is known as data flow among these tasks. Data flow will benefit some typical applications including data flow anomaly checking and data privacy protection. However, in most cases, the complete data flow in a business process is not explicitly defined but hidden in model elements such as form declarations, variable declarations, and program code. Some methods to recovering data flow based on process model analysis of source code have some drawbacks; i.e., for security reasons, users do not want to provide source code but only encapsulated methods; therefore, data flows are difficult to analyze. We propose a method to generate running logs that are used to produce a complete data flow picture combined with the static code analysis method. This method combines the simple and easy-to-use characteristics of static code analysis methods and makes up for the shortcomings of static code analysis methods that cannot adapt to complex business processes, and as a result, the analyzed data flow is inaccurate. Moreover, a holistic framework is proposed to generate the data flow graph. The prototype system designed on Camunda and Flowable BPM (business process management) engine proves the applicability of the solution. The effectiveness of our method is validated on the prototype system.

show abstract

Petri Net Based Data-Flow Error Detection and Correction Strategy for Business Processes

Cited by 21 publications

References 38 publications

Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow With Task Synchronization Patterns

Privacy-Preserving Behavioral Correctness Verification of Cross-Organizational Workflow With Task Synchronization Patterns

An Incremental and Backward-Conflict Guided Method for Unfolding Petri Nets

Recovering Latent Data Flow from Business Process Model Automatically

Contact Info

Product

Resources

About