Loading…
Data-aware process models: From soundness checking to repair
Process-aware Information Systems support the enactment of business processes and rely on a model that prescribes which executions are allowed. As a result, the model needs to be sound for the process to be carried out. Traditionally, soundness has been defined and studied by only focusing on the co...
Saved in:
Published in: | Data & knowledge engineering 2025-01, Vol.155, p.102377, Article 102377 |
---|---|
Main Authors: | , , , |
Format: | Article |
Language: | English |
Subjects: | |
Citations: | Items that this one cites |
Online Access: | Get full text |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | Process-aware Information Systems support the enactment of business processes and rely on a model that prescribes which executions are allowed. As a result, the model needs to be sound for the process to be carried out. Traditionally, soundness has been defined and studied by only focusing on the control-flow. Some works proposed techniques to repair the process model to ensure soundness, ignoring data and decision perspectives. This paper puts forward a technique to repair the data perspective of process models, keeping intact the control flow structure. Processes are modeled by Data Petri nets. Our approach repairs the Constraint Graph, a finite symbolic abstraction of the infinite state–space of the underlying Data Petri net. The changes in the Constraint Graph are then projected back onto the Data Petri net. |
---|---|
ISSN: | 0169-023X |
DOI: | 10.1016/j.datak.2024.102377 |