Locating and Controlling Unsound Transitions in Workflow Systems Based on Workflow Net With Data Constraints

He, Yaqiong; Liu, Guanjun; Yan, Chao; Jiang, Changjun; Wang, Jiacun

doi:10.1109/access.2018.2876904

Cited by 2 publications

(1 citation statement)

References 34 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…On the basis of Petri nets, Wil van der Aalst proposed the theory of workflow-net (WF-net) by modeling the control flow dimension of a workflow [10]. As a kind of Petri net, WF-net is widely used in workflow system modeling and analysis [11][12][13]. A WF-net begins at the initial place and ends at the termination place, which indicates the running state of a complete business process under the marking.…”

Section: Petri Nets Model Of the Fundamental Workflow Modementioning

confidence: 99%

A Software Testing Workflow Analysis Tool Based on the ADCV Method

Mao,

Han,

et al. 2023

Electronics

View full text Add to dashboard Cite

Based on two progressive aspects of the modeling problems in business process management (BPM), (1) in order to address the increasing complexity of user requirements on workflows underlying various BPM application scenarios, a more verifiable fundamental modeling method must be invented; (2) to address the diversification of software testing processes, more formalized advanced modeling technology must also be applied based on the fundamental modeling method. Aiming to address these modeling problems, this paper first proposes an ADCV (acquisition, decomposition, combination, and verification) method that runs through the core management links of four types of business processes (mining, decomposition, recombination, and verification) and then describes the compositional structure of the ADCV method and the design of corresponding algorithms. Then, the software testing workflow is managed and monitored using the method, and the corresponding analysis tool is implemented based on Petri nets. At the same time, the tool is applied to the case processing of the software testing workflow. Specifically, the workflow models are established successively through ADCV during the process of business iteration. Then, the analysis tool developed with the ADCV method, the model–view–controller (MVC) design pattern, and Java Swing technology are applied to instances of the software testing workflow to realize the modeling and management of the testing processes. Thus, the analysis tool can guarantee the accuracy of the parameter estimations of related software reliability growth models (SRGMs) and ultimately improve the quality of software products.

show abstract

Section: Petri Nets Model Of the Fundamental Workflow Modementioning

confidence: 99%

A Software Testing Workflow Analysis Tool Based on the ADCV Method

Mao,

Han,

et al. 2023

Electronics

View full text Add to dashboard Cite

show abstract

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

et al. 2020

View full text Add to dashboard Cite

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.

show abstract

Locating and Controlling Unsound Transitions in Workflow Systems Based on Workflow Net With Data Constraints

Cited by 2 publications

References 34 publications

A Software Testing Workflow Analysis Tool Based on the ADCV Method

A Software Testing Workflow Analysis Tool Based on the ADCV Method

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

Contact Info

Product

Resources

About