Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems

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.

[1]  Ronald H. Perrott,et al.  GeneGrid: A Practical Workflow Implementation for a Grid Based Virtual Bioinformatics Laboratory , 2004 .

[2]  Zsolt Németh,et al.  Characterizing Grids: Attributes, Definitions, and Formalisms , 2003, Journal of Grid Computing.

[3]  David Abramson,et al.  The Grid Economy , 2005, Proceedings of the IEEE.

[4]  Johann Eder,et al.  Time Constraints in Workflow Systems , 1999, CAiSE.

[5]  Dieter Cybok.  A Grid workflow infrastructure: Research Articles , 2006 .

[6]  Adam Arbree,et al.  Mapping Abstract Complex Workflows onto Grid Environments , 2003, Journal of Grid Computing.

[7]  Stephen Gilmore,et al.  Evaluating the Performance of Skeleton-Based High Level Parallel Programs , 2004, International Conference on Computational Science.

[8]  Dieter Cybok,et al.  A Grid workflow infrastructure , 2006, Concurr. Comput. Pract. Exp..

[9]  Hai Zhuge,et al.  A timed workflow process model , 2001, J. Syst. Softw..

[10]  Jinjun Chen,et al.  Multiple states based temporal consistency for dynamic verification of fixed‐time constraints in Grid workflow systems , 2007, Concurr. Comput. Pract. Exp..

[11]  Wil M. P. van der Aalst,et al.  Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques , 2000, Business Process Management.

[12]  Jinjun Chen,et al.  A minimum proportional time redundancy based checkpoint selection strategy for dynamic verification of fixed-time constraints in grid workflow systems , 2005, 12th Asia-Pacific Software Engineering Conference (APSEC'05).

[13]  Christoph Bussler,et al.  Workflow instance scheduling with project management tools , 1998, Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130).

[14]  Jinjun Chen,et al.  1 Necessary and Sufficient Checkpoint Selection in Grid Workflow Systems , 2006 .

[15]  David Abramson,et al.  An Atmospheric Sciences Workflow and Its Implementation with Web Services , 2004, International Conference on Computational Science.

[16]  Jinjun Chen,et al.  Dynamic verification of temporal constraints on-the-fly for workflow systems , 2004, 11th Asia-Pacific Software Engineering Conference.

[17]  Jinjun Chen,et al.  An Activity Completion Duration based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems , 2005, NODe/GSEM.