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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-03848-8_19 | BPM |
Keywords | Field | DocType |
model checker lola,diagnostic information,business process model,financial service,sese decomposition,different approach,industrial business process model,case study,industrial business process models,control-flow analysis,business process verification tool,financial services,petri net,business process,control flow analysis | Artifact-centric business process model,Business process management,Systems engineering,Business process,Computer science,Process modeling,Business process modeling,Business process discovery,Business Process Model and Notation,Business rule | Conference |
Volume | ISSN | Citations |
5701 | 0302-9743 | 81 |
PageRank | References | Authors |
2.36 | 17 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dirk Fahland | 1 | 1060 | 61.91 |
Cédric Favre | 2 | 183 | 8.06 |
Barbara Jobstmann | 3 | 1073 | 46.19 |
Jana Koehler | 4 | 944 | 78.34 |
Niels Lohmann | 5 | 999 | 49.45 |
Hagen Völzer | 6 | 804 | 41.44 |
Karsten Wolf | 7 | 757 | 42.53 |