Bridging Imperative Process Models and Process Data Queries-Translation and Relaxation
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911197159227392 |
|---|---|
| author | Qureshi, Abdur Rehman Anwar Rebmann, Adrian Kampik, Timotheus Weidlich, Matthias Weske, Mathias |
| author_facet | Qureshi, Abdur Rehman Anwar Rebmann, Adrian Kampik, Timotheus Weidlich, Matthias Weske, Mathias |
| contents | Business process management is increasingly practiced using data-driven approaches. Still, classical imperative process models, which are typically formalized using Petri nets, are not straightforwardly applicable to the relational databases that contain much of the available structured process execution data. This creates a gap between the traditional world of process modeling and recent developments around data-driven process analysis, ultimately leading to the under-utilization of often readily available process models. In this paper, we close this gap by providing an approach for translating imperative models into relaxed process data queries, specifically SQL queries executable on relational databases, for conformance checking. Our results show the continued relevance of imperative process models to data-driven process management, as well as the importance of behavioral footprints and other declarative approaches for integrating model-based and data-driven process management. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_06414 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Bridging Imperative Process Models and Process Data Queries-Translation and Relaxation Qureshi, Abdur Rehman Anwar Rebmann, Adrian Kampik, Timotheus Weidlich, Matthias Weske, Mathias Databases Software Engineering Business process management is increasingly practiced using data-driven approaches. Still, classical imperative process models, which are typically formalized using Petri nets, are not straightforwardly applicable to the relational databases that contain much of the available structured process execution data. This creates a gap between the traditional world of process modeling and recent developments around data-driven process analysis, ultimately leading to the under-utilization of often readily available process models. In this paper, we close this gap by providing an approach for translating imperative models into relaxed process data queries, specifically SQL queries executable on relational databases, for conformance checking. Our results show the continued relevance of imperative process models to data-driven process management, as well as the importance of behavioral footprints and other declarative approaches for integrating model-based and data-driven process management. |
| title | Bridging Imperative Process Models and Process Data Queries-Translation and Relaxation |
| topic | Databases Software Engineering |
| url | https://arxiv.org/abs/2510.06414 |