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
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
Book ChapterDOI
Introduction to Algorithms
TL;DR: This chapter provides an overview of the fundamentals of algorithms and their links to self-organization, exploration, and exploitation.
Book
A metrics suite for object oriented design
TL;DR: This research addresses the needs for software measures in object-orientation design through the development and implementation of a new suite of metrics for OO design, and suggests ways in which managers may use these metrics for process improvement.
Book ChapterDOI
Business Process Model and Notation—BPMN
TL;DR: The basics of the BPMN notation will be described—that is, the types of graphical shapes, their purpose, and how they work together as part of a Business Process Model/Diagram.
Book ChapterDOI
Verification of Workflow Nets
TL;DR: This paper focuses on a class of Petri nets suitable for the representation, validation and verification of business procedures and shows that the correctness of a procedure represented by such a Petri net can be verified by using standard Petri-net-based techniques.
Journal ArticleDOI
Semantics and analysis of business process models in BPMN
TL;DR: In this article, the authors propose a mapping from BPMN to Petri nets, for which efficient analysis techniques are available, and implement a tool that, in conjunction with existing Petri net-based tools, enables the static analysis of BPMNs models.