Activity Completion Duration Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Grid Workflow Systems

In grid workflow systems, to verify temporal constraints efficiently at the run-time execution stage, some checkpoints are selected such that temporal verification need only be conducted at those checkpoints rather than at all activity points. However, existing typical checkpoint selection strategies may ignore some necessary checkpoints and select some unnecessary ones. This eventually impacts overall temporal verification effectiveness and efficiency. To improve such status, in this paper, we develop a new checkpoint selection strategy. Specifically, we first investigate the relationships between activity completion duration and the consistency of temporal constraints. Then, based on those relationships we present our new checkpoint selection strategy. Our new strategy can avoid the omission of necessary checkpoints and the selection of excess unnecessary checkpoints. Consequently, it can achieve better temporal verification effectiveness and efficiency than the existing typical checkpoint selection strategies. The final comparison and quantitative evaluation further demonstrate this result.

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

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

[3]  Gustavo Alonso,et al.  Exception Handling in Workflow Management Systems , 2000, IEEE Trans. Software Eng..

[4]  Gregory R. Madey,et al.  Temporal representation and reasoning for workflow in engineering design change review , 2000, IEEE Trans. Engineering Management.

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

[6]  Steven Tuecke,et al.  The Physiology of the Grid An Open Grid Services Architecture for Distributed Systems Integration , 2002 .

[7]  Gregor von Laszewski,et al.  GSFL: A Workflow Framework for Grid Services , 2002 .

[8]  Yan Huang.  JISGA: A Jini-Based Service-Oriented Grid Architecture , 2003, Int. J. High Perform. Comput. Appl..

[9]  Subhash Saini,et al.  GridFlow: workflow management for grid computing , 2003, CCGrid 2003. 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid, 2003. Proceedings..

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

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

[12]  Thomas Fahringer,et al.  A-GWL: Abstract Grid Workflow Language , 2004, International Conference on Computational Science.

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

[14]  Yun Yang,et al.  Resource constraints analysis of workflow specifications , 2004, J. Syst. Softw..

[15]  Jinjun Chen,et al.  Temporal Dependency for Dynamic Verification of Temporal Constraints in Workflow Systems , 2004, GCC.

[16]  Kaizar Amin,et al.  Analysis and Provision of QoS for Distributed Grid Applications , 2004, Journal of Grid Computing.

[17]  Kaizar Amin,et al.  GridAnt: a client-controllable grid workflow system , 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

[18]  Peter Dadam,et al.  On Dealing with Structural Conflicts between Process Type and Instance Changes , 2004, Business Process Management.

[19]  Rajkumar Buyya,et al.  Cost-based scheduling of scientific workflow applications on utility grids , 2005, First International Conference on e-Science and Grid Computing (e-Science'05).

[20]  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.

[21]  Ivona Brandic,et al.  Towards Quality of Service Support for Grid Workflows , 2005, EGC.

[22]  Jinjun Chen,et al.  Temporal Dependency for Dynamic Verification of Fixed-Date Constraints in Grid Workflow Systems , 2005, APWeb.

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

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

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

[26]  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..

[27]  Maria E. Orlowska,et al.  On Modeling and Verification of Temporal Constraints in Production Workflows , 1999, Knowledge and Information Systems.