KIT | KIT-Bibliothek | Impressum
Open Access Logo
URN: urn:nbn:de:swb:90-456017

Detecting Data-Flow Errors in BPMN 2.0

Stackelberg, Silvia von; Putze, S.; Mülle, J.; Böhm, K.

Data-flow errors in BPMN 2.0 process models, such as missing or unused data, lead to undesired process executions. In particular, since BPMN 2.0 with a standardized execution semantics allows specifying alternatives for data as well as optional data, identifying missing or unused data systematically is difficult. In this paper, we propose an approach for detecting data-flow errors in BPMN 2.0 process models. We formalize BPMN process models by mapping them to Petri Nets and unfolding the execution semantics regarding data. We define a set of anti-patterns representing data-flow errors of BPMN 2.0 process models. By employing the anti-patterns, our tool performs model checking for the unfolded Petri Nets. The evaluation shows that it detects all data-flow errors identified by hand, and so improves process quality.

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Jahr 2014
Sprache Englisch
Identifikator ISSN: 2198-9281
KITopen ID: 1000045601
Erschienen in Open Journal of Information Systems
Band 1
Heft 2
Seiten 1-19
Bemerkung zur Veröffentlichung Gefördert durch den KIT-Publikationsfonds
Schlagworte Data-Flow Error, Anti-Patterns, Petri Nets, Model Checking
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page