Sciweavers

ICSE
2008
IEEE-ACM

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

14 years 4 months ago
Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time constraints are often assigned to a grid workflow and then verified. A checkpoint selection strategy is used to select checkpoints along grid workflow execution for verifying fixed-time constraints. The problem of existing representative strategies is that they do not differentiate fixed-time constraints as once a checkpoint is selected, they verify all fixed-time constraints. However, these checkpoints do 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 the efficiency of overall temporal verification. To address the problem, in this paper, we develop a new temporal dependency based checkpoint selection strategy which can select checkpoints according to different fixed...
Jinjun Chen, Yun Yang
Added 17 Nov 2009
Updated 17 Nov 2009
Type Conference
Year 2008
Where ICSE
Authors Jinjun Chen, Yun Yang
Comments (0)