Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach
IEEE Transactions on Software Engineering
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
GridFlow: Workflow Management for Grid Computing
CCGRID '03 Proceedings of the 3st International Symposium on Cluster Computing and the Grid
Deriving Service Models in Cross-Organizational Workflows
RIDE '99 Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises
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
Flexible Support of Team Processes by Adaptive Workflow Systems
Distributed and Parallel Databases
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
JISGA: A Jini-Based Service-Oriented Grid Architecture
International Journal of High Performance Computing Applications
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
Cost-Based Scheduling of Scientific Workflow Application on Utility Grids
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
A Grid workflow infrastructure: Research Articles
Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
BPM'06 Proceedings of the 4th international conference on Business Process Management
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
Proceedings of the 30th international conference on Software engineering
A Probabilistic Strategy for Setting Temporal Constraints in Scientific Workflows
BPM '08 Proceedings of the 6th International Conference on Business Process Management
A policy-based authorization model for workflow-enabled dynamic process management
Journal of Network and Computer Applications
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
Localising temporal constraints in scientific workflows
Journal of Computer and System Sciences
User-centric, heuristic optimization of service composition in clouds
EuroPar'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part I
A method of workflow scheduling based on colored Petri nets
Data & Knowledge Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Conceptual modeling of flexible temporal workflows
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Report on the international symposium on high confidence software (ISHCS 2011/2012)
ACM SIGSOFT Software Engineering Notes
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, a checkpoint selection strategy is responsible for selecting checkpoints for conducting temporal verification at the runtime execution stage. Existing representative checkpoint selection strategies often select some unnecessary checkpoints and omit some necessary ones because they cannot adapt to the dynamics and uncertainty of runtime activity completion duration. In this article, based on the dynamics and uncertainty of runtime activity completion duration, we develop a novel checkpoint selection strategy that can adaptively select not only necessary, but also sufficient checkpoints. Specifically, we introduce a new concept of minimum time redundancy as a key reference parameter for checkpoint selection. An important feature of minimum time redundancy is that it can adapt to the dynamics and uncertainty of runtime activity completion duration. We develop a method on how to achieve minimum time redundancy dynamically along grid workflow execution and investigate its relationships with temporal consistency. Based on the method and the relationships, we present our strategy and rigorously prove its necessity and sufficiency. The simulation evaluation further demonstrates experimentally such necessity and sufficiency and its significant improvement on checkpoint selection over other representative strategies.