Warning: Parameter 1 to Language::getMagic() expected to be a reference, value given in /usr/share/mediawiki/includes/StubObject.php on line 58
Instantaneous Soundness Checking of Industrial Business Process Models. – GRK-Wiki

Instantaneous Soundness Checking of Industrial Business Process Models.

Aus GRK-Wiki

Wechseln zu: Navigation, Suche


Submitted and accepted as full paper at the 7th International Conference on Business Process Management (BPM 2009).

Authors

  • Dirk Fahland, Humboldt-Universität zu Berlin, Germany
  • Cédric Favre, IBM Zurich Research Laboratory, Switzerland
  • Barbara Jobstmann, EPF Lausanne, Switzerland
  • Jana Koehler, IBM Zurich Research Laboratory, Switzerland
  • Niels Lohmann, Universität Rostock, Germany
  • Hagen Völzer, IBM Zurich Research Laboratory, Switzerland
  • Karsten Wolf, Universität Rostock, Germany

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.

Downloads


BibTeX

 @InProceedings{FahlandWJKLVW_2009_bpm,
     Author = {Dirk Fahland and C{\'e}dric Favre and Barbara Jobstmann and
               Jana Koehler and Niels Lohmann and Hagen V{\"o}lzer and
               Karsten Wolf},
     Booktitle = {Business Process Management, 7th International Conference,
                  BPM 2009, Ulm, Germany, September 8-10, 2009, Proceedings},
     Editor = {Umeshwar Dayal and Johann Eder and Jana Koehler and Hajo Reijers},
     Month = sep,
     Pages = {278-293},
     Publisher = {Springer-Verlag},
     Series = {Lecture Notes in Computer Science},
     Title = {Instantaneous Soundness Checking of Industrial Business Process Models},
     Volume = {5701},
     Year = {2009}
 }
Persönliche Werkzeuge
Sprache