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

Search Swinburne Research Bank

Journal article | Chen, Jinjun | Yang, Yun

Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.3/60512

Check Swinburne's subscriptions for full text availability

Title: Temporal dependency based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systems
Author(s): Chen, Jinjun; Yang, Yun
Abstract: In a scientific workflow system, a checkpoint selection strategy is used to select checkpoints along scientific workflow execution for verifying temporal constraints so that we can identify any temporal violations and handle them in time in order to ensure overall temporal correctness of the execution that is often essential for the usefulness of execution results. The problem of existing representative strategies is that they do not differentiate temporal constraints as, once a checkpoint is selected, they verify all temporal constraints. However, such a checkpoint does not need to be taken for those constraints whose consistency can be deduced from others. The corresponding verification of such constraints is consequently unnecessary and can severely impact overall temporal verification efficiency while the efficiency determines whether temporal violations can be identified quickly for handling in time. To address the problem, in this article, we develop a new temporal-dependency based checkpoint selection strategy which can select checkpoints in accordance with different temporal constraints. With our strategy, the corresponding unnecessary verification can be avoided. The comparison and experimental simulation further demonstrate that our new strategy can improve the efficiency of overall temporal verification significantly over the existing representative strategies.
Publication type: Journal article
Research centre: Swinburne University of Technology. Faculty of Information and Communication Technologies. Centre for Complex Software Systems and Services
Source: ACM Transactions on Software Engineering and Methodology, Vol. 20. no. 3 (Aug 2011), article no. 9
Publication year: 2011
Keyword(s): Checkpoint algorithms; Climate modelling; Scientific workflow systems; Software engineering; Weather forecasting
Publisher: ACM
ISSN: 1049-331X
Publisher URL: http://dx.doi.org/10.1145/2000791.2000793
Peer reviewed