Analyzing Data Dependence Based on Workflow Net

Authors:
Yu Huang;Hanpin Wang;Wen Zhao;Jiaqi Zhu
Affiliations:
School of EECS, Peking University, Beijing, 100871, China;School of EECS, Peking University, Beijing, 100871, China;School of EECS, Peking University, Beijing, 100871, China;School of EECS, Peking University, Beijing, 100871, China
Venue:
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
Year:
2007

Citing 5
Cited 0

Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models

CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
An Object Model for Product and Workflow Data Management

DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
An Extended Petri net for Modeling Workflow with Critical Sections

ICEBE '05 Proceedings of the IEEE International Conference on e-Business Engineering
Workflow data guards

OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Soundness of resource-constrained workflow nets

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

Workflow management systems (WfMSs) frequently use data to coordinate the execution of workflow instances. A WfMS makes routing decisions according to data constraints. This paper presents an extended workflow net which has its business form and portrays data constraints among tasks which act as the decision condition. Data constraint is expressed by pre-condition and post-condition which formalize a task's input and output conditions. After introducing the model, we give an important definition of consistence related to data dependance. Then, we proposes a domain computation method during reduction to verify the consistence. The method considers data operation during reduction. In the end, a case study is analyzed by our method.