ML Anthology

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

Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
IJCAI 2011 pp. 738-743
doi:10.5591/978-1-57735-516-8/IJCAI11-130 /ijcai/2011/belardinelli2011ijcai-computationally/

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.

PDF IJCAI Semantic Scholar

Cite

Text

Belardinelli et al. "A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-130

Markdown

[Belardinelli et al. "A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/belardinelli2011ijcai-computationally/) doi:10.5591/978-1-57735-516-8/IJCAI11-130

BibTeX

@inproceedings{belardinelli2011ijcai-computationally,
  title     = {{A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results}},
  author    = {Belardinelli, Francesco and Lomuscio, Alessio and Patrizi, Fabio},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {738-743},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-130},
  url       = {https://mlanthology.org/ijcai/2011/belardinelli2011ijcai-computationally/}
}