Heuristics: intelligent search strategies for computer problem solving
Heuristics: intelligent search strategies for computer problem solving
Principles of artificial intelligence
Principles of artificial intelligence
Communications of the ACM - Special issue on analysis and modeling in software development
Metagraphs: a tool for modeling decision support systems
Management Science
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Metagraphs in workflow support systems
Decision Support Systems - Special issue on decision support technologies for complex and open organizations
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Temporal Reasoning in Workflow Systems
Distributed and Parallel Databases
A Formal Approach to Workflow Analysis
Information Systems Research
Applying Propositional Logic to Workflow Verification
Information Technology and Management
Continuous business process management with holosofx bpm suite and ibm mqseries workflow
Continuous business process management with holosofx bpm suite and ibm mqseries workflow
An analysis and taxonomy of unstructured workflows
BPM'05 Proceedings of the 3rd international conference on Business Process Management
A framework for document-driven workflow systems
BPM'05 Proceedings of the 3rd international conference on Business Process Management
On Detecting Data Flow Errors in Workflows
Journal of Data and Information Quality (JDIQ)
An integer programming based approach for verification and diagnosis of workflows
Data & Knowledge Engineering
Hi-index | 0.00 |
Business processes can be modeled using a variety of schemes such as Petri Nets, Metagraphs and UML Activity Diagrams. When information analysis is as important an objective as the proper sequencing of tasks, the metagraph formalism is the most appropriate. In practice, however, metagraphs have not achieved wide popularity. Here we propose a modification of the original formulation that eliminates some of the inconveniences that have hindered the use of this technique. We represent a business process as a Task-Precedence Metagraph (TPMG), which is a type of AND/OR graph. A TPMG is similar to a metagraph but is visually clearer and more appealing, and the algorithmic procedures are graphical rather than algebraic. We first describe the proposed representation scheme for TPMGs and present a simple graph-search algorithm for the analysis of information flow. This can be readily extended to perform task analysis, resource analysis, and operational (i.e., semantic) verification. We then present a generalized graphical algorithm for structural (i.e., syntactic) verification that runs correctly not only on TPMGs containing directed cycles, but even on those that have overlapping patterns.