Flexible Temporal Consistency for Fixed-Time Constraint Verification in Grid Workflow Systems
To verify fixed-time constraints in grid workflow systems, the consistency and inconsistency conditions have been defined in the conventional work. However, in this paper, we argue that although the conventional consistency condition is reasonable, the conventional inconsistency condition is too rigorous and covers several different situations. These situations which are handled conventionally by the same exception handling should be handled differently for cost saving. Therefore, we divide the conventional inconsistency into weak consistency,weak inconsistency and strong inconsistency and treat the conventional consistency as strong consistency. Correspondingly, we discuss how to verify them. Especially, for the weak consistency, we present a method on how to adjust it to the strong consistency. For the weak inconsistency, we analyse why it can be handled by simpler and more economical exception handling. The final comparison and discussion further demonstrate that our research can achieve better cost effectiveness than the conventional work.
Unable to display preview. Download preview PDF.
- 2.Cao, J., Jarvis, S.A., Saini, S., Nudd, G.R.: GridFlow: Workflow Management for Grid Computing. In: Proc. of the 3rd IEEE/ACM International Symposium on Cluster Comput-ing and the Grid (CCGrid 2003), Tokyo, May 2003, pp. 198–205 (2003)Google Scholar
- 3.Cybok, D.: A Grid Workflow Infrastructure. In: Proc. of Workflow in Grid Systems Work-shop in GGF10, Berlin, Germany (March 2004)Google Scholar
- 7.Chen, J., Yang, Y.: An Activity Completion Duration based Checkpoint Selection Strat-egy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems. In: Proc. of the 2nd International Conference on Grid Service Engineering and Management, LNI. Springer, Heidelberg; (to appear) (accepted on June 8, 2005)Google Scholar
- 12.Foster, I., Kesselman, C., Nick, J., Tuecke, S.: The Physiology of the Grid: An Open Grid Services Architecture for Distributed Systems Integration. In: Proc. of the 5th Global Grid Forum Workshop (GGF5), Edinburgh, Scotland (July 2002)Google Scholar
- 16.Krishnan, S., Wagstrom, P., Laszewski, G.V.: GSFL: A Workflow Framework for Grid Services. Technical Report, Argonne National Laboratory, Argonne, U.S.A (2002)Google Scholar
- 17.Liu, Z.: Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach. IEEE Transactions on Software Engineering 11(24), 1014–1030 (1998)Google Scholar
- 18.Marjanovic, O., Orlowska, M.E.: On Modeling and Verification of Temporal Constraints in Production Workflows. Knowledge and Information Systems 1(2), 157–192 (1999)Google Scholar
- 19.Simpson, D.R., Kelly, N., Jithesh, P.V., Donachy, P., Harmer, T.J., Perrott, R.H., Johnston, J., Kerr, P., McCurley, M., McKee, S.: GeneGrid: A Practical Workflow Implementation for a Grid Based Virtual Bioinformatics Laboratory. In: Proc. of the UK e-Science All Hands Meeting 2004 (AHM 2004), September 2004, pp. 547–554 (2004)Google Scholar