Instantaneous soundness checking of industrial business process models

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    120 Citations (Scopus)
    2 Downloads (Pure)

    Abstract

    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.
    Original languageEnglish
    Title of host publicationProceedings of the 7th International Conference on Business Process Management (BPM 2009), 8-10 September 2009, Ulm, Germany
    EditorsU. Dayal, J. Eder, J. Koehler, H.A. Reijers
    Place of PublicationBerlin
    PublisherSpringer
    Pages278-293
    ISBN (Print)978-3-642-03847-1
    DOIs
    Publication statusPublished - 2009

    Publication series

    NameLecture Notes in Computer Science
    Volume5701
    ISSN (Print)0302-9743

    Fingerprint

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

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

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

    Cite this