Verification of BPMN Model Functional Completeness by using the Topological Functioning Model

Abstract

BPMN (Business Process Model and Notation) models are used to specify business knowledge in the language that is familiar for business people. They consist of multiple process diagrams that highlight different aspects of interaction among participants. Verification of BPMN models is important since graphical fragmentary presentation could be a source of errors such as incompleteness, deadlocks, livelocks, incorrect terminations etc. We consider verification of model completeness. The model is transformed to the topological functioning model (TFM) in order to check completeness of inputs, outputs and functioning cycles of the entire specified system. The proposed approach is dedicated to the verification of the model at the beginning of analysis, and it could be supplemented by other methods at the design stage. This approach is more dedicated to analysis of the whole system, than to the verification of the concrete fragment work.

Assessing business process models: a literature review on techniques for BPMN testing and formal verification

“…Nazaruka et al. (2016) present a method of transforming a BPMN model into a Topological Functioning Model (TFM), a directed graph which depicts causal relations between vertices that represent functional characteristics of a system.…”

“…Examples are provided in the study but without evaluation. Nazaruka et al (2016) present a method of transforming a BPMN model into a Topological Functioning Model (TFM), a directed graph which depicts causal relations between vertices that represent functional characteristics of a system. The resulting TFM is then used to verify properties related to the problem domain.…”

“…3.6.4 BPMN formal verification. Studies that denote formal verification of BPMN as the main goal are: (Corradini et al, 2021;Dechsupa et al, 2018Dechsupa et al, , 2019Dechsupa et al, , 2021Dur an et al, 2018;Kheldoun et al, 2017;Kog et al, 2012;Lam, 2010;Meghzili et al, 2020;Mendoza et al, 2010;Nazaruka et al, 2016;Szpyrka et al, 2017;Wong and Gibbons, 2011;Yamasathien and Vatanawood, 2014).…”

The Knowledge Frame System based on Principles of Topological Functioning Model

“… is an action linked with an object;  is a result (results) of the action ;  is an object (objects) that gets the result of the action or an object (objects) that is used in this action;  is a set of preconditions or atomic business rules;  is a set of postconditions or atomic business rules;  is a set of responsible entities (systems and/or subsystems) that provide or suggest an action with a set of certain objects;  is a set of responsible entities (systems or subsystems) that enact a concrete action [33], [34]. A TFM is valid when it satisfies topological and functioning properties [33].…”