Adaptive selection of necessary and sufficient checkpoints for dynamic verification of temporal constraints in grid workflow systems

ACM Transactions on Autonomous and Adaptive Systems

Volumn 2, Issue 2, 2007, Pages

  Chen, Jinjun ^a   Yang, Yun ^a  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

Adaptive checkpoint selection; Grid workflows; Temporal constraints; Temporal verification

Indexed keywords

ADAPTIVE CHECKPOINT SELECTION; GRID WORKFLOW SYSTEMS; TEMPORAL CONSTRAINTS; TEMPORAL VERIFICATION;

ADAPTIVE SYSTEMS; COMPUTER SIMULATION; CONSTRAINT THEORY; REDUNDANCY; VERIFICATION;

GRID COMPUTING;

EID: 34250348415     PISSN: 15564665     EISSN: 15564703     Source Type: Journal    
DOI: 10.1145/1242060.1242063     Document Type: Article

References (40)

1. AL-ALI, R., AMIN, K., LASZEWSKI, G. V., RANA, D., WALKER, D., HATEGAN, M., AND ZALUZEC, N. 2004. Analysis and provision of QoS for distributed grid applications. J. Grid Comput. 2, 2, 163-182.
2. ABRAMSON, D., KOMMINENI, J., MCGREGOR, J. L., AND KATZFEY, J. 2004. An atmospheric sciences workflow and its implementation with Web services. In Proceedings of the 4th International Conference on Computational Science, Part I. Lecture Notes in Computer Science, vol. 3036, Springer Verlag, 164-173.
3. AMIN, K., LASZEWSKI, G. V., HATEGAN, M., ZALUZEC, N. J., HAMPTON, S., AND ROSSI, A. 2004. GridAnt: A client-controllable grid workflow. In Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04). 210-219.
4. BUYYA, R., ABRAMSON, D., AND VENUGOPAL, S. 2005. The grid economy. Proceedings of the IEEE 93, 3, 698-714.
5. CAO, J., JARVIS, S. A., SAINI, S., AND NUDD, G. R. 2003. GridFlow: Workflow management for grid computing. In Proceedings of the 3rd IEEE I ACM International Symposium on Cluster Computing and the Grid (CCGrid'03). 198-205.
6. CHEN, J., YANG, Y., AND 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 (APSEC'04). IEEE Computer Society. 30-37.
7. CHEN, J. AND YANG, Y 2005a. An activity completion duration based checkpoint selection strategy for dynamic verification of fixed-time constraints in grid workflow systems. In Proceedings of the 2nd International Conference on Grid Service Engineering and Management (GSEM'05). Lecture Notes in Informatics P-69, 296-310.
8. CHEN, J. AND YANG, Y. 2005b. Multiple temporal consistency states for dynamic verification of upper-bound constraints in grid workflow systems. In Proceedings of the 1st IEEE International Conference on e-Science and Grid Computing (e-Science'05). IEEE Computer Society, 124-131.
9. CHEN, J. AND YANG, Y. 2005e. A minimum proportional time redundancy based checkpoint selection strategy for dynamic verification of fixed-time constraints in grid workflow systems. In Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC'05). IEEE Computer Society, 299-306.
10. CHEN, J. AND YANG, Y. 2006. Selecting necessary and sufficient checkpoints for dynamic verification of fixed-time constraints in grid workflow systems. In Proceedings of the 4th International Conference on Business Process Management (BPM'06). Lecture Notes in Computer Science, vol. 4102, Springer-Verlag, 445-450.
11. CHINN, S. AND MADEY, G. 2000. Temporal representation and reasoning for workflow in engineering design change review. IEEE Trans. Engin. Manag. 47, 4, 485-492.
12. CROWN TEAM. 2006. CROWN portal, http://www.crown.org. cn/en/.
13. CYBOK, D. 2006. A grid workflow infrastructure. Concurr. Computat. Pract. Exper. Special Issue on Workflow in Grid Systems 18, 1243-1254.
14. DEELMAN, E., BLYTHE, J., GIL, Y., KESSELMAN, C., MEHTA, G., AND VAHI, K. 2003. Mapping abstract complex workflows onto grid environments. J. Grid Comput. 1, 1, 9-23.
15. EDER, J., PANAGOS, E., AND RABINOVICH, M. 1999. Time constraints in workflow systems. In Proceedings of the 11th International Conference on Advanced Information Systems Engineering (CAiSE'99). Lecture Notes in Computer Science, vol. 1626, Springer Verlag, 286-300.
16. FAHRINGER, T., PLLANA, S., AND VILLAZON, A. 2004. A-GWL: Abstract grid workflow language. In Proceedings of the 4th International Conference on Computational Science, Part III, Lecture Notes in Computer Science, vol. 3038, Springer Verlag, 42-49.
17. FOSTER, I., KESSELMAN, C., NICK, J., AND TUECKE, S. 2002. The physiology of the grid: An open grid services architecture for distributed systems integration. In Proceedings of the 5th Global Grid Forum Workshop (GGF5).
18. HAGEN, C. AND ALONSO, G. 2000. Exception handling in workflow management systems. IEEE Trans. Softw. Engin. 26, 10, 943-958.
19. HAN, Y., SHETH, A., AND BUSSLER, C. 1998. A taxonomy of adaptive workflow management. In Proceedings of (Workshop on Towards Adaptive Workflow Systems) the ACM Conference on Computer Supported Cooperative Work.
20. HUANG, Y 2003. JISGA: A jini-based service-oriented grid architecture. Inter. J. High Perform. Comput. Applic. 17, 3, 317-327.
21. KLINGEMANN, J., WASCH, J., AND ABERER, K. 1999a. Deriving service models in cross-organizational workflows. In Proceedings of the 9th International Workshop on Research Issues on Data Engineering Information Technology for Virtual Enterprises (RIDE-VE'99). 100-107.
22. KLINGEMANN, J., WASCH, J., AND ABERER, K. 1999b. Adaptive outsourcing in cross-organizational workflows. In Proceedings of the 11th Conference on Advanced Information Systems Engineering (Caise'99). Lecture Notes in Computer Science, vol. 1626, 417-421.
23. KRISHNAN, S., WAGSTROM, P., AND LASZEWSKI, G. V. 2002. GSFL: A workflow framework for grid services. Tech. rep., Argonne National Laboratory, Argonne, Chicago, IL, http://www-unix.globus.org/cog/papers/gsfl-paper.pdf.
24. LI, H., YANG, Y., AND CHEN, T. Y. 2004. Resource constraints analysis of workflow specifications. J. Syst. Softw. 73, 2, 271-285.
25. LI, J., FAN, Y., AND ZHOU, M. 2003. Timing constraint workflow nets for workflow analysis. IEEE Trans. Syst., Man Cybernet. Part A: Syst. Humans 33, 2, 179-193.
26. LIU, Z. 1998. Performance analysis of stochastic timed Petri nets using linear programming approach. IEEE Trans. Softw. Engine. 11, 1014-1030.
27. MARINESCU, D. 2002. A grid workflow management architecture. Global Grid Forum White Paper, http://www.gridforum.org/mail.archive/gce-wg/ 2002/Archive/pdf00003.pdf.
28. MARJANOVIC, O., AND ORLOWSKA, M. E. 1999. On modeling and verification of temporal constraints in production workflows. Know. Inform. Syst. 1, 2, 157-192.
29. REICHERT, M., BAUER, T., AND DADAM, P. 1999. Enterprise-wide and cross-enterprise workflow management: Challenges and research issues for adaptive workflows. In Proceedings of Workshop on Enterprise-Wide and Cross-Enterprise Workflow Management. 56-64.
30. RINDERLE, S., REICHERT, M., AND DADAM, P. 2004. Flexible support of team processes by adaptive workflow systems. Distrib. Parall. Datab. 16, 1, 91-116.
31. SADIQ, W AND ORLOWSKA, M. E. 2000. Analysing process models using graph reduction techniques. Inform. Syst. 25, 2, 117-134.
32. SIMPSON, D. R., KELLY, N., JITHESH, P. V., DONACHY, P., HARMER, T. J., PERROTT, R. H., JOHNSTON, J., KERR, P., MCCURLEY, M., AND MCKEE, S. 2004. GeneGrid: A practical workflow implementation for a grid based virtual bioinformatics laboratory. In Proceedings of the UK e-Science All Hands Meeting. 547-554.
33. SON, J. H. AND KIM, M. H. 2001. Improving the performance of time-constrained workflow processing. J. Syst. Softw. 58, 3, 211-219.
34. SWIN DE W-G TEAM. 2007. System architecture of SwinDeW-G. http://www.ict.swin.edu.au/personal/jchen/ SwinDeW-G/ System_Architecture.pdf.
35. VAN DER AALST, W. M. P. 1998. The application of petri nets to workflow management. J. Circ. Syst. Comput. 8, 1, 21-66.
36. VAN DER AALST, W. M. P. 2000. Workflow verification: Finding control-flow errors using petri-net based techniques. In Proceedings of Business Process Management: Models, Techniques, and Empirical Studies. Lecture Notes in Computer Science, vol. 1806, Springer-Verlag, 161-183.
37. YAN, J., YANG, Y., AND RAIKUNDALIA, G. K. 2006. SwinDeW - A peer-to-peer based decentralised workflow management system. IEEE Trans. Syst. Man Cybern. Part A: Syst. Humans 36, 5, 922-935.
38. YU, J. AND BUYYA, R. 2005. A taxonomy of scientific workflow systems for grid computing. SIGMOD Record 34, 3, 44-49.
39. YU, J., BUYYA, R. AND THAM, C. K. 2005. QoS-based scheduling of workflow applications on service grids. In Proceedings of 1st IEEE International Conference on e-Science and Grid Computing (e-Science'05), IEEE Computer Society, 140-147.
40. ZHUGE, H., CHEUNG, T., AND PUNG, H. 2001. A timed workflow process model. J. Syst. Softw. 55, 3, 231-243.