AAAI Publications, Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning

Font Size: 
An Abstraction Technique for the Verification of Artifact-Centric Systems
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi

Last modified: 2012-05-17


We explore the paradigm of artifact-centric systems from a knowledge-based perspective. We provide a semantics based on interpreted-systems to interpret a first-order temporal- epistemic language with identity in a multi-agent setting. We consider the model checking problem for this language and provide abstraction results. We isolate a natural subclass of artifact-systems for which the model checking problem is decidable. We give an upper bound on the complexity of the model checking problem.


Model Checking; Artifact-Centric Systems; Data Abstraction

Full Text: PDF