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

Erika Nazaruka, Viktorija Ovchinnikova, Gundars Alksnis, Uldis Sukovskis

2016

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.

Paper Citation

in Harvard Style

Nazaruka E., Ovchinnikova V., Alksnis G. and Sukovskis U. (2016). Verification of BPMN Model Functional Completeness by using the Topological Functioning Model . In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: MDI4SE, (ENASE 2016) ISBN 978-989-758-189-2, pages 349-358. DOI: 10.5220/0005930903490358

in Bibtex Style

@conference{mdi4se16,
author={Erika Nazaruka and Viktorija Ovchinnikova and Gundars Alksnis and Uldis Sukovskis},
title={Verification of BPMN Model Functional Completeness by using the Topological Functioning Model},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: MDI4SE, (ENASE 2016)},
year={2016},
pages={349-358},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005930903490358},
isbn={978-989-758-189-2},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: MDI4SE, (ENASE 2016)
TI - Verification of BPMN Model Functional Completeness by using the Topological Functioning Model
SN - 978-989-758-189-2
AU - Nazaruka E.
AU - Ovchinnikova V.
AU - Alksnis G.
AU - Sukovskis U.
PY - 2016
SP - 349
EP - 358
DO - 10.5220/0005930903490358