Dynamic checking and solution to temporal violations in concurrent workflow processes

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 41, Issue 6, 2011, Pages 1166-1181

  Du, Yanhua ^a   Xiong, Pengcheng ^b   Fan, Yushun ^c   Li, Xitong ^d  

^a UNIVERSITY OF SCIENCE AND TECHNOLOGY BEIJING   (China)

^b Georgia Institute of Technology   (United States)

^c TSINGHUA UNIVERSITY   (China)

^d MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Dynamic checking and solution; Petri nets (PNs); sprouting graph; temporal constraint; time workflow net (TWF net)

Indexed keywords

BUSINESS SCENARIO; CHECKING POINT; DYNAMIC CHECKING; DYNAMIC CHECKING AND SOLUTION; POSSIBLE SOLUTIONS; RESOURCE CONSTRAINT; SPROUTING GRAPH; TEMPORAL CONSTRAINTS; WORKFLOW NETS; WORKFLOW PROCESS;

PETRI NETS;

EID: 80054802671     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2011.2116003     Document Type: Article

References (34)

1. S. Jablonski and C. Bussler, Workflow Management: Modeling Concepts, Architecture, and Implementation. London, U.K.: Int. Thomson Computer Press, 1996.
2. Y. S. Fan, Fundamentals of Workflow Management Technology. Beijing, China: Tsinghua Univ. Press, 2001.
3. Z. Luo, A. Sheth, K. Kochut, and J. Miller, "Exception handling in workflow systems, applied intelligence" Int. J. Appl. Intell., Neural Netw. Complex Problem-Solving Technol., vol. 13, no. 2, pp. 125-147, Sep./Oct. 2000.
4. S. Yoonki and H. Dongsoo, "Exception specification and handling in workflow systems" in Proc. 5th Asia-Pacific Web Conf. Web Technol. Appl., 2003, pp. 594-601.
5. J. Eder, E. Panagos, and H. Pozewaunig, "Time management in workflow systems" in Proc. 8th Int. Conf. Business Inf. Syst., 1999, pp. 265-280.
6. O. Marjanovic and M. E. Orlowska, "Modeling and verification of temporal constraints in production workflows" Knowl. Inf. Syst., vol. 1, no. 2, pp. 157-192, May 1999.
7. H. Zhuge, T. Cheung, and H. Pung, "A timed workflow process model" J. Syst. Softw., vol. 55, no. 3, pp. 231-243, Jan. 2001.
8. N. R. Adam, V. Atluri, and W. K. Huang, "Modeling and analysis of workflow using Petri nets" J. Intell. Inf. Syst.: Special Issue Workflow Process, vol. 10, no. 2, pp. 131-158, Mar./Apr. 1998.
9. R. Han, Y. Liu, L. Wen, and J. Wang, "Probability timing constraint WF-nets and their application to timing schedulability analysis of workflow management systems" in Proc. Int. Conf. CSIE, 2009, pp. 669-673.
10. J. Eder, E. Panagos, and M. Abinovich, "Time constraints in workflow systems" in Proc. 11th Conf. Adv. Inf. Syst. Eng., 1999, pp. 286-300.
11. O. Marjanovic, "Dynamic verification of temporal constraints in production workflows" in Proc. 11th Australian Database Conf., 2000, pp. 74-81.
12. J. J. Chen, Y. Yang, and T. Y. Chen, "Dynamic verification of temporal constraints on-the-fly for workflow systems" in Proc. 11th Asia-Pacific Softw. Eng. Conf., 2004, pp. 30-37.
13. J. J. Chen and Y. Yang, "Temporal dependency for dynamic verification of fixed-date constraints in grid workflow systems" in Proc. 7th APWeb Conf., 2005, pp. 820-831.
14. R. Han, Y. Liu, L. Wen, and J. Wang, "Dynamically analyzing time constraints in workflow systems with fixed-date constraint" in Proc. Int. Conf. APWeb, 2010, pp. 99-105.
15. H. C. Li and Y. Yang, "Dynamic checking of temporal constraints for concurrent workflows" Electron. Commerce Res. Appl., vol. 4, no. 2, pp. 124-142, 2005.
16. W. T. Jong, Y. S. Shiau, Y. J. Horng, H. H. Chen, and S. M. Chen, "Temporal knowledge representation and reasoning techniques using time petri nets" IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 29, no. 4, pp. 541-545, Aug. 1999.
17. J. Q. Li, Y. S. Fan, and M. C. Zhou, "Performance modeling and analysis of workflow" IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 2, pp. 229-242, Mar. 2004.
18. P. C. Xiong, Y. S. Fan, and M. C. Zhou, "A Petri net approach to analysis and composition of web services" IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 40, no. 2, pp. 376-387, Mar. 2010.
19. P. C. Xiong, M. C. Zhou, and C. Pu, "A Petri net siphon based solution to protocol-level service composition mismatches" in Proc. ICWS, 2009, pp. 952-958.
20. P. C. Xiong, C. Pu, and M. C. Zhou, "Protocol-level service composition mismatches: A Petri net siphon based solution" Int. J. Web Serv. Res., vol. 7, no. 4, pp. 1-20, 2010.
21. S. Ling and H. Schmidt, "Time petri nets for workflow modeling and analysis" in Proc. IEEE Int. Conf. Syst., Man, Cybern., 2000, pp. 3039-3044.
22. Y. Qu and C. Lin, "Linear temporal inference of workflow management systems based on time Petri nets models" in Proc. Int. Conf. EDCIS, 2002, pp. 30-44.
23. C. Lin and Y. Qu, "Temporal inference of workflow systems based on time Petri nets: Quantitative and qualitative analysis" Int. J. Intell. Syst., vol. 19, no. 5, pp. 417-442, May 2004.
24. J. P. Tsai and S. J. Yang, "Timing constraint Petri nets and their application to schedulability analysis of real-time system specification" IEEE Trans. Softw. Eng., vol. 21, no. 1, pp. 32-49, Jan. 1995.
25. J. Q. Li, Y. S. Fan, and M. C. Zhou, "Timing constraint workflow nets for workflow analysis" IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 33, no. 2, pp. 179-193, Mar. 2003.
26. H. Q. Wang and Q. T. Zeng, "Modeling and analysis for workflow constrained by resources and nondetermined time: An approach based on Petri nets" IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 4, pp. 802-817, Jul. 2008.
27. S. Rajakumar, V. P. Arunachalam, and V. Selladurai, "Workflow balancing strategies in parallel machine scheduling" Int. J. Adv. Manuf. Technol., vol. 23, no. 5/6, pp. 366-374, Mar. 2004.
28. J. Ezpeleta, J. M. Colom, and J.Martinez, "A petri net based deadlock prevention policy for flexible manufacturing systems" IEEE Trans. Robot. Autom., vol. 11, no. 2, pp. 173-184, Apr. 1995.
29. Uppaal, Uppaal, 2010. [Online]. Available: http://www.it.uu.se/research/ group/darts/uppaal/
30. V. Gruhn and R. Laue, "Using timed model checking for verifying workflows" in Proc. Int. Conf. CSAC, 2005, pp. 75-88.
31. F. Cassez1 and O. H. Roux, "Structural translation from time Petri nets to timed automata" Electron. Notes Theoretical Comput. Sci., vol. 128, no. 6, pp. 145-160, May 2005.
32. D. Maria, A. Montanari, and M. Zantoni, "An automaton-based approach to the verification of timed workflow schemas" in Proc. Int. Conf.Temporal Representation and Reasoning (TIME), 2006, pp. 87-94.
33. Z. H. Gu and G. S. Kang, "Analysis of event-driven real-time systems with time Petri nets: A translation-based approach" in Proc. IFIP 17th World Comput. Congr.-TC10 Stream DIPES, 2002, pp. 31-40.
34. H. J. Hsu and F. J. Wang, "An incremental analysis for resource conflicts to workflow specifications" J. Syst. Softw., vol. 81, no. 10, pp. 1770-1783, Oct. 2008.