Abstract—Nowadays, most business processes are running in a parallel, distributed and time-constrained manner. How to guarantee their on-time completion is a challenging issue. In the past few years, temporal checkpoint selection which selects a subset of workflow activities for verification of temporal consistency has been proved to be very successful in monitoring single, complex and large size scientific workflows. An intuitive approach is to apply those strategies to individual business processes. However, in such a case, the total number of checkpoints will be enormous, namely the cost for system monitoring and exception handling could be excessive. To address such an issue, we propose a brand new idea which selects time points along t...
In grid workflow systems, a checkpoint selection strategy is responsible for selecting checkpoints f...
In grid workflow systems, to verify temporal constraints efficiently at the run-time execution stage...
International audienceThis work deals with scheduling and checkpointing strategies to execute scient...
Workflow temporal verification is conducted to guarantee on-time completion, which is one of the mos...
On-time completion is one of the most important QoS (Quality of Service) dimensions for business pro...
In a scientific workflow system, a checkpoint selection strategy is used to select checkpoints along...
On-time completion is an important temporal QoS (Quality of Service) dimension and one of the fundam...
Temporal verification is an important method to check the temporal correctness of workflow managemen...
Temporal verification is an important method to check the temporal correctness of workflow managemen...
In grid workflow systems, a checkpoint selection strategy is responsible for selecting checkpoints f...
Scientific workflows are data- and compute-intensive; thus, they may run for days or even weeks...
The massive scale of current and next-generation massively parallel processing (MPP) systems present...
International audienceThis article revisits checkpointing strategies when workflows composed of mult...
Scientific workflows are data- and compute-intensive; thus, they may run for days or even weeks on p...
The large scale of current and next-generation massively parallel processing (MPP) systems presents ...
In grid workflow systems, a checkpoint selection strategy is responsible for selecting checkpoints f...
In grid workflow systems, to verify temporal constraints efficiently at the run-time execution stage...
International audienceThis work deals with scheduling and checkpointing strategies to execute scient...
Workflow temporal verification is conducted to guarantee on-time completion, which is one of the mos...
On-time completion is one of the most important QoS (Quality of Service) dimensions for business pro...
In a scientific workflow system, a checkpoint selection strategy is used to select checkpoints along...
On-time completion is an important temporal QoS (Quality of Service) dimension and one of the fundam...
Temporal verification is an important method to check the temporal correctness of workflow managemen...
Temporal verification is an important method to check the temporal correctness of workflow managemen...
In grid workflow systems, a checkpoint selection strategy is responsible for selecting checkpoints f...
Scientific workflows are data- and compute-intensive; thus, they may run for days or even weeks...
The massive scale of current and next-generation massively parallel processing (MPP) systems present...
International audienceThis article revisits checkpointing strategies when workflows composed of mult...
Scientific workflows are data- and compute-intensive; thus, they may run for days or even weeks on p...
The large scale of current and next-generation massively parallel processing (MPP) systems presents ...
In grid workflow systems, a checkpoint selection strategy is responsible for selecting checkpoints f...
In grid workflow systems, to verify temporal constraints efficiently at the run-time execution stage...
International audienceThis work deals with scheduling and checkpointing strategies to execute scient...