Temporal dependency for dynamic verification of fixed-date constraints in grid workflow systems

  • Authors:

  • Jinjun Chen;Yun Yang

  • Affiliations:

  • CICEC – Centre for Internet Computing and E-Commerce, Faculty of Information and Communication Technologies, Swinburne University of Technology, Hawthorn, Melbourne, Australia;CICEC – Centre for Internet Computing and E-Commerce, Faculty of Information and Communication Technologies, Swinburne University of Technology, Hawthorn, Melbourne, Australia

  • Venue:
  • APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

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.