Open AccessChanges in artefact‐centric business process instances and their correctness prediction
Author(s) -
Zhang Junbao,
Liu Guohua
Publication year - 2020
Publication title -
iet software
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.305
H-Index - 43
eISSN - 1751-8814
pISSN - 1751-8806
DOI - 10.1049/iet-sen.2019.0310
Subject(s) - correctness , computer science , business process , undecidable problem , process (computing) , business process modeling , business process model and notation , artifact centric business process model , business process discovery , business rule , formal verification , software engineering , algorithm , programming language , work in process , engineering , operations management , decidability
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.