Xiao Liu PhD Thesis.pdf - Faculty of Information and Communication ...
Xiao Liu PhD Thesis.pdf - Faculty of Information and Communication ...
Xiao Liu PhD Thesis.pdf - Faculty of Information and Communication ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Temporal constraints are not well emphasised in traditional workflow systems.<br />
However, some business workflow systems accommodate temporal information for<br />
the purpose <strong>of</strong> performance analysis. For example, Staffware provides the audit trail<br />
tool to monitor the execution <strong>of</strong> individual instances [1] <strong>and</strong> SAP business workflow<br />
system employs the workload analysis [51]. As for the support <strong>of</strong> temporal<br />
constraints in scientific workflow systems, an overview on the support <strong>of</strong> temporal<br />
constraints in representative scientific workflow systems is conducted by us <strong>and</strong><br />
based on some <strong>of</strong> the work reported in [19, 98]. Since workflow modelling is highly<br />
related to the specification <strong>of</strong> temporal constraints, the overview also concerns with<br />
two aspects <strong>of</strong> the modelling language <strong>and</strong> the modelling tool (language-based,<br />
graph-based or both) in addition to the three aspects <strong>of</strong> whether they support the<br />
specification <strong>of</strong> temporal constraints (the specification <strong>of</strong> temporal constraints in<br />
workflow models), the management <strong>of</strong> temporal constraints (i.e. the setting <strong>and</strong><br />
updating <strong>of</strong> temporal constraints) <strong>and</strong> the temporal verification (the verification <strong>of</strong><br />
temporal constraints). As shown in Table 5.1, among the 10 representative scientific<br />
workflow projects (ASKALON [73], CROWN workflow component [74],<br />
DAGMan [29], GridBus [75], JOpera [76], Kepler [77], SwinDeW-G [95], Taverna<br />
[79], Triana [78] <strong>and</strong> UNICORE [80]), most projects use XML-like modelling<br />
language <strong>and</strong> support language-based or graph-based modelling tool. Therefore, in<br />
the modelling stage, a temporal constraint can either be inexplicitly specified as an<br />
element in the XML document or explicitly as a graphic component in the workflow<br />
template. As for the representation <strong>of</strong> temporal constraints, the management <strong>of</strong><br />
temporal constraints <strong>and</strong> the support <strong>of</strong> temporal verification which we are most<br />
concerned with, only some <strong>of</strong> the projects such as ASKALON, DAGMan, GridBus,<br />
JOpera, Kepler, Taverna <strong>and</strong> SwinDeW-G clearly stated in their published<br />
literatures that temporal constraints are supported in their system QoS control or<br />
performance analysis. Yet, to our best knowledge, only SwinDeW-G has set up a<br />
series <strong>of</strong> strategies such as the probabilistic strategy for temporal constraint<br />
management [54] <strong>and</strong> the efficient checkpoint selection strategy to support dynamic<br />
temporal verification [20]. In summary, even though temporal QoS has been<br />
recognised as an important aspect in scientific workflow systems, the work in this<br />
area, e.g. the specification <strong>of</strong> temporal constraints <strong>and</strong> the support <strong>of</strong> temporal<br />
verification, is still in its infancy [19].<br />
70