A taxonomy of grid workflow verification and validation

Authors:
Jinjun Chen;Yun Yang
Affiliations:
Centre for Information Technology Research, Faculty of Information and Communication Technologies, Swinburne University of Technology, P.O. Box 218, Hawthorn, Melbourne, Vic. 3122, Australia;Centre for Information Technology Research, Faculty of Information and Communication Technologies, Swinburne University of Technology, P.O. Box 218, Hawthorn, Melbourne, Vic. 3122, Australia
Venue:
Concurrency and Computation: Practice & Experience - First International Workshop on Workflow Systems in Grid Environments (WSGE2006)
Year:
2008

Citing 0
Cited 9

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
Towards a Framework for Workflow Composition in Ontology Tailoring in Semantic Grid

ICCSA '09 Proceedings of the International Conference on Computational Science and Its Applications: Part II
Verification of Composite Services with Temporal Consistency Checking and Temporal Satisfaction Estimation

WISE '09 Proceedings of the 10th International Conference on Web Information Systems Engineering
Information flow analysis of scientific workflows

Journal of Computer and System Sciences
A novel statistical time-series pattern based interval forecasting strategy for activity durations in workflow systems

Journal of Systems and Software
A novel general framework for automatic and cost-effective handling of recoverable temporal violations in scientific workflow systems

Journal of Systems and Software
Formal verification of temporal properties for reduced overhead in formal verification of temporal properties for reduced overhead in grid scientific workflows

Journal of Computer Science and Technology - Special issue on Natural Language Processing
Do we need to handle every temporal violation in scientific workflow systems?

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In a grid architecture, a grid workflow management system is a type of high-level grid middleware which is supposed to support modelling, redesign and execution of large-scale sophisticated scientific and business processes in many complex e-science and e-business applications. To ensure the correctness of grid workflow specification and execution, grid workflow verification and validation must be conducted. However, current research on grid workflow verification and validation is at the infancy stage and very few projects focus on them. Therefore, a systematic investigation and an overall classification of key issues in grid workflow verification and validation is helpful and should be presented so that we can keep on the right track and reduce unnecessary work as much as possible. As such, in this paper, we analyse the grid workflow verification and validation and present a taxonomy. Especially, we identify some important open points which are not discussed by the current research and hence need further investigation. The taxonomy is aimed at providing an overall picture of grid workflow verification and validation. Copyright © 2007 John Wiley & Sons, Ltd.