---
title: "A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results"
authors:
  - "Francesco Belardinelli"
  - "Alessio Lomuscio"
  - "Fabio Patrizi"
doi: "10.5591/978-1-57735-516-8/IJCAI11-130"
url: "https://ijcai.org/proceedings/2011/130"
pdf: "https://ijcai.org/proceedings/2011/0130.pdf"
venue: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence"
year: 2011
pages: "738-742"
track: ""
keywords:
---

# A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results

Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi

*Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence*, pages 738-742. DOI: [10.5591/978-1-57735-516-8/IJCAI11-130](https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-130)

## 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.