TY - GEN
T1 - Decidable Verification of Agent-Based Data-Aware Systems
AU - Belardinelli, Francesco
AU - Malvone, Vadim
N1 - Publisher Copyright:
© 2019, Springer Nature Switzerland AG.
PY - 2019/1/1
Y1 - 2019/1/1
N2 - In recent years the area of knowledge representation and reasoning (KR&R) has witnessed a growing interest in the modelling and analysis of data-driven/data-centric systems. These are systems in which the two tenets of data and processes are given equal importance, differently from traditional approaches whereby the data content is typically abstracted away in order to make the reasoning task easier. However, if data-aware systems (DaS) are to be deployed in concrete KR&R scenarios, it is key to develop tailored verification techniques, suitable to account for both data and processes. In this contribution we consider for the first time to our knowledge the parameterised verification of DaS. In particular, we prove that – under specific assumptions – this problem is decidable by computing a suitable cut-off value. We illustrate the proposed approach with a use case from the literature on business process modelling.
AB - In recent years the area of knowledge representation and reasoning (KR&R) has witnessed a growing interest in the modelling and analysis of data-driven/data-centric systems. These are systems in which the two tenets of data and processes are given equal importance, differently from traditional approaches whereby the data content is typically abstracted away in order to make the reasoning task easier. However, if data-aware systems (DaS) are to be deployed in concrete KR&R scenarios, it is key to develop tailored verification techniques, suitable to account for both data and processes. In this contribution we consider for the first time to our knowledge the parameterised verification of DaS. In particular, we prove that – under specific assumptions – this problem is decidable by computing a suitable cut-off value. We illustrate the proposed approach with a use case from the literature on business process modelling.
U2 - 10.1007/978-3-030-33792-6_4
DO - 10.1007/978-3-030-33792-6_4
M3 - Conference contribution
AN - SCOPUS:85076439807
SN - 9783030337919
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 52
EP - 68
BT - PRIMA 2019
A2 - Baldoni, Matteo
A2 - Dastani, Mehdi
A2 - Liao, Beishui
A2 - Sakurai, Yuko
A2 - Zalila Wenkstern, Rym
PB - Springer
T2 - 22nd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2019
Y2 - 28 October 2019 through 31 October 2019
ER -