Decomposition-Based Verification of Cyclic Workflows

  • Yongsun Choi
  • J. Leon Zhao
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3707)


A critical challenge in workflow analysis and design is the verification of workflow models, considering commercial workflow systems merely provide a simulation tool for validating workflow models through trial and error. As a result, the current workflow technology does not guarantee that workflow models do not fail or will behave in a manner expected by the modeler. While a couple of verification methods have been reported in the recent literature, how to verify cyclic workflow models remains an open research question. In this paper, we propose a novel integrated approach of hierarchical decomposition and verification of cyclic workflows. This result is significant since it helps close the research gap that other known workflow verification methods fail to deal with cyclic workflow models.


Split Node Graph Reduction Candidate Block Instance Flow Nest Cycle 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  2. 2.
    van der Aalst, W.M.P.: Workflow Verification: Finding Control-Flow Errors using Petri-net-based Techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161–183. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  3. 3.
    van der Aalst, W.M.P.: An alternative way to analyze workflow graphs. In: 14th Int. Conf. on Adv. Info. Sys. Eng., pp. 535–552 (2002)Google Scholar
  4. 4.
    van der Aalst, W.M.P., ter Hofstede, A.H.M.: Verification of workflow task structures: A Petri-Net-based Approach. Information Systems 25(1), 43–69 (2000)MATHCrossRefGoogle Scholar
  5. 5.
    van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business Process Management: A Survey. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 1–12. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  6. 6.
    Adam, N.R., Atluri, V., Huang, W.: Modeling and Analysis of Workflows using Petri Nets. Journal of Intelligent Information Systems 10, 131–158 (1998)CrossRefGoogle Scholar
  7. 7.
    Aissi, S., Malu, P., Srinivasan, K.: E-business process modeling: the next big step. IEEE Computer 35(5), 55–62 (2002)Google Scholar
  8. 8.
    Basu, A., Blanning, R.W.: A formal approach to workflow analysis. Information Systems Research 11(1), 17–36 (2000)CrossRefGoogle Scholar
  9. 9.
    Basu, A., Kumar, A.: Research commentary: Workflow management issues in e-Business. Information Systems Research 13(1), 1–14 (2002)CrossRefGoogle Scholar
  10. 10.
    Bi, H.H., Zhao, J.L.: Mending the Lag between Commerce and Research: A Logic-based Workflow Verification Approach. In: Computational Modeling and Problem Solving in the Networked World, pp. 191–212. Kluwer Academic Publishers, Dordrecht (2003)Google Scholar
  11. 11.
    Choi, Y.: A Two Phase Verification Algorithm for Cyclic Workflow Graphs. In: Proc. of ICEB 2004, pp. 137–143 (2004)Google Scholar
  12. 12.
    Choi, Y., Zhao, J.L.: Matrix-based abstraction and verification of e-business processes. In: Proc. the 1st Workshop on e-Business, pp. 154–165 (2002)Google Scholar
  13. 13.
    Fan, W., Weinstein, S.: Specifying and reasoning about workflows with path constraints. In: Hui, L.C.K., Lee, D.-L. (eds.) ICSC 1999. LNCS, vol. 1749, pp. 13–15. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  14. 14.
    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)CrossRefGoogle Scholar
  15. 15.
    Gondran, M., Minoux, M.: Graphs and Algorithms. John Wiley & Sons Ltd., Chichester (1984)MATHGoogle Scholar
  16. 16.
    ter Hofstede, A.H.M., Orlowska, M.E., Rajapakse, J.: Verification Problems in Conceptual Workflow Specifications. Data and Knowledge Engineering 24(3), 239–256 (1998)MATHCrossRefGoogle Scholar
  17. 17.
    Kiepuszewski, B.: Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows, PhD thesis, Queensland University of Technology, Brisbane, Australia (2002) Google Scholar
  18. 18.
    Kumar, A., Zhao, J.L.: Dynamic Routing and Operational Controls in Workflow Management Systems. Management Science 45(2), 253–272 (1999)CrossRefGoogle Scholar
  19. 19.
    Leymann, F., Roller, D., Reuter, A.: Production Workflow: Concepts and Techniques. Prentice-Hall, Englewood Cliffs (2000)MATHGoogle Scholar
  20. 20.
    Lin, H., Zhao, Z., Li, H., Chen, Z.: A novel graph reduction algorithm to identify structural conflicts. In: Proc. of the 35th Hawaii Int. Conf. on Sys. Sci., p. 289 (2002)Google Scholar
  21. 21.
    Murata, T.: Petri nets: Properties, analysis, and applications. Proceedings of the IEEE 77(4), 541–580 (1989)CrossRefGoogle Scholar
  22. 22.
    Mukherjee, S., Davulcu, H., Kifer, M., Senkul, P., Yang, G.: Logic Based Approaches to Workflow Modeling and Verification. In: Chomicki, et al. (eds.) Logics for emerging applications of databases. LNCS. Springer, Heidelberg (2003)Google Scholar
  23. 23.
    Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Information Systems 25(2), 117–134 (2000)CrossRefGoogle Scholar
  24. 24.
    Sheth, A.P., van der Aalst, W.M.P., Arpinar, I.B.: Processes driving the networked economy. IEEE Concurrency 7(3), 18–31 (1999)CrossRefGoogle Scholar
  25. 25.
    Sivaraman, E., Kamath, M.: On the use of Petri nets for business process modeling. In: 11th Annual Industrial Engineering Research Conference, Orlando, Florida (2002)Google Scholar
  26. 26.
    Stohr, E.A., Zhao, J.L.: Workflow automation: Overview and research issues. Information Systems Frontiers 3(3), 281–296 (2001)CrossRefGoogle Scholar
  27. 27.
    Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing workflow processes using Woflan. Computer Journal 44(4), 246–279 (2001)MATHCrossRefGoogle Scholar
  28. 28.
    Workflow Management Coalition, Glossary. Document Number WfMC-TC-1011 (1999) Google Scholar
  29. 29.
    Workflow Management Coalition, Interface 1: Process Definition Interchange Process Model. Document Number WfMC TC-1016-P (1999)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Yongsun Choi
    • 1
  • J. Leon Zhao
    • 2
  1. 1.Dept. of Systems Management & EngineeringInje UniversityKimhaeKorea
  2. 2.Dept. of MISUniversity of ArizonaTucsonUSA

Personalised recommendations