Multiple Temporal Consistency States for Dynamical Verification of Upper Bound Constraints in Grid Workflow Systems

Authors:
Jinjun Chen;Yun Yang
Affiliations:
Swinburne University of Technology;Swinburne University of Technology
Venue:
E-SCIENCE '05 Proceedings of the First International Conference on e-Science and Grid Computing
Year:
2005

Citing 0
Cited 3

Key research issues in grid workflow verification and validation

ACSW Frontiers '06 Proceedings of the 2006 Australasian workshops on Grid computing and e-research - Volume 54
Adaptive selection of necessary and sufficient checkpoints for dynamic verification of temporal constraints in grid workflow systems

ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Temporal dependency-based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systems

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Conventional upper bound constraint verification in grid workflow systems is based on the key assumption that an upper bound constraint only has two states: consistency and inconsistency. However, due to complexity of grid workflows and dynamic availability of participating grid services, this assumption is too restrictive as there may be some intermediate states. Therefore, in this paper, we introduce four states for an upper bound constraint. Namely, we treat conventional consistency as strong consistency and divide conventional inconsistency into weak consistency, weak inconsistency and strong inconsistency. Correspondingly, we develop their verification methods. For weak consistency, we present some algorithms on how to adjust it to strong consistency without triggering exception handling as in conventional work. For weak inconsistency, we analyse why it can rely on less costly exception handling than conventional work. The final evaluation demonstrates that our four-state approach can achieve better cost-effectiveness than the conventional two-state approach.