Graphs and algorithms
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Verification problems in conceptual workflow specifications
Data & Knowledge Engineering - Special issue on ER '96
Dynamic Routing and Operational Controls in Workflow Management Systems
Management Science
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Verification of workflow task structures: A petri-net-based approach
Information Systems
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Workflow Automation: Overview and Research Issues
Information Systems Frontiers
Processes Driving the Networked Economy
IEEE Concurrency
Specifying and Reasoning about Workflows with Path Constraints
ICSC '99 Proceedings of the 5th International Computer Science Conference on Internet Applications
An Alternative Way to Analyze Workflow Graphs
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
A Formal Approach to Workflow Analysis
Information Systems Research
Research Commentary: Workflow Management Issues in e-Business
Information Systems Research
A Novel Graph Reduction Algorithm to Identify Structural Conflicts
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
Business process management: a survey
BPM'03 Proceedings of the 2003 international conference on Business process management
An integer programming based approach for verification and diagnosis of workflows
Data & Knowledge Engineering
An approach for implementation of RBAC models with context constraint to business process systems
ACOS'06 Proceedings of the 5th WSEAS international conference on Applied computer science
| Hi-index | 0.00 |
A critical challenge in workflow analysis and design is the verification of workflow models, considering commercial workflow systems merely provide a simulation tool for validating workflow models through trial and error. As a result, the current workflow technology does not guarantee that workflow models do not fail or will behave in a manner expected by the modeler. While a couple of verification methods have been reported in the recent literature, how to verify cyclic workflow models remains an open research question. In this paper, we propose a novel integrated approach of hierarchical decomposition and verification of cyclic workflows. This result is significant since it helps close the research gap that other known workflow verification methods fail to deal with cyclic workflow models.