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.
Supported by the National Grand Fundamental Research 973 Program of China under Grant No. 2002CB312004 and 2002CB312006 and the National 863 Plans Projects of China under Grant No. 2006AA01Z160.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Sadiq, W., Orlowska, M.E.: Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol. 1626, pp. 195–209. Springer, Heidelberg (1999)
van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers 8, 21–66 (1998)
van Hee, K.M., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Soundness of Resource-Constrained Workflow Nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 250–267. Springer, Heidelberg (2005)
Baker, N., Bazan, A., Chevenier, G., Estrella, F., Kovacs, Z., Le Flour, T., Le Goff, J.-M., Lieunard, S., McClatchey, R., Murray, S., Vialle, J.-P.: An Object Model for Product and Workflow Data Management. In: Proceedings of Ninth International Workshop on Database and Expert Systems Applications, pp. 731–738 (1998)
Eder, J., Lehmann, M.: Workflow Data Guards. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3760, pp. 502–519. Springer, Heidelberg (2005)
Kiepuszewski, B.: Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows. PHD thesis (2002)
Kotb, Y.T., Baumgart, A.S.: An Extendted Petri net for modeling workflow with critical secitons. In: Proceedings of the 2005 IEEE International Conference on e-Business Engineering (2005)
Kim, J., Suh, W., Lee, H.: Document-based workflow modeling: a case-based reasoning approach. Expert Systems with Applications 23, 77–93 (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Huang, Y., Wang, H., Zhao, W., Zhu, J. (2007). Analyzing Data Dependence Based on Workflow Net. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds) Computational Science – ICCS 2007. ICCS 2007. Lecture Notes in Computer Science, vol 4489. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72588-6_44
Download citation
DOI: https://doi.org/10.1007/978-3-540-72588-6_44
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72587-9
Online ISBN: 978-3-540-72588-6
eBook Packages: Computer ScienceComputer Science (R0)