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
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
GridFlow: Workflow Management for Grid Computing
CCGRID '03 Proceedings of the 3st International Symposium on Cluster Computing and the Grid
GridAnt: A Client-Controllable Grid Work.ow System
HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 7 - Volume 7
Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems
APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
Resource constraints analysis of workflow specifications
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
An Atmospheric Sciences Workflow and its implementation with Web services
Future Generation Computer Systems
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
Web service orchestration with BPEL
Proceedings of the 28th international conference on Software engineering
Special Issue: Workflow in Grid Systems: Editorials
Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
Taverna: lessons in creating a workflow environment for the life sciences: Research Articles
Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
A Grid workflow infrastructure: 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
Concurrency and Computation: Practice & Experience - Autonomous Grid Computing
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Peer-to-Peer Based Grid Workflow Runtime Environment of SwinDeW-G
E-SCIENCE '07 Proceedings of the Third IEEE International Conference on e-Science and Grid Computing
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)
Scientific Programming - Scientific Workflows
Extending Grid-Based Workflow Tools With Patterns/Operators
International Journal of High Performance Computing Applications
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
A Probabilistic Strategy for Setting Temporal Constraints in Scientific Workflows
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Achieving On-Time Delivery: A Two-Stage Probabilistic Scheduling Strategy for Software Projects
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
CCGRID '10 Proceedings of the 2010 10th IEEE/ACM International Conference on Cluster, Cloud and Grid Computing
Journal of Systems and Software
A workflow framework for intelligent service composition
Future Generation Computer Systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 2013 International Conference on Software Engineering
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 grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time constraints are often assigned to a grid workflow and then verified. A checkpoint selection strategy is used to select checkpoints along grid workflow execution for verifying fixed-time constraints. The problem of existing representative strategies is that they do not differentiate fixed-time constraints as once a checkpoint is selected, they verify all fixed-time constraints. However, these checkpoints do 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 the efficiency of overall temporal verification. To address the problem, in this paper, we develop a new temporal dependency based checkpoint selection strategy which can select checkpoints according to different fixed-time 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.