• DocumentCode
    2916972
  • Title

    Assigning Local Fixed-time Constraints in Grid Workflow Systems

  • Author

    Chen, Jinjun ; Yang, Yun

  • Author_Institution
    Centre for Inf. Technol. Res., Swinburne Univ. of Technol., Melbourne, Vic.
  • fYear
    2006
  • fDate
    Oct. 2006
  • Firstpage
    227
  • Lastpage
    234
  • Abstract
    Many complex grid workflow processes often have only one global fixed-time constraint at the last activity. Since grid workflow execution normally lasts a long time, local control is very important to ensure the overall temporal correctness. With only one global fixed-time constraint, we cannot control grid workflow execution locally in terms of time. As a result, for any temporal violations, we must handle them globally with the consideration of all activities. This would impact the overall cost-effectiveness of grid workflow execution. Therefore, in this paper, we investigate how to assign local fixed-time constraints within the global one so that we can control grid workflow execution locally. Corresponding assigning and verification methods are developed. With local fixed-time constraints, we can achieve better cost-effectiveness
  • Keywords
    formal verification; grid computing; workflow management software; fixed-time constraint; grid workflow system; verification method; Australia; Communication system control; Communications technology; Grid computing; Information technology; Predictive models; Quality of service; Runtime; Time factors; Weather forecasting;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Grid and Cooperative Computing Workshops, 2006. GCCW '06. Fifth International Conference on
  • Conference_Location
    Hunan
  • Print_ISBN
    0-7695-2695-0
  • Type

    conf

  • DOI
    10.1109/GCCW.2006.24
  • Filename
    4031556