Skip to main content
SpringerLink
Log in

Decomposition-Based Verification of Cyclic Workflows

  • Conference paper
Automated Technology for Verification and Analysis (ATVA 2005)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3707))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Article  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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. Basu, A., Blanning, R.W.: A formal approach to workflow analysis. Information Systems Research 11(1), 17–36 (2000)

    Article  Google Scholar 

  9. Basu, A., Kumar, A.: Research commentary: Workflow management issues in e-Business. Information Systems Research 13(1), 1–14 (2002)

    Article  Google Scholar 

  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. Choi, Y.: A Two Phase Verification Algorithm for Cyclic Workflow Graphs. In: Proc. of ICEB 2004, pp. 137–143 (2004)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  15. Gondran, M., Minoux, M.: Graphs and Algorithms. John Wiley & Sons Ltd., Chichester (1984)

    MATH  Google Scholar 

  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)

    Article  MATH  Google Scholar 

  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. Kumar, A., Zhao, J.L.: Dynamic Routing and Operational Controls in Workflow Management Systems. Management Science 45(2), 253–272 (1999)

    Article  Google Scholar 

  19. Leymann, F., Roller, D., Reuter, A.: Production Workflow: Concepts and Techniques. Prentice-Hall, Englewood Cliffs (2000)

    MATH  Google Scholar 

  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. Murata, T.: Petri nets: Properties, analysis, and applications. Proceedings of the IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  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. Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Information Systems 25(2), 117–134 (2000)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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. Stohr, E.A., Zhao, J.L.: Workflow automation: Overview and research issues. Information Systems Frontiers 3(3), 281–296 (2001)

    Article  Google Scholar 

  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)

    Article  MATH  Google Scholar 

  28. Workflow Management Coalition, Glossary. Document Number WfMC-TC-1011 (1999)

    Google Scholar 

  29. Workflow Management Coalition, Interface 1: Process Definition Interchange Process Model. Document Number WfMC TC-1016-P (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Systems Management & Engineering, Inje University, Kimhae, Korea

    Yongsun Choi

  2. Dept. of MIS, University of Arizona, Tucson, AZ, 85721, USA

    J. Leon Zhao

Authors
  1. Yongsun Choi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. Leon Zhao
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Bar Ilan University, 52900, Ramat Gan, Israel

    Doron A. Peled

  2. Department of Information Management, National Taiwan University, Taiwan

    Yih-Kuen Tsay

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Choi, Y., Zhao, J.L. (2005). Decomposition-Based Verification of Cyclic Workflows. In: Peled, D.A., Tsay, YK. (eds) Automated Technology for Verification and Analysis. ATVA 2005. Lecture Notes in Computer Science, vol 3707. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11562948_9

Download citation

  • DOI: https://doi.org/10.1007/11562948_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29209-8

  • Online ISBN: 978-3-540-31969-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation