An incremental analysis for resource conflicts to workflow specifications

Journal of Systems and Software

Volumn 81, Issue 10, 2008, Pages 1770-1783

  Hsu, Hwai jung ^a   Wang, Feng jian ^a  

^a NATIONAL CHIAO TUNG UNIVERSITY   (Taiwan)

Author keywords

Incremental methodology; Resource consistency; Temporal constraints; Workflow; Workflow specification

Indexed keywords

CHLORINE COMPOUNDS; SPECIFICATIONS; WORK SIMPLIFICATION;

BUSINESS PROCESSES; DESIGN ENVIRONMENTS; INCREMENTAL ANALYSIS; INCREMENTAL METHODOLOGY; RESOURCE CONSISTENCY; RUN-TIME; TEMPORAL CONSTRAINTS; WORKFLOW; WORKFLOW MANAGEMENT SYSTEM; WORKFLOW MANAGEMENT TECHNOLOGY; WORKFLOW SPECIFICATION; WORKFLOW SPECIFICATIONS;

MANAGEMENT;

EID: 48649101541     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2007.12.799     Document Type: Article

References (36)

1. Adam N., Atluri V., and Huang W. Modeling and analysis of workflows using petri-nets. Journal of Intelligent Information System 10 (1998) 131-158
2. Allen J.F. Maintaining knowledge about temporal intervals. Communication of the ACM 26 11 (1983) 832-843
3. Bajaj A., and Ram S. SEAM: a state-entity-activity-model for a well defined workflow development methodology. IEEE Transactions on Knowledge and Data Engineering 14 2 (2002) 415-432
4. Chen, J., Yang, Y., Chen, T.Y., 2004. Dynamic Verification of temporal constraints on-the-fly for workflow systems. In: Proceedings of the 11th Asia-Pacific Software Engineering Conference, pp. 30-37.
5. Chinn S.J., and Madey G.R. Temporal representation and reasoning for workflow in engineering design change review. IEEE Transactions on Engineering Management 47 4 (2000) 485-493
6. Eder, J., Panagos, E., Pozewaunig, H., Rabinovich, M., 1999a. Time management in workflow systems. In: Proceedings of International Conference Business Information Systems, pp. 266-280.
7. Eder, J., Panagos, E., Rabinovich, M., 1999b. Time constraints in workflow systems. In: Proceedings of 11th International Conferenc on Adv. Inf. Systems Engineering, Lecture Notes in Computer Science, vol. 1626, pp. 286-300.
8. Fleurke, M., Purvis, Ehrler L., 2003. JBees - an adaptive and distributed agent-based workflow system. In: Proceedings of the International Workshop on Collaboration Agents: Autonomous Agents for Collaborative Environments (COLA 2003), Halifax, Canada.
9. Had, Y., Jiang, C., Luo, X., 2005. Resource scheduling model for grid computing based on sharing synthesis of Petri-net, In: Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, pp. 367-372.
10. Hollingsworth, David, 1995. The Workflow Reference Model.
11. Hollingsworth, David, 2004. The Workflow Reference Model: 10 Years On.
12. Hsu, H.J., Yang, D.L., Wang, F.J., 2005. An incremental analysis to workflow specifications. In: Proceedings of the 12th Asia-Pacific Software Engineering Conference, pp. 122-129.
13. Kim, K. 2003 Workflow dependency analysis and its implications on distributed workflow systems, In: Proceedings of the 17th International Conference on Advanced Information Networking and Applications, pp. 677-683.
14. Li H., and Yang Y. Dynamic checking of temporal constraints for concurrent workflows. Electronic Commerce Research and Applications 4 (2005) 124-142
15. Li J., Fan Y., and Zhou M. Timing constraints workflow nets for workflow analysis. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans 33 2 (2003) 79-194
16. Li H., Yang Y., and Chen T.Y. Resource constraints analysis of workflow specifications. Journal of System and Software 73 2 (2004) 271-285
17. Li J., Fan Y., and Zhou M. Performance modeling and analysis of workflow. IEEE Transaction on Systems, Man, and Cybernetics - Part A: Systems and Humans 34 2 (2004) 229-242
18. Ling, S., Schmidt, H., 2000. Time Petri nets for workflow modelling and analysis. In: Proceedings of IEEE International Conference on Systems, Man and Cybernetics, pp. 3039-3044.
19. Marjanovic, O., 2000. Dynamic verification of temporal constraints in production workflows. In: Proceedings of the 11th Australian Database Conference, Canberra, Austalia, pp. 74-81.
20. Onoda, S., Ikkai, Y., Kobayashi, T., Komoda, N., 1999. Definition of deadlock patterns for business processes workflow models. In: Proceedings of the 32nd Hawaii International Conference on System Sciences, pp. 1-11.
21. Park J., and Reveliotis S. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transaction on Automatic Control 46 (2001) 1572-1583
22. Reichert M., and Dadam P. ADEPT-supporting dynamic changes of workflows without losing control. Journal of Intelligent Information System 10 2 (1998)
23. Reveliotis, S., 2003. Structural analysis of resource allocation systems with synchronization constraints. In: Proceedings of the 2003 IEEE International Conference on Robotics and Automation, pp. 1045-1049.
24. Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P., 2004. Workflow resource patterns, BETA Working Paper Series, WP 127, Eindhoeven University of Technology, Eindhoven, 2004.
25. Sadiq W., and Orlowska M.E. Analyzing process models using graph reduction techniques. Information System 25 2 (2000) 117-134
26. Sadiq, S., Orlowska, M.E., Sadiq, W., Foulger, C., 2003. Data flow and validation in workflow modeling. In: Proceedings of Conferences in Research and Practice in Information Technology, vol. 27.
27. Singh, M.P., 1997. Formal aspects of workflow management, Part 1: Semantics, Technical Report, Department of Computer Science, North Carolina State University.
28. Sun, P., Wang, J., Li, X., Jiang, C., 2006. Performance analysis of workflow model with resource constraints, In: Proceedings of the First International Multi Symposiums on Computer and Computational Sciences, vol. 1, pp. 397-401.
29. Tang, Y., Chen, L., He, K., Jing, N., 2004. SRN: an extended Petri-net-based workflow model for Web service composition. In: Proceedings of IEEE International Conference on Web Services, pp. 591-599.
30. van der Aalst W.M.P. The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers 8 1 (1998) 21-46
31. van der Aalst W.M.P., and ter Hofstede A.H.M. Verification of workflow task structures: a petri-net-based approach. Information System 25 1 (2000) 43-69
32. van der Aalst, W.M.P., van Hee, K.M., van der Toorn, R.A., 1999. Adaptive workflow: an approach based on inheritance. In: Proceedings of the IJCAI'99 Workshop on Intelligent Workflow and Process Management: The New Frontier for AI in Business, Stockholm, Sweden.
33. WfMC, 1999. Management Coalition Terminology and Glossary, Document Number WFMC-TC-1011.
34. WfMC, 1993. Workflow Management Coalition, .
35. Zaidi A.K. On temporal logic programming using Petri nets. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans 29 3 (1999) 245-254
36. Zhong, J., Song, B., 2005. Verification of resource constraints for concurrent workflows, In: Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp. 253-261.