Abstract
Workflow management aims at the controlling, monitoring, optimizing and supporting of business processes. Well designed formal models will facilitate such management since they provide explicit representations of business processes as the basis for computerized analysis, verification and execution. Petri Nets have been recognized as the most suitable candidate for workflow modeling, and as such, formal models based on Petri Nets have been proposed, among them WF-net by Aalst is the most popular one. But WF-net has turned out to be conceptually chaotic as will be illustrated in this paper with an example from Aalst's book. This paper proposes a series of models for the description and analysis of business processes at conceptually different hierarchical layers. Analytic goals and methods at these layers are also discussed. The underlying structure, shared by all these models, is SYNCHRONIZER, which is designed with the guidance of synchrony theory of GNT (General Net Theory) and serves as the conceptual foundation of workflow formal models. Structurally, synchronizers connect tasks to form a whole while dynamically synchronizers control tasks to achieve synchronization.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
W M P van der Aalst. The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers, 8(1):21–66, 1998.
David Hollingsworth. Workflow management coalition. The Workflow Reference Model. Document Number TC00-1003 [s], 1995.
W M P van der Aalst, Kees Max van Hee. Workflow Management: Models, methods and Systems. Cambridge, Massachusetts London, England: The MIT Press. 2002.
W M P van der Aalst, Arthur H M ter Hofstede. Workflow patterns: On the expressive power of (Petri-net-based) workflow languages. In Proc. the Fourth Workshop on the Practical Use of Colored Petri Nets and CPN Tools (CPN 2002), Kurt Jensen (ed.), volume 560 of DAIMI, Aarhus, Denmark, August 2002. University of Aarhus, pp.1–20.
W M P van der Aalst. Workflow verification: Finding control-flow errors using Petri-net-based techniques. Business Process Management: Models, Techniques, and Empirical Studies, Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2000, Vol.1806, pp.161–183.
W M P van der Aalst, A H M ter Hofstede. Verification of workflow task structures: A Petri-net-based approach. Information Systems, 2000, 25(1): 43–69.
Wang Bin-Jun, Hao Ke-Gang. The hierarchical structure of the workflow process definition and normal Petri net. Computer Science, 2003, 30(11): 157–159.
Hao Ke-Gang, Wang Bin-Jun. Extended XinPai driven workflow model and Petri net. Computer Applications and Software, 2004, 21(2): 24–26.
Petri Nets: Central Models and Their Properties, Brauer W, Reisig W, Rozenberg G (eds.), LNCS 254, Springer-Verlag, 1987.
Petri Nets, Applications and Relationship to other Models of Concurrency, Rozenberg G (eds.), LNCS 255, Springer, 1987.
Yuan C Y. Principals and Application of Petri Nets. Publishing House of Electronics Industry. 2005, pp.213–258.
Mani Chandy K, Misra J. Parallel Program Design. Addison-Wesley Publishing Company, 1988.
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by the National Natural Science Foundation of China under Grant No. 60473058; the National Grand Fundamental Research 973 Program of China under Grant Nos. 2002CB312004, 2002CB312006.
Electronic supplementary material
Rights and permissions
About this article
Cite this article
Yuan, CY., Zhao, W., Zhang, SK. et al. A Three-Layer Model for Business Processes — Process Logic, Case Semantics and Workflow Management. J Comput Sci Technol 22, 410–425 (2007). https://doi.org/10.1007/s11390-007-9057-z
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11390-007-9057-z