Proposal for Formalization Using Description Logic of Undesirable Models in Business Process Management

Jean Elder Santana Araújo, Cleyton Rodrigues

2025

Abstract

Proposal of a method to detect and correct errors in BPMN (Business Process Model and Notation) models using ontologies and Descriptive Logic reasoning to formalize and identify common errors related to the use of gateways, elements that control the flow and decisions in a process. The research highlights how the misuse of gateways can lead to inefficiencies and failures in process execution. Gateways are explored in the article as a demonstration of an experimental structure with a focus on expanding the application of the method to other elements of BPM modeling.

Paper Citation

in Harvard Style

Araújo J. and Rodrigues C. (2025). Proposal for Formalization Using Description Logic of Undesirable Models in Business Process Management. In Proceedings of the 27th International Conference on Enterprise Information Systems - Volume 2: ICEIS; ISBN 978-989-758-749-8, SciTePress, pages 891-898. DOI: 10.5220/0013437200003929

in Bibtex Style

@conference{iceis25,
author={Jean Araújo and Cleyton Rodrigues},
title={Proposal for Formalization Using Description Logic of Undesirable Models in Business Process Management},
booktitle={Proceedings of the 27th International Conference on Enterprise Information Systems - Volume 2: ICEIS},
year={2025},
pages={891-898},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013437200003929},
isbn={978-989-758-749-8},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 27th International Conference on Enterprise Information Systems - Volume 2: ICEIS
TI - Proposal for Formalization Using Description Logic of Undesirable Models in Business Process Management
SN - 978-989-758-749-8
AU - Araújo J.
AU - Rodrigues C.
PY - 2025
SP - 891
EP - 898
DO - 10.5220/0013437200003929
PB - SciTePress