Flexible Temporal Consistency for Fixed-Time Constraint Verification in Grid Workflow Systems

  • Jinjun Chen
  • Yun Yang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3795)


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.

Unable to display preview. Download preview PDF.


  1. 1.
    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)CrossRefGoogle Scholar
  2. 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. 3.
    Cybok, D.: A Grid Workflow Infrastructure. In: Proc. of Workflow in Grid Systems Work-shop in GGF10, Berlin, Germany (March 2004)Google Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 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
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 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
  13. 13.
    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)CrossRefGoogle Scholar
  14. 14.
    Hagen, C., Alonso, G.: Exception Handling in Workflow Management Systems. IEEE Transactions on Software Engineering 26(10), 943–958 (2000)CrossRefGoogle Scholar
  15. 15.
    Huang, Y.: JISGA: A JINI-BASED Service-Oriented Grid Architecture. The International Journal of High Performance Computing Applications 17(3), 317–327 (2003)CrossRefGoogle Scholar
  16. 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. 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. 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. 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
  20. 20.
    Zhuge, H., Cheung, T., Pung, H.: A Timed Workflow Process Model. The Journal of Sys-tems and Software 55(3), 231–243 (2001)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Jinjun Chen
    • 1
  • Yun Yang
    • 1
  1. 1.CICEC – Centre for Internet Computing and E-Commerce, Faculty of Information and Communication TechnologiesSwinburne University of TechnologyHawthorn, MelbourneAustralia

Personalised recommendations