Proposal for Formalization Using Description Logic of Undesirable Models in Business Process Management. - Jean Elder Santana Araújo; Cleyton Mário de Oliveira Rodrigues (ICEIS (2), 2025)