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

📝 Original Info

• Title: On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code
• ArXiv ID: 2510.27229
• Date: 2025-10-31
• Authors: ** 논문에 명시된 저자 정보가 제공되지 않았습니다. (필요 시 원문 PDF 혹은 학회 웹사이트에서 확인 바랍니다.) **

📝 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.

💡 Deep Analysis

📄 Full Content

Reference