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.
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;
Conference_Titel :
Grid and Cooperative Computing Workshops, 2006. GCCW '06. Fifth International Conference on
Conference_Location :
Hunan
Print_ISBN :
0-7695-2695-0
DOI :
10.1109/GCCW.2006.24