A framework to semantify BPMN models using DEMO business transaction pattern

Sérgio Guerreiro,Pedro Sousa

DOI: https://doi.org/10.48550/arXiv.2012.09557

2020-12-17

Abstract:BPMN is a specification language widely used by industry and researchers for business process modeling and execution. It defines clearly how to articulate its concepts, but do not provide mechanism to represent the semantics of the produced models. This paper addresses the problem of how to improve the expressiveness of BPMN models, proposing a definition for the semantics of a business process within a BPMN model, and improving the completeness of the models in a systematic manner, so that models can describe far more situations with few extra managed complexity. We conceive a framework based on the business transaction patterns available in the enterprise ontology body of knowledge to prescribe the foundations of semantic BPMN models. A tool has been developed to automate the framework. Then, two industrial proof-of-concepts are used to measure its coverage, both positive and negative, and to argue about our proposal's usefulness. After that, the proposal is compared with others using a systematic literature review. A full BPMN pattern is proposed encompassing the happy flow, the declinations, the rejections and the revocations, without adding any new element to the BPMN specification. A software tool has been developed, and made publicly available, to support the automatic generation of the BPMN models from the proposed patterns. Our semantified BPMN pattern allowed the identification of a large amount of implicit, and other not implemented, situations in both proof-of-concepts. It is concluded that the usage of a semantic solution, grounded on a sound pattern, allows the systematic enrichment of the BPMN models with a bounded effort. Moreover, to simplify the BPMN executable models' implementation, its elements could be classified as implicit, explicit, or not implemented yet. Finally, related work indicates that this work is demanded, but no full solutions are available.

Software Engineering

What problem does this paper attempt to address?

The paper attempts to address the issue of improving the expressiveness and completeness of BPMN (Business Process Model and Notation) models. Specifically, the paper focuses on two aspects:

1. **Defining the semantics of business processes in BPMN models**: Although BPMN clearly defines the organization of its concepts, it lacks a mechanism to represent the semantics of the generated models. This means that different modelers may have different interpretations of the same BPMN model.

2. **Systematically improving the completeness of the models**: Existing BPMN models usually only describe the "normal flow" and ignore other forms of exception handling. This is unacceptable in uncertain scenarios because the actual implementation of business processes often relies on these incomplete semantic models, leading to the propagation and amplification of issues during implementation.

To address these issues, the paper proposes a framework that systematically enhances the semantics and completeness of BPMN models by applying business transaction patterns available in Enterprise Ontology to BPMN models. The goal of this framework is to enable BPMN models to describe more scenarios while managing the increased complexity.