Generating the complete state-spaces of BPMN models using GROOVE

Abstract

Conformance checking can detect the deviations between the predefined business process and recorded real-life data. BPMN 2.0 standard is widely used for modeling business processes. The complete state-spaces of BPMN models are required to provide all the possible execution sequences. Existing approaches using Petri Nets and graph transformation have the issue of incompleteness and low efficiency. In this paper, we propose a new method which is able to generate the complete state-spaces of BPMN models efficiently using GROOVE. Various BPMN models with complex structures like loops, OR-join and multiple branches are tested and verified in the experiments. Moreover, a real-life conformance check study is performed showing our method is useful and practical for conformance check purpose.