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
Link To Document