Process mining techniques relate observed behavior to modeled behavior, e.g., the automatic discovery of a process model based on an event log. Process mining is not limited to process discovery and also includes conformance checking and model enhancement. Conformance checking techniques are used to diagnose the deviations of the observed behavior as recorded in the event log from some process model. Model enhancement allows to extend process models using additional perspectives, conformance and performance information. In recent years, BPMN (Business Process Model and Notation) 2.0 has become a de facto standard for modeling business processes in industry. This paper presents the BPMN support current in ProM. ProM is the most known and used open-source process mining framework. ProM’s functionalities of discovering, analyzing and enhancing BPMN models are discussed. Support of the BPMN 2.0 standard will help ProM users to bridge the gap between formal models (such as Petri nets, causal nets and others) and process models used by practitioners.
|Title of host publication||BPM Demo Sessions 2014 (co-located with BPM 2014, Eindhoven, The Netherlands, September 20, 2014)|
|Editors||L. Limonad, B. Weber|
|Publication status||Published - 2014|
|Event||BPM Demo Sessions 2014 (BPMD 2014), September 10, 2014, Eindhoven, The Netherlands - Eindhoven, Netherlands|
Duration: 10 Sep 2014 → 10 Sep 2014
|Name||CEUR Workshop Proceedings|
|Other||BPM Demo Sessions 2014 (BPMD 2014), September 10, 2014, Eindhoven, The Netherlands|
|Abbreviated title||BPMD 2014|
|Period||10/09/14 → 10/09/14|
|Other||Co-located with the 12th International Conference on Business Process Management (BPM 2014)|
Kalenkova, A. A., Leoni, de, M., & Aalst, van der, W. M. P. (2014). Discovering, analyzing and enhancing BPMN models using ProM. In L. Limonad, & B. Weber (Eds.), BPM Demo Sessions 2014 (co-located with BPM 2014, Eindhoven, The Netherlands, September 20, 2014) (pp. 36-41). (CEUR Workshop Proceedings; Vol. 1295). CEUR-WS.org.