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
The MENTOR workbench for enterprise-wide workflow management
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
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*
Introduction to the Theory of Computation: Preliminary Edition
Introduction to the Theory of Computation: Preliminary Edition
Simulation Modeling and Analysis
Simulation Modeling and Analysis
Workflow Automation: Overview and Research Issues
Information Systems Frontiers
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
The representation, analysis and verification of business processes: a metagraph-based approach
Information Technology and Management
Formulating the Data-Flow Perspective for Business Process Management
Information Systems Research
Detection and prediction of errors in EPCs of the SAP reference model
Data & Knowledge Engineering
Process-oriented organisation modelling and analysis
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
Policy-Driven Process Mapping (PDPM): Discovering process models from business policies
Decision Support Systems
Qualitative analysis of workflow nets using linear logic: soundness verification
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
A prolog-based language for workflow programming
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
On Detecting Data Flow Errors in Workflows
Journal of Data and Information Quality (JDIQ)
Application of if-conversion to verification and optimization of workflows
Programming and Computing Software
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Expert Systems with Applications: An International Journal
Constraint-centric workflow change analytics
Decision Support Systems
Validation of agile workflows using simulation
LADS'10 Proceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems
An algorithm of automatic workflow optimization
Programming and Computing Software
Benefits of supplementing use case narratives with activity diagrams-An exploratory study
Journal of Systems and Software
A framework for transformation from conceptual to logical workflow models
Decision Support Systems
Verifying nested workflows with extra constraints
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Formal workflow design analytics using data flow modeling
Decision Support Systems
On verification of nested workflows with extra constraints: From theory to practice
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
The increasing complexity of business processes in the era of e-business has heightened the need for workflow verification tools. However, workflow verification remains an open and challenging research area. As an indication, most of commercial workflow management systems do not yet provide workflow designers with formal workflow verification tools. We propose a logic-based verification method that is based on a well-known formalism, i.e., propositional logic. Our logic-based workflow verification approach has distinct advantages such as its rigorous yet simplistic logical formalism and its ability to handle generic activity-based process models. In this paper, we present the theoretical framework for applying propositional logic to workflow verification and demonstrate that logic-based workflow verification is capable of detecting process anomalies in workflow models.