Matteo Zavatteri, Davide Bresolin, Massimiliano de Leoni, Aurelo Makaj
{"title":"Data-aware process models: From soundness checking to repair","authors":"Matteo Zavatteri, Davide Bresolin, Massimiliano de Leoni, Aurelo Makaj","doi":"10.1016/j.datak.2024.102377","DOIUrl":null,"url":null,"abstract":"<div><div>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.</div></div>","PeriodicalId":55184,"journal":{"name":"Data & Knowledge Engineering","volume":"155 ","pages":"Article 102377"},"PeriodicalIF":2.7000,"publicationDate":"2024-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Data & Knowledge Engineering","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0169023X24001010","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE","Score":null,"Total":0}
引用次数: 0
Abstract
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.
流程感知信息系统支持业务流程的制定，并依赖于一个规定允许执行哪些流程的模型。因此，要执行流程，该模型必须是合理的。传统上，对合理性的定义和研究只关注控制流。一些著作提出了修复流程模型以确保其合理性的技术，但忽略了数据和决策视角。本文提出了一种在保持控制流结构不变的情况下修复流程模型数据视角的技术。流程由数据 Petri 网建模。我们的方法修复了约束图，它是底层数据 Petri 网无限状态空间的有限符号抽象。然后，将约束图中的变化投射回数据 Petri 网。
期刊介绍：
Data & Knowledge Engineering (DKE) stimulates the exchange of ideas and interaction between these two related fields of interest. DKE reaches a world-wide audience of researchers, designers, managers and users. The major aim of the journal is to identify, investigate and analyze the underlying principles in the design and effective use of these systems.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
