Skip to main content
Springer Nature Link
Log in

Temporal Dependency for Dynamic Verification of Fixed-Date Constraints in Grid Workflow Systems

  • Conference paper
Web Technologies Research and Development - APWeb 2005 (APWeb 2005)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3399))

Included in the following conference series:

  • 569 Accesses

Abstract

Grid workflow systems aim to support large-scale complex e-science and e-business processes. Due to the complexity of these kinds of processes, to control the execution of them in terms of time in the grid workflow execution environments, multiple fixed-date temporal constraints often need to be set simultaneously. Hence the dependency problem between them must be considered and emphasised, which affects the verification effectiveness and efficiency of the fixed-date temporal constraints. However, current relevant workflow verification works do not take into consideration this dependency. Therefore, in this paper, we explore it in depth and analyse its impact on the verification of the fixed-date temporal constraints. Furthermore, based on the temporal dependency, we develop some new temporal verification methods and algorithms. The comparison and evaluation show that these new methods and algorithms make the verification more effective and efficient. All these analyses, new methods and algorithms further strengthen the grid workflow time management.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Adam, N., Atluri, V., Huang, W.: Modeling and Analysis of Workflows Using Petri Nets. Journal of Intelligent Information Systems, Special Issue on Workflow and Process Management 10(2), 131–158 (1998)

    Google Scholar 

  2. Amin, K., von Laszewski, G., Hategan, M., Zaluzec, N.J., Hampton, S., Rossi, A.: GridAnt: A Client-controllable Grid Workflow. In: Proc. of the 37th Annual Hawaii International Conference on System Sciences (HICSS 2004), Hawaii, January 2004, pp. 210–219 (2004)

    Google Scholar 

  3. Cybok, D.: A Grid Workflow Infrastructure. In: Proc. of Workflow in Grid Systems Workshop in GGF10, 2, Berlin, Germany, March 2004 (2004)

    Google Scholar 

  4. Chen, J., Yang, Y.: Temporal dependency for dynamic verification of temporal constraints in workflow systems. In: Jin, H., Pan, Y., Xiao, N., Sun, J. (eds.) GCC 2004. LNCS, vol. 3251, pp. 1005–1008. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  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, pp. 30–37. IEEE CS Press, Los Alamitos (2004)

    Chapter  Google Scholar 

  6. Chinn, S., Madey, G.: Temporal Representation and Reasoning for Workflow in Engineering Design Change Review. IEEE Transactions on Engineering Management 47(4), 485–492 (2000)

    Article  Google Scholar 

  7. 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)

    Chapter  Google Scholar 

  8. Eder, J., Pichler, H., Gruber, W., Ninaus, M.: Personal schedules for workflow systems. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 216–231. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  9. Foster, I., Kesselman, C., Tuecke, S.: The Anatomy of the Grid: Enabling Scalable Virtual Organizations. International Journal of Supercomputing Applications 15(3), 200–222 (2002)

    Article  Google Scholar 

  10. 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 (GGF 5), Edinburgh, Scotland (July 2002)

    Google Scholar 

  11. Huang, Y.: JISGA: A JINI-BASED Service-Oriented Grid Architecture. The International Journal of High Performance Computing Applications 17(3), 317–327 (2003)

    Article  Google Scholar 

  12. Krishnan, S., Wagstrom, P., von Laszewski, G.: GSFL: A Workflow Framework for Grid Services. In Technical Report Preprint ANL/MCS-P980-0802, Argonne National Laboratory, 9700S. Cass Avenue, Argonne, IL 60439, U.S.A (2002), Available online: http://www-unix.globus.org/cog/papers/gsfl-paper.pdf

  13. Li, H., Yang, Y., Chen, T.Y.: Resource Constraints Analysis of Workflow Specifications. The Journal of Systems and Software 73(2), 271–285 (2004)

    Article  Google Scholar 

  14. Li, H., Yang, Y.: Dynamic Checking of Temporal Constraints for Concurrent Workflows. Electronic Commerce Research and Applications, Elsevier (in press), Available online at Publisher’s Web Site: http://www.sciencedirect.com/science/journal/15674223

  15. 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 

  16. Marjanovic, O.: Dynamic Verification of Temporal Constraints in Production Workflows. In: Proc. of the Australian Database Conference, Canberra, Australia, pp. 74–81. IEEE Press, Los Alamitos (2000)

    Google Scholar 

  17. Panagos, E., Rabinovich, M.: Escalations in Workflow Management Systems. In: Proc. of the Workshop on Databases: active and real time, Rockville, Maryland, United States, pp. 25–28. ACM Press, New York (1996)

    Google Scholar 

  18. Panagos, E., Rabinovich, M.: Predictive Workflow Management. In: Proc. of the 3rd Workshop on the Next Generation Information Technology and Systems (NGITS 1997), Neve Ilan, ISRAEL, June 1997, pp. 193–197 (1997)

    Google Scholar 

  19. Panagos, E., Rabinovich, M.: Reducing Escalation-related Costs in WFMSs. In: Dogac, A., et al. (eds.) NATO Advanced Study Institute on Workflow Management Systems and Interoperability. Springer, Istanbul (1997)

    Google Scholar 

  20. Pozewaunig, H., Eder, J., Liebhart, W.: ePERT: Extending PERT for Workflow Management Systems. In: Proc. of the 1st EastEuropean Symposium on Advances in Database and Information Systems (ADBIS 1997), St. Petersburg, Russia, September 1997, pp. 217–224 (1997)

    Google Scholar 

  21. Workflow Management Coalition. The Workflow Reference Model, TC00-1003 (January 1995), http://www.wfmc.org/

  22. Zaidi, A.: On Temporal Logic Programming Using Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans 29(3), 245–254 (1999)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CICEC – Centre for Internet Computing and E-Commerce, Faculty of Information and Communication Technologies, Swinburne University of Technology, PO Box 218, Hawthorn, Melbourne, 3122, Australia

    Jinjun Chen & Yun Yang

Authors
  1. Jinjun Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yun Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Victoria University, Australia

    Yanchun Zhang

  2. University of Kyoto, Japan

    Katsumi Tanaka

  3. Chinese University of Hong Kong, Hong Kong, China

    Jeffrey Xu Yu

  4. Key Laboratory of Data Engineering and Knowledge Engineering, Renmin University of China, MOE, 100872, Beijing, P.R. China

    Shan Wang

  5. Department of Computer Science and Engineering, Shanghai Jiatong University, 80 Dongcuan Road, 200240, Shanghai, China

    Minglu Li

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chen, J., Yang, Y. (2005). Temporal Dependency for Dynamic Verification of Fixed-Date Constraints in Grid Workflow Systems. In: Zhang, Y., Tanaka, K., Yu, J.X., Wang, S., Li, M. (eds) Web Technologies Research and Development - APWeb 2005. APWeb 2005. Lecture Notes in Computer Science, vol 3399. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31849-1_78

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-31849-1_78

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25207-8

  • Online ISBN: 978-3-540-31849-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics