Proceedings ArticleDOI
An Empirical Analysis of Diagnosis of Industrial Business Processes at Sub-process Levels
Suman Roy,Abudulkadir Sajeev,A. Gopichand,Adrija Bhattacharya +3 more
- pp 195-202
Reads0
Chats0
TLDR
An empirical diagnostic analysis of control flow errors such as deadlock and lack of synchronization as well as syntactic errors arising out of poor modeling practices for real-life industrial process models is provided.Abstract:
Business process models expressed in languages such as BPMN (Business Process Model and Notation) play a critical role in implementing the workflows in modern organizations. However, control flow errors such as deadlock and lack of synchronization as well as syntactic errors arising out of poor modeling practices often occur in industrial process models. In this paper, we provide an empirical diagnostic analysis of such errors for real-life industrial process models. The investigation involved models from different application domains. It turns out that error frequency has non-linear relation with error depth (the maximum depth at which an error occurred) across models from all domains. Error occurrence has statistically significant correlations (pread more
Citations
More filters
Journal Article
Understanding the Occurrence of Errors in Process Models Based on Metrics
TL;DR: In this article, the connection between formal errors (such as deadlocks) and a set of metrics that capture various structural and behavioral aspects of a process model is discussed, and a comprehensive validation based on an extensive sample of EPC process models from practice is provided.
References
More filters
Journal Article
Semantics and analysis of business process models in BPMN
TL;DR: This paper proposes a mapping from BPMN to a formal language, namely Petri nets, for which efficient analysis techniques are available and has been implemented as a tool that, in conjunction with existing Petri net-based tools, enables the static analysis of BPMn models.
Book ChapterDOI
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
TL;DR: An approach for automated compliance checking of process activities and their ordering is introduced and a set of reduction rules are employed to address the problem of state-space explosion.
Book ChapterDOI
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition
TL;DR: The results suggest that control-flow analysis of many real process models is feasible without significant delay (less than a second) and could be used frequently during editing time, which allows errors to be caught at earliest possible time.
Book
Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
TL;DR: A connector for holding together a plurality of pocket style molded containers or other modular articles and having a web bearing retainers providing channels that engage and receive edge portions of the containers or articles to hold them in a predetermined configuration established by the arrangement of the retainers on the web.
Journal ArticleDOI
Diagnosing workflow processes using Woflan
TL;DR: Woflan as mentioned in this paper analyzes workflow process definitions downloaded from commercial workflow products using state-of-the-art Petri-net-based analysis techniques to locate the source of a design error.