Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 141-150

  Chen, Jinjun ^a   Yang, Yun ^a  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

Checkpoint selection; Fixed time constraints; Grid workflows; Temporal dependency

Indexed keywords

COMPUTER SOFTWARE; MANAGEMENT; REAL TIME SYSTEMS; SOFTWARE ENGINEERING;

CHECKPOINT SELECTION; DYNAMIC VERIFICATIONS; EXPERIMENTAL SIMULATIONS; FIXED-TIME CONSTRAINTS; GRID WORKFLOW; GRID WORKFLOW SYSTEMS; GRID WORKFLOWS; MONITOR AND CONTROLS; NEW STRATEGIES; TEMPORAL CORRECTNESS; TEMPORAL DEPENDENCY; TEMPORAL VERIFICATIONS;

SECURITY OF DATA;

CHECKPOINT SELECTION; DYNAMIC VERIFICATIONS; EXPERIMENTAL SIMULATIONS; FIXED-TIME CONSTRAINTS; GRID WORKFLOW; GRID WORKFLOW SYSTEMS; GRID WORKFLOWS; MONITOR AND CONTROL; NEW STRATEGY; TEMPORAL CORRECTNESS; TEMPORAL DEPENDENCY; TEMPORAL VERIFICATION; TIME CONSTRAINTS;

EID: 57349107131     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1368088.1368108     Document Type: Conference Paper

References (41)

1. Aalst, W.M.P. van der, Hofstede, A.H.M. ter, Kiepuszewski, B., and Barros, A.P. 2003. Workflow Patterns. Distributed and Parallel Databases, 14, 1 (2003), 5-51.
2. Abramson, A., Kommineni, J., McGregor, J.L., and Katzfey, J. 2005. An Atmospheric Sciences Workflow and its Implementation with Web Services. Future Generation Computer Systems, 21, 1 (2005), 69-78.
3. Al-Ali, R., Amin, K., Laszewski, G.V., Rana, O., Walker, D., Hategan, M., and Zaluzec, N. 2004. Analysis and Provision of QoS for Distributed Grid Applications. Journal of Grid Computing, 2, 2 (2004), 163-182.
4. Aloisio, G., Cafaro, M., Carteni, G., Epicoco, I., Quarta, G., Raolil, A. 2005. Grid Flow for Earth Observation Data Processing. In Proceedings of the 2005 International Conference on Grid Computing and Applications (Las Vegas, Nevada, USA, June 2005). GCA 2005. IEEE CS Press, 168-176.
5. Brandic, I, Pllana, S., Benkner, S. 2006. An Approach for the High-level Specification of QoS-aware Grid Workflows Considering Location Affinity. Scientific Programming Journal, 14, 3-4 (2006), 231-250.
6. Brandic, I., Pllana, S., Benkner, S. 2007. Specification, Planning, and Execution of QoS-aware Grid Workflows within the Amadeus Environment. Concurrency and Computation: Practice and Experience, 2007, in press.
7. Buyya, R., Abramson, D., and Venugopal, S. 2005. The Grid Economy. Proceedings of The IEEE, 93, 3 (2005), 698-714.
8. Cao, J., Jarvis, S. A., Saini, S., and Nudd, G. R. 2003. GridFlow: Workflow Management for Grid Computing. In Proceedings of the 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid (Tokyo, May 2003). CCGrid2003. IEEE CS Press, 198-205.
9. Cybok, D. 2006. A Grid Workflow Infrastructure. Concurrency and Computation: Practice and Experience, Special Issue on Workflow in Grid Systems, 18, 10 (2006), 1243-1254.
10. 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 (Busan, Korea, Nov./ Dec. 2004). APSEC2004. IEEE CS Press, 30-37.
11. Chen, J., and Yang, Y. 2006. Activity Completion Duration based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Grid Workflow Systems. International Journal of High Performance Computing Applications, Sage, 2006, in press.
12. Chen, J., and Yang, Y. 2007. Multiple States based Temporal Consistency for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems. Concurrency and Computation: Practice and Experience, 19, 7 (2007), 965-982.
13. Chen, J., and Yang, Y. 2005. 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 (Taipei, Taiwan, Dec. 2005). APSEC2005. IEEE CS Press, 299-306.
14. Chen, J., and Yang, Y. 2007. Adaptive Selection of Necessary and Sufficient Checkpoints for Dynamic Verification of Temporal Constraints in Grid Workflow Systems. ACM Transactions on Autonomous and Adaptive Systems, 2, 2 (June 2007), Article 6.
15. Chen, L., Wassermann, B., Emmerich, W., and Foster, H. 2006. Web Service Orchestrations with BPEL. In Proceedings of the 28th International Conference on Software Engineering (Shanghai, China, May 2006). ICSE2006. ACM Press, 2006, 1071-1072.
16. Chinn, S., and Madey, G. 2000. Temporal Representation and Reasoning for Workflow in Engineering Design Change Review. IEEE Transactions on Engineering Management, 47, 4 (2000), 485-492.
17. CROWN Team. 2007. CROWN portal, http://www.crown.org.cn/en/, accessed on Sept. 10, 2007.
18. Deelman, E., Blythe, J., Gil, Y., Kesselman, C., Mehta, G., and Vahi, K. 2003. Mapping Abstract Complex Workflows onto Grid Environments. Journal of Grid Computing, 1, 1 (2003), 9-23.
19. 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 (Heidelberg, Germany, June 1999). CAiSE'99. Springer Verlag, LNCS 1626, 286-300.
20. Emmerich, W., Butchart, B., Chen, L., Wassermann, B., and Price, S.L. 2005. Grid Service Orchestration using the Business Process Execution Language (BPEL). Journal of Grid Computing, 3, 3-4 (2005), 283-304.
21. 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 (Rrakow, Poland, June 2004). ICCS2004. Springer Verlag, LNCS 3038, 42-49.
22. 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 (Edinburgh, Scotland, July 2002). GGF5.
23. Fox, G.C., and Gannon, D. 2006. Workflow in Grid Systems. Concurrency and Computation: Practice and Experience, 18, 10 (2006), 1009-1019.
24. myGrid experiences. In Proceedings of the 12th Global Grid Forum Workshop (Brussels, Belgium, Sept. 2004). GGF12.
25. Gomes, C., Rana, O., and Cunha, J. 2007. Extending Grid-based Workflow Tools with Patterns/Operators. International Journal of High Performance Computing Applications, 2007, in press.
26. Hagen, C., and Alonso, G. 2000. Exception Handling in Workflow Management Systems. IEEE Transactions on Software Engineering, 26, 10 (2000), 943-958.
27. Laszewski, G.V., Amin, K., Hategan, M., Zaluzec, N.J., Hampton, S., and Rossi, A. 2004. GridAnt: A Client-Controllable Grid Workflow System. In Proceedings of the 37th Hawaii International Conference on System Sciences (Hawaii, USA, January 2004). HICSS'04. 210-219.
28. Li, H., Yang, Y., and Chen, T.Y. 2004. Resource Constraints Analysis of Workflow Specifications. The Journal of Systems and Software, 73, 2 (2004), 271-285.
29. Li, J., Fan, Y., and Zhou, M. 2003. Timing Constraint Workflow Nets for Workflow Analysis. IEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans, 33, 2(2003), 179-193.
30. 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. Concurrency and Computation: Practice and Experience, 18, 10(2006), 1039-1065.
31. Marinescu, D. 2002. A Grid Workflow Management Architecture. Global Grid Forum White Paper, Aug. 2002, http://www-unix.gridforum.org/mail-archive/gcewg/ 2002/ Archive/pdf00003.pdf, accessed on Sept. 10, 2007.
32. Marjanovic, O., and Orlowska, M. E. 1999. On Modeling and Verification of Temporal Constraints in Production Workflows. Knowledge and Information Systems, 1, 2 (1999), 157-192.
33. 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., Wroe, C. 2006. Taverna: Lessons in Creating a Workflow Environment for the Life Sciences. Concurrency and Computation: Practice and Experience, 18, 10 (2006), 1067-1100.
34. Sadiq, W., and Orlowska, M.E. 2000. Analysing Process Models using Graph Reduction Techniques. Information Systems, 25, 2 (2000), 117-134.
35. 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. Gene Grid: A Practical Workflow Implementation for a Grid Based Virtual Bioinformatics Laboratory. In Proceedings of the UK e-Science All Hands Meeting 2004 (UK, Sept. 2004). AHM2004. 547-554.
36. Son, J. H., and Kim, M. H. 2001. Improving the Performance of Time-constrained Workflow Processing. The Journal of Systems and Software, 58, 3 (2001), 211-219.
37. Taylor, I., Shields, M., Wang, I., and Harrison, A. 2005. Visual Grid Workflow in Triana. Journal of Grid Computing, 3, 3-4 (2005), 153-169.
38. Yan, J., Yang, Y., and Raikundalia, G.K. 2006. SwinDeW - A Peer-to-Peer based Decentralized Workflow Management System. IEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans, IEEE Transactions on Systems, Man and Cybernetics - Part A, 36, 5 (2006), 922-935.
39. Yang, Y., Liu, K., Chen, J., Lignier, J., and Jin, H. 2007. Peer-to-Peer Based Grid Workflow Runtime Environment of SwinDeW-G, In Proceedings of the 3rd International Conference on e-Science and Grid Computing (Bangalore, India, Dec. 2007). e-Science07. 51-58.
40. Yu, J., and Buyya, R. 2005. A Taxonomy of Workflow Management Systems for Grid Computing. Journal of Grid Computing, 3, 3 (2005), 171-200.
41. Zhuge, H., Cheung, T., and Pung, H. 2001. A Timed Workflow Process Model. The Journal of Systems and Software, 55, 3 (2001), 231-243.