Abstract
The increasing complexity of business processes in recent years has heightened the need for workflow verification tools. However, there is a significant lag between current commercial needs and research prototypes. Our investigation indicates that existing workflow verification tools depend largely on the Petri net formalism, which is more complex than the modeling formalisms in commercial workflow systems. This makes it difficult to apply those workflow verification tools to commercial workflow systems. This lag between commerce and research motivated our study in developing an alternative approach to workflow verification. In this paper, we propose a logic-based verification method that is easier to implement in commercial workflow systems than Petri-net-based verification methods. We further demonstrate that our logic-based workflow verification approach is simple, yet powerful enough to handle complex, including cyclic, workflow models.
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
Aalst, W.M.P. van der. 1997. Verification of workflow nets. In: Azéma, P.; Balbo, G.: Lecture Notes in Computer Science, Vol. 1248: 18th International Conference on Application and Theory of Petri Nets, Toulouse, France, June 1997. Berlin, Germany: Springer-Verlag, June 1997. 407–426.
Aalst, W.M.P. van der. 1998. The application of Petri Nets to workflow management. Journal of Circuits, Systems and Computers. 8(1): 21–66.
Aalst, W.M.P. van der. 1999. Three Good Reasons for Using a Petri-net-based Workflow Management System. Information and Process Integration in Enterprises: Rethinking Documents, T. Wakayama et al., eds., Kluwer Academic Publishers, Norwell, Mass. 161–182.
Aalst, W.M.P. van der, A.P. Barros, A.H.M. ter Hofstede, B. Kiepuszewski. 2000. Advanced Workflow Patterns. Proceedings Seventh IFCIS International Conference on Cooperative Information Systems, September 2000. 18–29.
Aalst, W.M.P. van der, A.H.M. ter Hofstede. 2000. Verification of Workflow Task Structures: A Petri-Net-Based Approach. Information Systems. 25(1): 43–69.
Adam, N.R., V. Atluri, W.K. Huang. 1998. Modeling and Analysis of Workflows Using Petri Nets. Journal of Intelligent Information Systems. 10(2): 131–158.
Bonner, A.J., M. Kifer. 1994. An overview of transaction logic. Theoretical Computer Science. 133(2): 205–265.
Davulcu, H., M. Kifer, C.R. Ramakrishnan, I.V. Ramakrishnan. 1998. Logic based modeling and analysis of workflows. Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, May 1998. 25–33.
Georgakopoulos, D., M. Hornick, A. Sheth. 1995. An overview of workflow management: from process modeling to workflow automation infrastructure. Distributed and Parallel Databases. 3(2): 119–153.
Hofstede, A.H.M. ter, M.E. Orlowska, J. Rajapakse. 1998. Verification problems in conceptual workflow specifications. Data and Knowledge Engineering. 24(3): 239–256.
Kifer, M. 1996. Transaction logic for the busy workflow professional. Unpublished manuscript.
Murata, T. 1989. Petri nets: Properties, analysis and applications. Proceedings of the IEEE. 77(4): 541–580.
Nolt, J., D. Rohatyn, A. Varzi. 1998. Schaum’s Outline of Logic, 2nd edition. McGraw-Hill Companies, Inc.
Sadiq, W., M.E. Orlowska. 2000. Analyzing Process Models using Graph Reduction Techniques. Information Systems. 25(2): 117–134.
Simpson, R. E. 1987. The Exclusive OR (XOR) Gate. §12.5.6 in Introductory Electronics for Scientists and Engineers, 2nd ed. Boston, MA: Allyn and Bacon. 550–554.
Stohr, E.A., J.L. Zhao. 2001. Workflow Automation: Overview and Research Issues. Information Systems Frontiers: Special Issue on Workflow Automation and Business Process Integration. 3(3) 281–296.
Verbeek, H.M.W., T. Basten, W.M.P. van der Aalst. 2001. Diagnosing Workflow Processes Using Woflan. The Computer Journal (British Computer Society). 44(4): 246–279.
WfMC. 1999. Workflow management coalition terminology & glossary, WfMC-TC-1011, Issue 3.0. Workflow Management Coalition. http://www.wfmc.org /standards/docs/TC-1011_term_glossary_v3.pdf as of July 25, 2002.
Wodtke, D., J. Weißenfels, G. Weikum, A.K. Dittrich, P. Muth. 1997. The MENTOR Workbench for Enterprise-wide Workflow Management. SIGMOD Conference 1997. 576–579.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media New York
About this chapter
Cite this chapter
Bi, H.H., Zhao, J.L. (2003). Mending the Lag Between Commerce and Research: A Logic-Based Workflow Verification Approach. In: Bhargava, H.K., Ye, N. (eds) Computational Modeling and Problem Solving in the Networked World. Operations Research/Computer Science Interfaces Series, vol 21. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-1043-7_10
Download citation
DOI: https://doi.org/10.1007/978-1-4615-1043-7_10
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5366-9
Online ISBN: 978-1-4615-1043-7
eBook Packages: Springer Book Archive