Verification of agent-based artifact systems

File Description SizeFormat 
live-4424-8235-jair.pdfPublished version449.26 kBAdobe PDFView/Open
Title: Verification of agent-based artifact systems
Authors: Belardinelli, F
Lomuscio, A
Patrizi, F
Item Type: Journal Article
Abstract: Artifact systems are a novel paradigm for specifying and implementing business processes described in terms of interacting modules called artifacts. Artifacts consist of data and lifecycles, accounting respectively for the relational structure of the artifacts states and their possible evolutions over time. In this paper we put forward artifact-centric multi-agent systems, a novel formalisation of artifact systems in the context of multi-agent systems operating on them. Differently from the usual process-based models of services, we give a semantics that explicitly accounts for the data structures on which artifact systems are defined. We study the model checking problem for artifact-centric multi-agent systems against specifications expressed in a quantified version of temporal-epistemic logic expressing the knowledge of the agents in the exchange. We begin by noting that the problem is undecidable in general. We identify a noteworthy class of systems that admit bisimilar, finite abstractions. It follows that we can verify these systems by investigating their finite abstractions; we also show that the corresponding model checking problem is EXPSPACE-complete. We then introduce artifact-centric programs, compact and declarative representations of the programs governing both the artifact system and the agents. We show that, while these in principle generate infinite-state systems, under natural conditions their verification problem can be solved on finite abstractions that can be effectively computed from the programs. We exemplify the theoretical results here pursued through a mainstream procurement scenario from the artifact systems literature.
Issue Date: 13-Oct-2014
Date of Acceptance: 1-Oct-2014
URI: http://hdl.handle.net/10044/1/64610
DOI: https://dx.doi.org/10.1613/jair.4424
ISSN: 1076-9757
Publisher: AI Access Foundation
Journal / Book Title: The Journal of Artificial Intelligence Research
Volume: 51
Copyright Statement: © 2014 AI Access Foundation. Published under the terms of Jair License Version 1.0: https://jair.org/index.php/jair/about
Sponsor/Funder: Engineering & Physical Science Research Council (EPSRC)
Funder's Grant Number: EP/I00520X/1
Keywords: Science & Technology
Technology
Computer Science, Artificial Intelligence
Computer Science
BUSINESS PROCESS MODELS
MULTIAGENT SYSTEMS
KNOWLEDGE
SPECIFICATION
CHECKING
TIME
LOGIC
cs.MA
cs.AI
cs.LO
0102 Applied Mathematics
0801 Artificial Intelligence And Image Processing
1702 Cognitive Science
Artificial Intelligence & Image Processing
Publication Status: Published
Online Publication Date: 2014-10-13
Appears in Collections:Computing



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commonsx