Decidable Verification of Agent-Based Data-Aware Systems

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02422205
Contributor : Frédéric Davesne <>
Submitted on : Friday, December 20, 2019 - 9:22:22 PM
Last modification on : Wednesday, January 8, 2020 - 1:33:50 AM

Identifiers

Citation

Francesco Belardinelli, Vadim Malvone. Decidable Verification of Agent-Based Data-Aware Systems. Principles and Practice of Multi-Agent Systems (PRIMA 2019), Oct 2019, Torino, Italy. pp.52--68, ⟨10.1007/978-3-030-33792-6_4⟩. ⟨hal-02422205⟩

Share

Metrics

Record views

17