Loading [a11y]/accessibility-menu.js
A Guard-Driven Analysis Approach of Workflow Net with Data | IEEE Journals & Magazine | IEEE Xplore

A Guard-Driven Analysis Approach of Workflow Net with Data


Abstract:

The correctness of workflow systems is dependent on not only their control-flows but also their data-flows. WFD-nets (Workflow net with data) can model both control-flow ...Show More

Abstract:

The correctness of workflow systems is dependent on not only their control-flows but also their data-flows. WFD-nets (Workflow net with data) can model both control-flow and data-flow of workflow systems, and are used to analyze/verify their correctness. The existing methods of analyzing/verifying WFD-nets are based on their reachability graphs. However, the reachability-graph-based methods have two flaws: state space explosion and pseudo states, since the guard functions are not handled perfectly. Note that every transition of a WFD-net is labeled by a guard function, which is a Boolean expression w.r.t. data and can determine the progress of control-flow. In order to solve these problems, we propose a guard-driven reachability graph that can both alleviate the state space explosion problem and avoid pseudo states. We describe the related algorithms and develop a tool. A group of experiments illustrate the advantage and effectiveness of our approach, and an example of property loan shows its usefulness.
Published in: IEEE Transactions on Services Computing ( Volume: 14, Issue: 6, 01 Nov.-Dec. 2021)
Page(s): 1650 - 1661
Date of Publication: 12 February 2019

ISSN Information:

Funding Agency:


Contact IEEE to Subscribe

References

References is not available for this document.