{"type":"ScholarlyArticle","title":"A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results","authors":[{"name":"Francesco Belardinelli","slug":"francesco-belardinelli","given":"Francesco","family":"Belardinelli","affiliation":""},{"name":"Alessio Lomuscio","slug":"alessio-lomuscio","given":"Alessio","family":"Lomuscio","affiliation":""},{"name":"Fabio Patrizi","slug":"fabio-patrizi","given":"Fabio","family":"Patrizi","affiliation":""}],"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.","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","markdown":"https://ijcai.org/proceedings/2011/130.md","bibtex":"https://ijcai.org/proceedings/2011/bibtex/130","volume":{"slug":"2011","title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2011","url":"https://ijcai.org/proceedings/2011/","year":2011,"location":"Barcelona, Catalonia, Spain","dates":"16–22 July 2011","editors":"Toby Walsh","isbn":"978-1-57735-512-0; 978-1-57735-513-7; 978-1-57735-514-4; 978-1-57735-515-1; 978-1-57735-516-8","publisher":"AAAI Press/International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":130,"pages":{"first":738,"last":742},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}