Analysis on demand : instantaneous soundness checking of industrial business process models

D. Fahland, C. Favre, J. Koehler, N. Lohmann, H. Völzer, K. Wolf

Research output: Contribution to journalArticleAcademicpeer-review

120 Citations (Scopus)
1 Downloads (Pure)


We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and other domains. We investigated these models for soundness (absence of deadlock and lack of synchronization) using three different approaches: the business process verification tool Woflan, the Petri net model checker LoLA, and a recently developed technique based on SESE decomposition. We evaluate the various techniques used by these approaches in terms of their ability of accelerating the check. Our results show that industrial business process models can be checked in a few milliseconds, which enables tight integration of modeling with control-flow analysis. We also briefly compare the diagnostic information delivered by the different approaches and report some first insights from industrial applications. Keywords : Business Process Modeling; Quality assurance; Soundness; Verification; Control-flow analysis
Original languageEnglish
Pages (from-to)448-466
Number of pages19
JournalData & Knowledge Engineering
Issue number5
Publication statusPublished - 2011


Dive into the research topics of 'Analysis on demand : instantaneous soundness checking of industrial business process models'. Together they form a unique fingerprint.
  • Test of Time Award BPM 2019 (Runner Up)

    Fahland, Dirk (Recipient), Lohmann, N. (Recipient), Wolf, K. (Recipient), Koehler, J. (Recipient), Voelzer, H. (Recipient) & Favre, C. (Recipient), Sep 2019

    Prize: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

Cite this