On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code

TL;DR

This paper introduces BPMN-ProX, a low-code framework that enhances the verification of data-aware business process models by integrating formal semantics and model checking to improve reliability and usability.

Contribution

It presents BPMN-ProX, a novel low-code platform that formalizes data-aware process verification, bridging the gap between theory and practice in business process management.

Findings

BPMN-ProX improves verification accuracy for data-aware processes.

The framework facilitates non-technical user engagement.

Enhanced process reliability demonstrated through case studies.

Abstract

In recent years, there has been a growing interest in the verification of business process models. Despite their lack of formal characterization, these models are widely adopted in both industry and academia. To address this issue, formalizing the execution semantics of business process modeling languages is essential. Since data and process are two facets of the same coin, and data are critical elements in the execution of process models, this work introduces Proving an eXecutable BPMN injected with data, BPMN-ProX. BPMN-ProX is a low-code testing framework that significantly enhances the verification of data-aware BPMN. This low-code platform helps bridge the gap between non-technical experts and professionals by proposing a tool that integrates advanced data handling and employs a robust verification mechanism through state-of-the-art model checkers. This innovative approach combines theoretical verification with practical modeling, fostering more agile, reliable, and user-centric business process management.