AAAI Publications, Twenty-Second International Joint Conference on Artificial Intelligence

Font Size: 
A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi

Last modified: 2011-06-28

Abstract


We present a formal investigation of artifact-based systems, a relatively novel framework in service oriented computing, aimed at laying the foundations for verifying these systems through model checking. We present an infinite-state, computationally grounded semantics for these systems that allows us to reason about temporal-epistemic specifications. We present abstraction techniques for the semantics that guarantee transfer of satisfaction from the abstract system to the concrete one.

Full Text: PDF