Abstract
Workflow is the key technology for business process automation, while distributed workflow is the solution to deal with the decentralized nature of workflow applications and the performance requirements of the whole system. In this paper the architecture of distributed workflow execution is given, and the centralized model called CWF-net, which is based on colored Petri net, is presented. Based on the centralized model, a novel model fragmentation algorithm is proposed. This algorithm partitioned the centralized model into fragments by duplicating the places shared by transitions which are executed in different sites. The behavioral equivalence between the CWF-net and resulted fragments are guaranteed by the extended firing rules. Then the correctness of the fragmentation algorithm is discussed, the correctness criteria comprises completeness of the fragmentation, completeness of each fragment, and the behavioral equivalence after fragmentation. Finally the future research work is pointed out.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Georgakopoulos, D., Hornick, M., Sheth, A.: An Overview of Workflow Management: from Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases 3, 119–153 (1995)
Mohan, C., Alonso, G., Guenthoer, R., Kamath, M., Reinwald, B.: An Overview of the Exotica Research Project on Workflow Management Systems. In: Proc. 6th International Workshop on High Performance Transaction Systems, Asilomar, CA (1995)
Muth, P., Wodtke, D., Weissenfels, J., et al.: From centralized workflow specification to distributed workflow execution. Journal of Intelligent Information Systems 10, 159–184 (1998)
Cai, T., Gloor, P., Nog, S.: DartFlow: A Workflow Management System on the Web using Transportable Agents. Technical Report of Dartmouth College, Hanover, USA (1996)
Van der Aalst, W.M.P.: The application of Petri nets to workflow management. Journal of Circuits Systems and Computers 8, 21–66 (1998)
Jensen, K.: Coloured Petri nets: basic concepts, analysis methods, and practical use. Springer, Heidelberg (1992)
Wang, P.L., Zhao, Y.J., Ye, Z.B.: Union decomposition of Petri net. Control theory and applications 18, 116–118 (2001) (in Chinese with English abstract)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tan, W., Fan, Y. (2005). Model Fragmentation for Distributed Workflow Execution: A Petri Net Approach. In: Ramos, F.F., Larios Rosillo, V., Unger, H. (eds) Advanced Distributed Systems. ISSADS 2005. Lecture Notes in Computer Science, vol 3563. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11533962_18
Download citation
DOI: https://doi.org/10.1007/11533962_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28063-7
Online ISBN: 978-3-540-31674-9
eBook Packages: Computer ScienceComputer Science (R0)