Decomposition-based verification of cyclic workflows

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3707 LNCS, Issue , 2005, Pages 84-98

  Choi, Yongsun ^a   Zhao, J Leon ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS;

CYCLIC WORKFLOWS; HIERARCHICAL DECOMPOSITION; WORKFLOW ANALYSIS;

SYSTEMS ANALYSIS;

EID: 33646170278     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11562948_9     Document Type: Conference Paper

References (29)

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