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

Full description

Saved in:
Bibliographic Details
Published in:Data & knowledge engineering 2025-01, Vol.155, p.102377, Article 102377
Main Authors: Zavatteri, Matteo, Bresolin, Davide, de Leoni, Massimiliano, Makaj, Aurelo
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!
Description
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