Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abramson, D., Kommineni, J., McGregor, J.L., Katzfey, J.: An Atmospheric Sciences Workflow and its Implementation with Web Services. In: Bubak, M., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2004. LNCS, vol. 3036, pp. 164–173. Springer, Heidelberg (2004)
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)
Cybok, D.: A Grid Workflow Infrastructure. In: Proc. of Workflow in Grid Systems Work-shop in GGF10, Berlin, Germany (March 2004)
Chen, J., Yang, Y.: Temporal Dependency for Dynamic Verification of Temporal Con-straints in Workflow Systems. In: Jin, H., Pan, Y., Xiao, N., Sun, J. (eds.) GCC 2004. LNCS, vol. 3251, pp. 1005–1008. Springer, Heidelberg (2004)
Chen, J., Yang, Y., Chen, T.Y.: Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems. In: Proc. of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), Busan, Korea, November/December 2004, pp. 30–37. IEEE CS Press, Los Alamitos (2004)
Chen, J., Yang, Y.: Temporal Dependency for Dynamic Verification of Fixed-date Con-straints in Grid Workflow Systems. In: Zhang, Y., Tanaka, K., Yu, J.X., Wang, S., Li, M. (eds.) APWeb 2005. LNCS, vol. 3399, pp. 820–831. Springer, Heidelberg (2005)
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)
Chinn, S., Madey, G.: Temporal Representation and Reasoning for Workflow in Engi-neering Design Change Review. IEEE Transactions on Engineering Management 47(4), 485–492 (2000)
Deelman, E., Blythe, J., Gil, Y., Kesselman, C., Mehta, G., Vahi, K.: Mapping Abstract Com-plex Workflows onto Grid Environments. Journal of Grid Computing 1(1), 9–23 (2003)
Eder, J., Panagos, E., Rabinovich, M.: Time Constraints in Workflow Systems. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol. 1626, pp. 286–300. Springer, Heidelberg (1999)
Fahringer, T., Pllana, S., Villazon, A.: A-GWL: Abstract Grid Workflow Language. In: Bubak, M., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2004. LNCS, vol. 3038, pp. 42–49. Springer, Heidelberg (2004)
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)
Ha, B., Bae, J., Kang, S.: Workload Balancing on Agents for Business Process Efficiency Based on Stochastic Model. In: Desel, J., Pernici, B., Weske, M. (eds.) BPM 2004. LNCS, vol. 3080, pp. 195–210. Springer, Heidelberg (2004)
Hagen, C., Alonso, G.: Exception Handling in Workflow Management Systems. IEEE Transactions on Software Engineering 26(10), 943–958 (2000)
Huang, Y.: JISGA: A JINI-BASED Service-Oriented Grid Architecture. The International Journal of High Performance Computing Applications 17(3), 317–327 (2003)
Krishnan, S., Wagstrom, P., Laszewski, G.V.: GSFL: A Workflow Framework for Grid Services. Technical Report, Argonne National Laboratory, Argonne, U.S.A (2002)
Liu, Z.: Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach. IEEE Transactions on Software Engineering 11(24), 1014–1030 (1998)
Marjanovic, O., Orlowska, M.E.: On Modeling and Verification of Temporal Constraints in Production Workflows. Knowledge and Information Systems 1(2), 157–192 (1999)
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)
Zhuge, H., Cheung, T., Pung, H.: A Timed Workflow Process Model. The Journal of Sys-tems and Software 55(3), 231–243 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, J., Yang, Y. (2005). Flexible Temporal Consistency for Fixed-Time Constraint Verification in Grid Workflow Systems. In: Zhuge, H., Fox, G.C. (eds) Grid and Cooperative Computing - GCC 2005. GCC 2005. Lecture Notes in Computer Science, vol 3795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11590354_41
Download citation
DOI: https://doi.org/10.1007/11590354_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30510-1
Online ISBN: 978-3-540-32277-1
eBook Packages: Computer ScienceComputer Science (R0)