Selecting necessary and sufficient checkpoints for dynamic verification of fixed-time constraints in grid workflow systems

  • Authors:

  • Jinjun Chen;Yun Yang

  • Affiliations:

  • CITR – Centre for Information Technology Research, Faculty of Information and Communication Technologies, Swinburne University of Technology, Hawthorn, Melbourne, Australia;CITR – Centre for Information Technology Research, Faculty of Information and Communication Technologies, Swinburne University of Technology, Hawthorn, Melbourne, Australia

  • Venue:
  • BPM'06 Proceedings of the 4th international conference on Business Process Management
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

In grid workflow systems, existing representative checkpoint selection strategies, which are used to select checkpoints for verifying fixed-time constraints at run-time execution stage, often select some unnecessary checkpoints and ignore some necessary ones. Consequently, overall temporal verification efficiency and effectiveness can be severely impacted. In this paper, we propose a new strategy that selects only necessary and sufficient checkpoints dynamically along grid workflow execution. Specifically, we introduce a new concept of minimum time redundancy as a key reference value for checkpoint selection. We also investigate its relationships with fixed-time constraint consistency. Based on these relationships, we present our strategy which can improve overall temporal verification efficiency and effectiveness significantly.