Multi-perspective conformance checking applied to BPMN-E2

Abstract

One of the most used notations for process modelling is the Business Process Model and Notation (BPMN), being the expressiveness in representing processes its strongest attribute. However, this notation has shortcomings when dealing with some specific domains (namely Hazard Analysis and Critical Control Points systems), struggling to model activity duration, quality control points, activity effects and monitoring nature. For this particular purpose, an extension named Business Process Model and Notation Extended Expressiveness (BPMN-E2) was developed to tackle the limitations found in the original notation. In this paper, a multi-perspective conformance checking algorithm is proposed focusing on detecting non-conformities between an event log and a process model, regarding the information provided by the new elements within BPMN-E2. Despite being based on this new notation, the proposed algorithm can be applied to other process model notations as it follows a two-step approach that starts by converting the model into a directly follows model (annotated with conformance rules), which is then used in the second phase to perform the conformance checking task effectively.