Do we need to handle every temporal violation in scientific workflow systems?

ACM Transactions on Software Engineering and Methodology

Volumn 23, Issue 1, 2014, Pages

  Liu, Xiao ^a,b   Yang, Yun ^b,c   Yuan, Dong ^b   Chen, Jinjun ^d  

^a EAST CHINA NORMAL UNIVERSITY   (China)

^b SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

^c ANHUI UNIVERSITY   (China)

^d UNIVERSITY OF TECHNOLOGY SYDNEY   (Australia)

Author keywords

Quality of service; Scientific workflows; Temporal constraints; Temporal verification; Violation handling point selection

Indexed keywords

EID: 84894381581     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/2559938     Document Type: Article

References (43)

1. J. F. Allen. 1983. Maintaining knowledge about temporal intervals. Comm. ACM 26, 832-843.
2. P. A. Buhr and W. Y. R. Mok. 2000. Advanced exception handling mechanisms. IEEE Trans. Softw. Engin. 26, 820-836.
3. R. Buyya, C. S. Yeo, S. Venugopal, J. Broberg, and I. Brandic. 2009. Cloud computing and emerging it platforms: Vision, hype, and reality for delivering computing as the 5th utility. Future Gener. Comput. Syst. 25, 599-616.
4. J. Chen and Y. Yang. 2007a. Adaptive selection of necessary and sufficient checkpoints for dynamic verification of temporal constraints in grid workflow systems. ACM Trans. Auton. Adapt. Syst. 2, 6.
5. J. Chen and Y. Yang. 2007b.Multiple states based temporal consistency for dynamic verification of fixed-time constraints in grid workflow systems. Concur. Comput. Pract. Exper. 19, 965-982.
6. J. Chen and Y. Yang. 2008a. A taxonomy of grid workflow verification and validation. Concur. Comput. Pract. Exper. 20, 347-360.
7. J. Chen and Y. Yang. 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. 141-150.
8. J. Chen and Y. Yang. 2011. Temporal dependency based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systems. ACM Trans. Softw. Engin. Methodol. 20, 3.
9. T. Y. Chen and R. Merkel. 2008. An upper bound on software testing effectiveness. ACM Trans. Softw. Engin. Methodol. 17, 1-27.
10. S. J. Chinn and G. R. Madey. 2000. Temporal representation and reasoning for workflow in engineering design change review. IEEE Trans. Engin. Manag. 47, 485-492.
11. E. Deelman, D. Gannon, M. Shields, and I. Taylor. 2008. Workflows and e-science: An overview of workflow system features and capabilities. Future Gener. Comput. Syst. 25, 528-540.
12. J. Eder, E. Panagos, and M. Rabinovich. 1999. Time constraints in workflow systems. In Proceedings of the 11th International Conference on Advanced Information Systems Engineering. 286-300.
13. S. Ferretti, V. Ghini, F. Panzieri, M. Pellegrini, and E. Turrini. 2010. QoS-aware clouds. In Proceedings of the 3rd IEEE International Conference on Cloud Computing. 321-328.
14. C. Hagen and G. Alonso. 2000. Exception handling in workflow management systems. IEEE Trans. Softw. Engin. 26, 943-958.
15. K. Krauter, R. Buyya, and M. Maheswaran. 2002. A taxonomy, and survey of grid resource management systems for distributed computing. Softw. Pract. Exper. 32, 135-164.
16. A. M. Law and W. D. Kelton. 2007. Simulation Modelling and Analysis 4th Ed. McGraw-Hill.
17. B. S. Lerner, S. Christov, L. J. Osterweil, R. Bendraou, U. Kannengiesser, and A. Wise. 2010. Exception handling patterns for process modeling. IEEE Trans. Softw. Engin. 36, 162-183.
18. X. Liu, J. Chen, and Y. Yang. 2008. A probabilistic strategy for setting temporal constraints in scientific workflows. In Proceedings of the 6th International Conference on Business Process Management. 180-195.
19. X. Liu, J. Chen, Z.Wu, Z. Ni, D. Yuan, and Y. Yang. 2010a. Handling recoverable temporal violations in scientific workflow systems: A workflow rescheduling based strategy. In Proceedings of the 10th International Symposium on Cluster, Cloud and Grid Computing. 534-537.
20. X. Liu, D. Yuan, G. Zhang, J. Chen, and Y. Yang. 2010b. SwinDeW-C: A peer-to-peer based cloud workflow system. In Handbook of Cloud Computing, B. Furht and A. Escalante, Eds., Springer, 309-332.
21. X. Liu, Z. Ni, J. Chen, and Y. Yang. 2011a. A probabilistic strategy for temporal constraint management in scientific workflow systems. Concurrency Comput. Pract. Exper. 23, 1893-1919.
22. X. Liu, Z. Ni, Z. Wu, D. Yuan, J. Chen, and Y. Yang. 2011b. A novel general framework for automatic and cost-effective handling of recoverable temporal violations in scientific workflow systems. J. Syst. Softw. 84, 492-509.
23. X. Liu, Y. Yang, Y. Jiang, and J. Chen. 2011c. Preventing temporal violations in scientific workflows: Where and how. IEEE Trans. Softw. Engin. 37, 805-825.
24. X. Liu, D. Yuan, G. Zhang, W. Li, D. Cao, Q. He, J. Chen, and Y. Yang. 2012. The Design of Cloud Workflow Systems. Springer.
25. O. Marjanovic andM. E. Orlowska. 1999. On modelling and verification of temporal constraints in production workflows. Knowl. Inf. Syst. 1, 157-192.
26. PDSEC. 2009. Proceedings of the 10th IEEE InternationalWorkshop on Parallel and Distributed Scientific and Engineering Computing, in conjunction with the 23rd Parallel and Distributed Processing Symposium (IPDPS'09).
27. R. Prodan and T. Fahringer. 2008. Overhead analysis of scientific workflows in grid environments. IEEE Trans. Parallel Distrib. Syst. 19, 378-393.
28. N. Russell,W. M. P. V.D. Aalst, and A. H. M. T. Hofstede. 2006a. Exception handling patterns in process-aware information systems. http://www.workflowpatterns.com/documentation/documents/BPM-06-04.pdf.
29. N. Russell,W. M. P. V. D. Aalst, and A. H. M. T. Hofstede. 2006b.Workflow exception patterns. In Proceedings of the 18th International Conference on Advanced Information Systems Engineering (CAiSE'06). Springer, 288-302.
30. E. Schwalb and L. Vila. 1998. Temporal constraints: A survey. Constraints 3, 129-149.
31. SECES. 2008. Proceedings of the 1st International Workshop on Software Engineering for Computational Science and Engineering, in conjuction with the 30th International Conference on Software Engineering (ICSE'08).
32. I. Sommerville. 2009. Software Engineering 9th Ed. Pearson.
33. K. A. Stroud. 2007. Engineering Mathematics 6th Ed. Palgrave Macmillan, New York.
34. I. J. Taylor, E. Deelman, D. B. Gannon, and M. Shields. 2007. Workflows for e-Science: Scientific Workflows for Grids. Springer.
35. W. M. P van der Aalst and K. M. Hee. 2002. Workflow Management: Models, Methods, and Systems. The MIT Press, Cambridge, MA.
36. W. M. P. van der Aalst, K. M. Hee, and H. A. Reijers. 2000. Analysis of discrete-time stochastic petri nets. Statistica Neerlandica 54, 237-255.
37. L. Wang, W. Jie, and J. Chen. 2009. Grid Computing: Infrastructure, Service, and Applications. CRC Press, Talyor and Francis Group.
38. J. Xiao, L. Osterweil, Q. Wang, and M. Li. 2010. Dynamic resource scheduling in disruption-prone software development environments. In Proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering (FASE'10) held as part of the joint European Conferences on Theory and Practice of Software (ETAPS'10). 107-122.
39. Y. Yang, K. Liu, J. Chen, J. Lignier, and H. Jin. 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 (e-Science07). 51-58.
40. J. Yu and R. Buyya. 2005. A taxonomy of workflow management systems for grid computing. J. Grid Comput. 3, 3-4, 171-200.
41. J. Yu and R. Buyya. 2007. Workflow scheduling algorithms for grid computing computing and distributed systems laboratory. Tech. rep. GRIDS-TR-2007-10, The University of Melbourne, Australia.
42. Z. Yu and W. Shi. 2007. An adaptive rescheduling strategy for grid workflow applications. In Proceedings of the IEEE International Symposium on Parallel and Distributed Processing (IPDPS'07). 115-122.
43. H. Zhuge, T. Cheung, and H. Pung. 2001. A timed workflow process model. J. Syst. Softw. 55, 231-243.