A first course in database systems
A first course in database systems
SAP R/3 business blueprint: understanding the business process reference model
SAP R/3 business blueprint: understanding the business process reference model
Evaluation of verification tools for knowledge-based systems
International Journal of Human-Computer Studies
Joint application design (JAD) in practice
Journal of Systems and Software
Supporting business process redesign using cognitive maps
Decision Support Systems
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Workflow Automation: Overview and Research Issues
Information Systems Frontiers
UML Activity Diagrams as a Workflow Specification Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Knowledge Base Decomposition to Facilitate Verification
Information Systems Research
A Formal Approach to Workflow Analysis
Information Systems Research
Applying Propositional Logic to Workflow Verification
Information Technology and Management
Data flow and validation in workflow modelling
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Data & Knowledge Engineering - Special issue: Quality in conceptual modeling
Automatic workflow verification and generation
Theoretical Computer Science
YAWL: yet another workflow language
Information Systems
Formulating the Data-Flow Perspective for Business Process Management
Information Systems Research
Communication support for systems engineering - process modelling and animation with APRIL
Journal of Systems and Software
Journal of Management Information Systems
Detection and prediction of errors in EPCs of the SAP reference model
Data & Knowledge Engineering
Semantics and analysis of business process models in BPMN
Information and Software Technology
Product Based Workflow Support: Dynamic Workflow Execution
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Formalization and verification of EPCs with OR-joins based on state and context
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
An analysis and taxonomy of unstructured workflows
BPM'05 Proceedings of the 3rd international conference on Business Process Management
| Hi-index | 0.00 |
Workflow design has become a critical function in enterprise information management. However, only scant research attention has been paid to formal workflow design methodologies. As a result, existing design methods in business process management remain a manual and experiential effort and result in inefficiency in design tasks and potential errors in workflow models. Considering that there are hundreds and thousands of business processes in organizations worldwide, overcoming this deficiency will have an enormous technical and economic impact on enterprise information management. In this paper, we investigate the possibility of incorporating formal analytics into workflow design, thus alleviating the intellectual challenge faced by business analysts when creating workflow models. The workflow design analytics we propose helps construct a workflow model based on information about the relevant activities and their associated data. In addition, our workflow design approach also helps determine whether the given information is sufficient for generating a workflow model and ensures the avoidance of certain workflow anomalies. The significance of our study is to enable the transformation of workflow design from a manual and experiential effort into a more systematic and rigorous approach.