Issue No.06 - November/December (2011 vol.37)
Xiao Liu , Swinburne University of Technology, Melbourne
Yun Yang , Anhui University, Hefei and Swinburne University of Technology, Melbourne
Yuanchun Jiang , Hefei University of Technology, Hefei and University of Pittsburgh, Pittsburgh
Jinjun Chen , University of Technology, Sydney and Swinburne University of Technology, Melbourne
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSE.2010.99
Due to the dynamic nature of the underlying high-performance infrastructures for scientific workflows such as grid and cloud computing, failures of timely completion of important scientific activities, namely, temporal violations, often take place. Unlike conventional exception handling on functional failures, nonfunctional QoS failures such as temporal violations cannot be passively recovered. They need to be proactively prevented through dynamically monitoring and adjusting the temporal consistency states of scientific workflows at runtime. However, current research on workflow temporal verification mainly focuses on runtime monitoring, while the adjusting strategy for temporal consistency states, namely, temporal adjustment, has so far not been thoroughly investigated. For this issue, two fundamental problems of temporal adjustment, namely, where and how, are systematically analyzed and addressed in this paper. Specifically, a novel minimum probability time redundancy-based necessary and sufficient adjustment point selection strategy is proposed to address the problem of where and an innovative genetic-algorithm-based effective and efficient local rescheduling strategy is proposed to tackle the problem of how. The results of large-scale simulation experiments with generic workflows and specific real-world applications demonstrate that our temporal adjustment strategy can remarkably prevent the violations of both local and global temporal constraints in scientific workflows.
Workflow management, exception handling, reliability, software verification, statistical methods.
Xiao Liu, Yun Yang, Yuanchun Jiang, Jinjun Chen, "Preventing Temporal Violations in Scientific Workflows: Where and How", IEEE Transactions on Software Engineering, vol.37, no. 6, pp. 805-825, November/December 2011, doi:10.1109/TSE.2010.99