Aris--Business Process Modeling
Aris--Business Process Modeling
Relaxed Soundness of Business Processes
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Making Work Flow: On the Application of Petri Nets to Business Process Management
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Data flow and validation in workflow modelling
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
On the semantics of EPCs: resolving the vicious circle
Data & Knowledge Engineering - Special issue: Business process management
Improving the quality of conceptual modeling using cognitive mapping techniques
Data & Knowledge Engineering - Special issue: Quality in conceptual modeling
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
Detection and prediction of errors in EPCs of the SAP reference model
Data & Knowledge Engineering
History-based joins: Semantics, soundness and implementation
Data & Knowledge Engineering
Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
On a Quest for Good Process Models: The Cross-Connectivity Metric
CAiSE '08 Proceedings of the 20th 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
Preserving correctness during business process model configuration
Formal Aspects of Computing
Verification of EPCs: using reduction rules and petri nets
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Comparing the control-flow of EPC and petri net from the end-user perspective
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Investigating Goal-Oriented Requirements Engineering for Business Processes
Journal of Database Management
| Hi-index | 0.00 |
This paper investigates the need for complementing automated verification of business process models with a validity analysis performed by human analysts. As business processes become increasingly automated through process aware information systems, the quality of process design becomes crucial. Although verification of process models has gained much attention, their validation, relating to the reachability of the process goal, has hardly been addressed. The paper investigates the need for model validation both theoretically and empirically. The authors present a theoretical analysis, showing that process model verification and validation are complementary in nature, and an empirical evaluation of the effectiveness of validity criteria in validating a process model. The theoretical analysis, which relates to different aspects of process model quality, shows that process model verification and validation are complementary in nature. The empirical findings corroborate the effectiveness of validity criteria and indicate that a systematic criteria-supported validity analysis improves the identification of validity problems in process models.