On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866918180351377408 |
|---|---|
| author | Eldin, Ali Nour Dalmas, Benjamin Gaaloul, Walid |
| author_facet | Eldin, Ali Nour Dalmas, Benjamin Gaaloul, Walid |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_27229 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code Eldin, Ali Nour Dalmas, Benjamin Gaaloul, Walid Software Engineering Formal Languages and Automata Theory 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. |
| title | On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code |
| topic | Software Engineering Formal Languages and Automata Theory |
| url | https://arxiv.org/abs/2510.27229 |