Presentation at BPM 2024; Lisa Arnold, Krakau, Poland, 02 Sptember 2024

The accuracy and efficacy of an object-centric business process are of paramount importance during its execution. In the context of the PHILharmonicFlows framework, user interaction forms are automatically generated from the structure of the business process. Consequently, errors (e.g. deadlocks) in the business process result in malfunctioning during execution. It is therefore of the utmost importance to identify and rectify any errors in the business process at the earliest possible stage, namely at the point of specification. However, the concept of object-centric process management is sophisticated and requires a high level of expertise to implement effectively. In particular, modelling the coordination processes that control the business process in order to represent the interactions between multiple business objects represents a significant challenge. It has been observed in the past that novice process modellers encounter difficulties in the creation of coordination processes. In light of this, a verification algorithm has been developed, comprising two mechanisms, to assist process modellers in creating coordination processes. The first mechanism is a prevention logic, computed for each user interaction that is supported by highlighting. In this context, inadmissible modelling is highlighted in red, whereas admissible modelling is highlighted in green. The second mechanism generates error messages when a problem occurs. These messages are computed using a verification graph in the background. The verification algorithm was subjected to testing during the emulation of three existing business processes. This revealed a number of flaws, including the presence of cycles that comprise several coordination processes. These deficiencies had previously evaded the detection of numerous modelling experts.