Changes in artefact‐centric business process instances and their correctness prediction

Abstract

Change of artefact-centric business process instances is important for an enterprise to keep competitive. However, to preserve the correctness of changes of an artefact-centric business process instance is still a big challenge. The hardness mainly stems from the fact that whether a business process instance can reach a final state has been proved to be undecidable. As such, finding a reliable verification algorithm for preserving correctness becomes impossible. In this study, the authors propose a random-forest-based approach to predict the correctness of changes in a business process instance. The availability of the proposed method is validated by comparing it to the traditional formal verification method. They also propose two optimisations of the proposed method and validate their effectiveness through extensive experimental analysis.