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

Belardinelli, Francesco; Lomuscio, Alessio; Patrizi, Fabio

doi:10.5591/978-1-57735-516-8/IJCAI11-130

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

Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 738-742.

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.

Francesco Belardinelli, Alessio Lomuscio, and Fabio Patrizi. 2011. A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 738–742. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-130

@inproceedings{ijcai2011p130,
  title     = {A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results},
  author    = {Belardinelli, Francesco and Lomuscio, Alessio and Patrizi, Fabio},
  booktitle = {Proceedings of the Twenty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-11}},
  publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
  editor    = {Toby Walsh},
  pages     = {738--742},
  year      = {2011},
  month     = {7},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-130},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-130},
}

TY  - CPAPER
TI  - A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results
AU  - Belardinelli, Francesco
AU  - Lomuscio, Alessio
AU  - Patrizi, Fabio
T2  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11
PB  - AAAI Press/International Joint Conferences on Artificial Intelligence
PY  - 2011
SP  - 738
EP  - 742
DO  - 10.5591/978-1-57735-516-8/IJCAI11-130
UR  - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-130
ER  -