loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Erika Nazaruka ; Viktorija Ovchinnikova ; Gundars Alksnis and Uldis Sukovskis

Affiliation: Riga Technical University, Latvia

Keyword(s): BPMN, Model Verification, Completeness, 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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.225.56.41

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 (ENASE 2016) - MDI4SE; ISBN 978-989-758-189-2; ISSN 2184-4895, SciTePress, pages 349-358. DOI: 10.5220/0005930903490358

@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 (ENASE 2016) - MDI4SE},
year={2016},
pages={349-358},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005930903490358},
isbn={978-989-758-189-2},
issn={2184-4895},
}

TY - CONF

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