An abstraction technique for the verification of artifact-centric systems
Francesco Belardinelli, Alessio R. Lomuscio, Fabio Patrizi · 2012
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 de-cidable. We give an upper bound on the complexity of the model checking problem. Copyright © 2012, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.