Title :
Global-Time-Offsets Based Checkpoint Selection for Dynamic Verification of Fixed-Time Constraints in Grid Workflows
Author :
Wang, Hongda ; Song, Wei ; Xing, Jianchun ; Yang, Qiliang
Author_Institution :
Eng. Inst. of Eng. Corps, Univ. of Sci. & Technol., Nanjing, China
Abstract :
In a grid workflows, fixed-time constraints are often set at some activities to guarantee that the corresponding activities and finally the overall workflow can be timely completed. At the run-time stage, activity completion durations can vary which may lead to the violations of some fixed-time constraints. Therefore, the workflow needs to be monitored at the run-time so that some temporal violations can be identified timely and consequently some exception handling actions can be taken in time. However, existing temporal verification strategies conduct some unnecessary computations and comparisons which impact the efficiency of overall temporal verification. To address this problem, we present a global-time-offsets based temporal verification approach. With our approach, the time cost for dynamic verification of the fixed-time constraints will be reduced. The experimental result further demonstrates that our approach is more efficient than others.
Keywords :
formal verification; grid computing; workflow management software; dynamic verification; exception handling actions; fixed-time constraints; global-time-offsets based checkpoint selection; grid workflows; temporal verification strategies; Arrays; Complexity theory; Meteorology; Optical wavelength conversion; Redundancy; Silicon; Time factors; Checkpoint selection; Fixed-time constraints; Global-Time-Offsets; Temporal dependency;
Conference_Titel :
Services Computing Conference (APSCC), 2011 IEEE Asia-Pacific
Conference_Location :
Jeju Island
Print_ISBN :
978-1-4673-0206-7
DOI :
10.1109/APSCC.2011.21