TY - GEN
T1 - A holistic approach for soundness verification of decision-aware process models
AU - de Leoni, Massimiliano
AU - Felli, Paolo
AU - Montali, Marco
PY - 2018/1/1
Y1 - 2018/1/1
N2 - The last decade has witnessed an increasing transformation in the design, engineering, and mining of processes, moving from a pure control-flow perspective to more integrated models where also data and decisions are explicitly considered. This calls for methods and techniques able to ascertain the correctness of such integrated models. Differently from previous approaches, which mainly focused on the local interplay between decisions and their corresponding outgoing branches, we introduce a holistic approach to verify the end-to-end soundness of a Petri net-based process model, enriched with case data and decisions. In addition, we present an effective, implemented technique that verifies soundness by translating the input net into a colored Petri net with bounded color sets, on which standard state space analysis techniques are subsequently applied. Experiments on real life illustrate the relevance and applicability in real settings.
AB - The last decade has witnessed an increasing transformation in the design, engineering, and mining of processes, moving from a pure control-flow perspective to more integrated models where also data and decisions are explicitly considered. This calls for methods and techniques able to ascertain the correctness of such integrated models. Differently from previous approaches, which mainly focused on the local interplay between decisions and their corresponding outgoing branches, we introduce a holistic approach to verify the end-to-end soundness of a Petri net-based process model, enriched with case data and decisions. In addition, we present an effective, implemented technique that verifies soundness by translating the input net into a colored Petri net with bounded color sets, on which standard state space analysis techniques are subsequently applied. Experiments on real life illustrate the relevance and applicability in real settings.
UR - http://www.scopus.com/inward/record.url?scp=85054845693&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-00847-5_17
DO - 10.1007/978-3-030-00847-5_17
M3 - Conference contribution
AN - SCOPUS:85054845693
SN - 978-3-030-00846-8
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 219
EP - 235
BT - Conceptual Modeling - 37th International Conference, ER 2018, Proceedings
A2 - Li, Zhanhuai
A2 - Trujillo, Juan C.
A2 - Du, Xiaoyong
A2 - Lee, Mong Li
A2 - Davis, Karen C.
A2 - Ling, Tok Wang
A2 - Li, Guoliang
PB - Springer
CY - Cham
T2 - 37th International Conference on Conceptual Modeling, ER 2018
Y2 - 22 October 2018 through 25 October 2018
ER -