Verification of BPMN 2.0 Process Models: An Event Log-based Approach

Citations of this article
Mendeley users who have this article in their library.


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.




Allani, O., & Ghannouchi, S. A. (2016). Verification of BPMN 2.0 Process Models: An Event Log-based Approach. In Procedia Computer Science (Vol. 100, pp. 1064–1070). Elsevier B.V.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free