• Home
  • Search
  • A Formal Framework for Diagnostic Analysis for Errors of Business Processes
  • Cite Icon3
  • https://doi.org/10.1007/978-3-662-53401-4_11Copy DOI Icon

A Formal Framework for Diagnostic Analysis for Errors of Business Processes

  • Jan 1, 2016
  • Suman Roy +1 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
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 enterprises. However, control flow errors such as deadlocks and lack of synchronization, and syntactic errors arising out of poor modeling practices often occur in industrial process models. A major challenge is to provide the means and methods to detect such errors and more importantly, to identify the location of each error. In this work, we develop a formal framework of diagnosing errors by locating their occurrence nodes in business process models at the level of sub-processes and swim-lanes. We use graph-theoretic techniques and Petri net-based analyses to detect syntactic and control flow-related errors respectively. While syntactic errors can be easily located on the processes themselves, we project control-related errors on processes using a mapping from Petri nets to processes. We use this framework to analyze a sample of 174 industrial BPMN process models having 1262 sub-processes in which we identify more than 2000 errors. We are further able to discover how error frequencies change with error depth, how they correlate with the size of the sub-processes and swim-lane interactions in the models, and how they can be predicted in terms of process metrics like sub-process size, coefficient of connectivity, sequentiality and structuredness.

Similar Papers
  • Research Article
  • Citations6

Approaches combining methods of Operational Research with Business Process Model and Notation: A systematic review

  • Nov 09, 2020
  • PeerJ Computer Science
  • Hana Tomaskova +1
  • Conference Article
  • Citations35

From Business Process Modeling to Data Model: A Systematic Approach

  • Sep 01, 2012
  • Estrela Ferreira Cruz +2
  • Research Article
  • Citations1

Do LLMs Speak BPMN? An Evaluation of Their Process Modeling Capabilities Based on Quality Measures

  • Jan 04, 2026
  • Computation
  • Panagiotis Drakopoulos +4
  • Conference Article

Evolution of BPMN Models through e-VOL BPMN

  • Dec 01, 2020
  • Ursula Campos +2
  • PDF
  • Research Article
  • Citations12

The Business Process Model and Notation Used for the Representation of Alzheimer’s Disease Patients Care Process

  • Feb 04, 2020
  • Data
  • Martin Kopecky +1
  • Research Article
  • Citations22

Reliability of BPMN Business Processes

  • Jan 01, 2015
  • Procedia Computer Science
  • Ana Respício +1
  • Book Chapter
  • Citations59

Towards a BPMN 2.0 Ontology

  • Jan 01, 2011
  • Christine Natschläger
  • Book Chapter
  • Citations8

Requirements Comprehension Using BPMN: An Empirical Study

  • Jan 01, 2019
  • Olga Lucero Vega-Márquez +3
  • Conference Article
  • Citations22

Measuring Method Complexity of the Case Management Modeling and Notation (CMMN)

  • Sep 29, 2014
  • Mike A Marin +2
  • Conference Article
  • Citations2

Incident Management Process Model for Automotive CyberSafety Systems Using the Business Process Model and Notation

  • Aug 22, 2022
  • Piotr Piatek
  • Research Article
  • Citations44

A metamodel to integrate business processes time perspective in BPMN 2.0

  • May 10, 2016
  • Information and Software Technology
  • C Arevalo +3
  • Book Chapter
  • Citations980

Business Process Model and Notation—BPMN

  • Dec 12, 2014
  • The Complete Business Process Handbook
  • Mark Von Rosing +3
  • Research Article
  • Citations23

Control flow versus communication: comparing two approaches to process modelling

  • Feb 10, 2022
  • Business Process Management Journal
  • Haleh Moattar +3
  • Conference Article
  • Citations36

Modeling business motivation and underlying processes for RAMI 4.0-aligned cyber-physical production systems

  • Sep 01, 2017
  • Kunal Suri +4
  • PDF
  • Research Article
  • Citations16

Specialization of Business Process Model and Notation Applications in Medicine—A Review

  • Oct 19, 2020
  • Data
  • Hana Tomaskova +1
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.