Algebraic theory of processes
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
The specification and enforcement of authorization constraints in workflow management systems
ACM Transactions on Information and System Security (TISSEC) - Special issue on role-based access control
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
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Improving the performance of time-constrained workflow processing
Journal of Systems and Software
Authorization and Access Control of Application Data in Workflow Systems
Journal of Intelligent Information Systems - Special issue: A survey of research questions for intelligent information systems in education
Managing Workflow Authorization Constraints through Active Database Technology
Information Systems Frontiers
Distributed and Parallel Databases
Workflow Instance Scheduling with Project Management Tools
DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
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
Workflow Management: Models, Methods, and Systems
Workflow Management: Models, Methods, and Systems
Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems
APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
A Novel Architecture for Realizing Grid Workflow using Tuple Spaces
GRID '04 Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing
Resource constraints analysis of workflow specifications
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
The Anatomy of the Grid: Enabling Scalable Virtual Organizations
International Journal of High Performance Computing Applications
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
Dynamic checking of temporal constraints for concurrent workflows
Electronic Commerce Research and Applications
Temporal dependency for dynamic verification of fixed-date constraints in grid workflow systems
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
Flexible temporal consistency for fixed-time constraint verification in grid workflow systems
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
ePERT: extending PERT for workflow management systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Timing constraint workflow nets for workflow analysis
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Grid workflows specification and verification
WSEAS Transactions on Computers
Verification of grid workflows
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
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
Hi-index | 0.00 |
In the grid architecture, a grid workflow system is a type of high-level grid middleware which is supposed to support modelling, redesign and execution of large-scale sophisticated e-science and e-business processes in many complex scientific and business applications. To ensure the correctness of grid workflow specification and execution, grid workflow verification and validation must be conducted so that we can identify any violations and consequently take proper action to remove them in time. However, current research on the grid workflow verification and validation is just at the early stage and very few projects focus on them. Therefore, a systematic identification of key research issues in the grid workflow verification and validation field is no doubt helpful and should be presented so that we can be on the right track and reduce unnecessary work as far as possible. Hence, in this paper, we systematically analyse the grid workflow verification and validation and investigate their key research issues. Especially, we identify some important open research points which are not discussed by the current research and hence need further investigation. All these analyses form a big picture for the grid workflow verification and validation.