Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Exception Handling in Workflow Management Systems
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Maintaining knowledge about temporal intervals
Communications of the ACM
A timed workflow process model
Journal of Systems and Software
Improving the performance of time-constrained workflow processing
Journal of Systems and Software
Distributed and Parallel Databases
Time Constraints in Workflow Systems
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems
APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
A taxonomy of scientific workflow systems for grid computing
ACM SIGMOD Record
E-SCIENCE '05 Proceedings of the First International Conference on e-Science and Grid Computing
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
Taverna: lessons in creating a workflow environment for the life sciences: Research Articles
Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
Scientific workflow management and the Kepler system: Research Articles
Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Integrating existing scientific workflow systems: the Kepler/Pegasus example
Proceedings of the 2nd workshop on Workflows in support of large-scale science
Overhead Analysis of Scientific Workflows in Grid Environments
IEEE Transactions on Parallel and Distributed Systems
Specification, planning, and execution of QoS-aware Grid workflows within the Amadeus environment
Concurrency and Computation: Practice & Experience - First International Workshop on Workflow Systems in Grid Environments (WSGE2006)
Proceedings of the 30th international conference on Software engineering
Data Management Challenges of Data-Intensive Scientific Workflows
CCGRID '08 Proceedings of the 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid
Scheduling of Scientific Workflows on Data Grids
CCGRID '08 Proceedings of the 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid
International Journal of High Performance Computing Applications
An Atmospheric Sciences Workflow and its implementation with Web Services
Future Generation Computer Systems
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Timing constraint workflow nets for workflow analysis
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
SwinDeW-a p2p-based decentralized workflow management system
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Efficiently supporting secure and reliable collaboration in scientific workflows
Journal of Computer and System Sciences
Information flow analysis of scientific workflows
Journal of Computer and System Sciences
A data dependency based strategy for intermediate data storage in scientific cloud workflow systems
Concurrency and Computation: Practice & Experience
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part III
Proceedings of the 2013 International Conference on Software Engineering
Report on the international symposium on high confidence software (ISHCS 2011/2012)
ACM SIGSOFT Software Engineering Notes
Managing large numbers of business processes with cloud workflow systems
AusPDC '12 Proceedings of the Tenth Australasian Symposium on Parallel and Distributed Computing - Volume 127
Do we need to handle every temporal violation in scientific workflow systems?
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
In a scientific workflow system, a checkpoint selection strategy is used to select checkpoints along scientific workflow execution for verifying temporal constraints so that we can identify any temporal violations and handle them in time in order to ensure overall temporal correctness of the execution that is often essential for the usefulness of execution results. The problem of existing representative strategies is that they do not differentiate temporal constraints as, once a checkpoint is selected, they verify all temporal constraints. However, such a checkpoint does not need to be taken for those constraints whose consistency can be deduced from others. The corresponding verification of such constraints is consequently unnecessary and can severely impact overall temporal verification efficiency while the efficiency determines whether temporal violations can be identified quickly for handling in time. To address the problem, in this article, we develop a new temporal-dependency based checkpoint selection strategy which can select checkpoints in accordance with different temporal constraints. With our strategy, the corresponding unnecessary verification can be avoided. The comparison and experimental simulation further demonstrate that our new strategy can improve the efficiency of overall temporal verification significantly over the existing representative strategies.