Verification of BPMN 2.0 process models: An event log-based approach

Business Process Management (BPM) is a challenging field that has witnessed great advances in the last few years. Since BPM is based on business process models, a great interest have been attributed to modelling languages and to models verification steps. Many modelling languages emerged; one of the most known languages is Business Process Modelling Notation (BPMN) which is considered as standard implementing the BPM approach. Its primary goal is to create a standardized bridge for the gap between process design and process implementation in order to entirely automate business process management lifecycle. In this context, business process models correction become required.In this paper, we propose an approach to evaluate business process models based on their whole structure as well as the analysis of the event logs resulting on a previous execution. The evaluated models are written in BPMN 2.0 notation and executed using Activiti Explorer online service. Experiments have been done on two different business processes to show verification results when applying our verification approach. (C) 2016 The Authors. Published by Elsevier B.V.