Check Swinburne's subscriptions for full text availabilitySearch Swinburne Research Bank
Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.3/196659
- Title
- Preventing temporal violations in scientific workflows: where and how
- Author(s)
- Liu, Xiao; Yang, Yun; Jiang, Yuanchun; Chen, Jinjun
- Abstract
- 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, non-functional 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 run time. However, current research on workflow temporal verification mainly focuses on run-time 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 analysed 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.
- Publication type
- Journal article
- Research centre
- Swinburne University of Technology. Faculty of Information and Communication Technologies
- Source
- IEEE Transactions on Software Engineering, Vol. 37, no. 6 (Nov-Dec 2011), pp. 805-825
- Publication year
- 2011
- FOR Code(s)
- 0803 Computer Software; 0806 Information Systems
- Keyword(s)
- Exception handling; Reliability; Software verification; Statistical methods; Workflow management
- Publisher
- IEEE
- ISSN
- 0098-5589
- Publisher URL
- http://dx.doi.org/10.1109/TSE.2010.99
- Copyright
- Copyright © 2011 IEEE.
- Peer reviewed
