CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishThe paper deals with the problem of agents conformance with multiparty protocols. We introduce a notion of conformance of a set of k agents with a multiparty protocol with k roles, which requires the agents to be interoperable and to produce correct executions of the protocol. We introduce conditions that enable each agent to be independently verified with respect to the protocol. We assume that protocols are specified in a temporal action theory and we show that the problem of verifying the conformance of an agent with a protocol can be solved by making use of automata based techniques. Protocols with nonterminating computations, modeling reactive agents, can also be captured in this framework.
| Titolo: | Verifying Agents’ Conformance with Multiparty Protocols |
| Autori Riconosciuti: | |
| Autori: | L. GIORDANO; A. MARTELLI |
| Data di pubblicazione: | 2009 |
| Abstract: | The paper deals with the problem of agents conformance with multiparty protocols. We introduce a notion of conformance of a set of k agents with a multiparty protocol with k roles, which requires the agents to be interoperable and to produce correct executions of the protocol. We introduce conditions that enable each agent to be independently verified with respect to the protocol. We assume that protocols are specified in a temporal action theory and we show that the problem of verifying the conformance of an agent with a protocol can be solved by making use of automata based techniques. Protocols with nonterminating computations, modeling reactive agents, can also be captured in this framework. |
| Editore: | Springer-Verlag |
| Titolo del libro: | Computational Logic in Multi-Agent Systems, Revised Selected and Invited Papers, Book Series Lecture Notes in Computer Science (LNCS) |
| Volume: | 5405/2009 |
| Pagina iniziale: | 17 |
| Pagina finale: | 36 |
| Nome del convegno: | 9th Int. Workshop CLIMA IX Computational Logic in Multi-Agent Systems |
| Luogo del convegno: | Dresden |
| Anno del convegno: | September 29-30, 2008 |
| Digital Object Identifier (DOI): | 10.1007/978-3-642-02734-5_3 |
| ISBN: | 9783642027338 |
| Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| postproc_CLIMA_IX.pdf | 1 Ver. finale autore | Accesso riservato | Utenti riconosciuti Richiedi una copia |
Copyright © 2019