
Be the first to like this
Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our User Agreement and Privacy Policy.
Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our Privacy Policy and User Agreement for details.
Published on
Controlflow and dataflow modeling and verification are two important challenges for traditional workflow management.
To formulate the dataflow modeling and verification, a Petri Net based approach is proposed in this paper. More specifically, the
WFIOnet, which is a kind of WFnet by extending each activity with its read and write data sets, is first presented to model both the
controlflow and dataflow information in a workflow process. Moreover, the firing rule of WFIOnet which is different from
traditional Petri net is discussed in detail. Then the formal definitions of three basic types of dataflow errors, including missing data,
redundant data and conflicting data are formulated using WFIOnet. Next, a polynomial complexity algorithm which is capable of
detecting the abovementioned three kinds of basic dataflow anomalies is proposed based on the activitydata incidence matrix of the
WFIOnet. A running case of a property loan approval business process is given to validate the proposed method
Clipping is a handy way to collect and organize the most important slides from a presentation. You can keep your great finds in clipboards organized around topics.
Be the first to comment