Temporal dependency-based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systems

ACM Transactions on Software Engineering and Methodology

Volumn 20, Issue 3, 2011, Pages

  Chen, Jinjun ^a   Yang, Yun ^a  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

Checkpoint selection; Scientific workflows; Temporal constraints; Temporal verification

Indexed keywords

CHECKPOINT SELECTION; DYNAMIC VERIFICATIONS; EXPERIMENTAL SIMULATIONS; NEW STRATEGY; SCIENTIFIC WORKFLOWS; TEMPORAL CONSTRAINTS; TEMPORAL CORRECTNESS; TEMPORAL VERIFICATION; TEMPORAL VERIFICATION EFFICIENCY;

EFFICIENCY;

EID: 80052315881     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/2000791.2000793     Document Type: Article

References (35)

1. ABRAMSON, D., KOMMINENI, J., MCGREGOR, J. L., AND KATZFEY, J. 2005. An atmospheric sciences workflow and its implementation with web services. Fut. Gen. Comput. Syst. 21, 1, 69-78.
2. ALLEN, J. F. 1983. Maintaining knowledge about temporal intervals. Comm. ACM 26, 11, 832-843.
3. BRANDIC, I., PLLANA, S., AND BENKNER, S. 2008. Specification, planning, and execution of QoS-aware grid workflows within the Amadeus environment. Concurr. Comput. Prac. Exp. 20, 4, 331-345. (Pubitemid 351421452)
4. 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. IEEE Computer Society Press, 30-37. (Pubitemid 40700491)
5. CHEN, J. AND YANG, Y. 2005a. 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. IEEE Computer Society Press, 299-306.
6. CHEN, J. AND YANG, Y. 2005b. Multiple temporal consistency states for dynamical verification of upperbound constraints in grid workflow systems. In Proceedings of the 1st IEEE International Conference on e-Science and Grid Computing. IEEE Computer Society Press, 124-131. (Pubitemid 46116668)
7. CHEN, J. AND YANG, Y. 2008a. Activity completion duration based checkpoint selection for dynamic verification of temporal constraints in grid workflow systems. Int. J. High Perf. Comput. Appl. 22, 3, 319-329.
8. CHEN, J. AND YANG, Y. 2007. Adaptive selection of necessary and sufficient checkpoints for dynamic verification of temporal constraints in grid workflow systems. ACM Trans. Auton. Adapt. Syst. 2, 2, Article 6.
9. CHEN, J. AND YANG, Y. 2008b. Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems. In Proceedings of the 30th International Conference on Software Engineering (ICSE'08). 141-150.
10. 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. (Pubitemid 32169253)
11. CROWN TEAM. 2008. CROWN portal, http://www.crown.org.cn/en/ (accessed on June 10, 2009).
12. DAISUKE, K., RUNYUE, AND C., LUIS, C. H. 2007. Gravitational stability of circumnuclear disks in elliptical galaxies. The Astrophys. J. 669, 1, 232-240.
13. DEELMAN, E. AND CHERVENAK, A. L. 2008. Data management challenges of data-intensive scientific workflows. In Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid. IEEE Computer Society Press, 687-692.
14. 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. Springer Verlag, Lecture Notes in Computer Science, vol. 1626, 286-300.
15. GIL, Y., DEELMAN, E., ELLISMAN, M., FAHRINGER, T., FOX, G., GANNON D., GOBLE C., LIVNY M., MOREAU L., AND MYERS J. 2007. Examining the challenges of scientific workflows. IEEE Comput. 40, 12, 24-32.
16. HAGEN, C. AND ALONSO, G. 2000. Exception handling in workflow management systems. IEEE Trans. Softw. Engin. 26, 10, 943-958. (Pubitemid 32031732)
17. LI, J., FAN, Y., AND ZHOU, M. 2003. Timing Constraint Workflow Nets for Workflow Analysis. IEEE Trans. Syst. Man Cyber.-Part A: Syst. and Humans 33, 2, 179-193.
18. LUDÄSCHER, B., ALTINTAS, I., BERKLEY, C., HIGGINS, D., JAEGER-FRANK, E., JONES, M., LEE, E., TAO, J., AND ZHAO, Y. 2006. Scientific workflow management and the Kepler system. Concurr. Comput. Pract. Exp. 18, 10, 1039-1065. (Pubitemid 44258497)
19. MAECHLING, P., CHALUPSKY, H., DOUGHERTY, M., DEELMAN, E., GIL, Y., GULLAPALLI, S., GUPTA, V., KESSELMAN, C., KIM, J., MEHTA, G., MENDENHALL, B., RUSS, T., SINGH, G., SPRARAGEN, M., STAPLES, G., AND VAHI, K. 2005. Simplifying construction of complex workflows for non-expert users of the Southern California earthquake center community modeling environment. ACM SIGMOD Record 34, 3, 24-30. (Pubitemid 43152528)
20. MANDAL, N., DEELMAN, E., MEHTA, G., SU, M., AND VAHI, K. 2007. Integrating existing scientific workflow systems: The Kepler/Pegasus example. In Proceedings of the 16th IEEE International Symposium on High Performance Distributed Computing. IEEE Computer Society press, 21-28. (Pubitemid 47291448)
21. MARJANOVIC, O. AND ORLOWSKA,M. E. 1999. On modeling and verification of temporal constraints in production workflows. Knowl. Inf. Syst. 1, 2, 157-192.
22. OINN, T., GREENWOOD, M., ADDIS, M., ALPDEMIR, M. N., FERRIS, J., GLOVER, K., GOBLE, C., GODERIS, A., HULL, D., MARVIN, D., LI, P., LORD, P., POCOCK, M. R., SENGER, M., STEVENS, R., WIPAT, A., AND WROE, C. 2006. Taverna: Lessons in creating a workflow environment for the life sciences. Concurr. Comput. Pract. Exp. 18, 10, 1067-1100. (Pubitemid 44258498)
23. PANDEY, S. AND BUYYA, R. 2008. Scheduling of scientific workflows on data grids. In Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid. IEEE Computer Society Press, 548-553.
24. PRODAN, R. AND FAHRINGER, T. 2008. Overhead analysis of scientific workflows in grid environments. IEEE Trans. Parall. Distri. Syst. 19, 3, 378-393. (Pubitemid 351344283)
25. RUSSELL, N., VAN DER. AALST, W. M. P., AND TER HOFSTEDE, A. H. M. 2006. Workflow exception patterns. In Proceedings of the 18th International Conference on Advanced Information Systems Engineering. Lecture Notes in Computer Science, vol. 2006, Springer Verlag, 288-302. (Pubitemid 44071215)
26. SADIQ, W. AND ORLOWSKA, M. E. 2000. Analysing process models using graph reduction techniques. Inf. Syst. 25, 2, 117-134.
27. SECES. 2008. First international workshop on software engineering for computational science and engineering in conjunction with the 30th International Conference on Software Engineering (ICSE'08).
28. SON, J. H. AND KIM, M. H. 2001. Improving the performance of time-constrained workflow processing. Syst. Softw. 58, 3, 211-219.
29. SWINDEW-G TEAM. 2008. System architecture of SwinDeW-G. http://www.swinflow.org/docs/SystemArchitecture.pdf (accessed 6/09).
30. SWINSUPER. 2009. http://astronomy.swin.edu.au/supercomputing/, accessed on June 10, 2009.
31. TAYLOR, I., SHIELDS, M.,WANG, I., AND HARRISON, A. 2007. The Triana workflow environment: Architecture and applications. In Workflows for e-Science. Springer, 320-339.
32. VAN DER AALST, W. M. P., TER HOFSTEDE, A. H. M., KIEPUSZEWSKI, B., AND BARROS, A. P. 2003. Workflow patterns. Distrib. Parall. Datab. 14, 1, 5-51.
33. YAN, J., YANG, Y., AND RAIKUNDALIA, G. K. 2006. SwinDeW-A Peer-to-Peer based decentralized workflow management system. IEEE Trans. Syst. Man Cyberneti.-Part A: Syst. Humans 36, 5, 922-935.
34. YU, J. AND BUYYA, R. 2005. A taxonomy of scientific workflow systems for grid computing. ACM SIGMOD Record 34, 3, 44-49. (Pubitemid 43152531)
35. ZHUGE, H., CHEUNG, T., AND PUNG, H. 2001. A timed workflow process model. J. Syst. Soft. 55, 3, 231-243.