Verifying the conformance of agents with multiparty protocols

Laura Giordano; Alberto Martelli

doi:10.3233/978-1-58603-891-5-855

Verifying the conformance of agents with multiparty protocols

Laura Giordano
, Alberto Martelli

Department of Science and Technological Innovation

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

The paper defines a notion of conformance of a set of k agents with a multiparty protocol with k roles, requiring the agents to be interoperable and to produce correct executions of the protocol. Conditions are introduced that enable each agent to be independently verified with respect to the protocol.

Original language	English
Title of host publication	Frontiers in Artificial Intelligence and Applications
Publisher	IOS Press BV
Pages	855-856
Number of pages	2
ISBN (Print)	9781586038915
DOIs	https://doi.org/10.3233/978-1-58603-891-5-855
Publication status	Published - Jun 2008
Event	18th European Conference on Artificial Intelligence, ECAI 2008 - Patras, Greece Duration: 21 Jul 2008 → 25 Jul 2008

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Volume	178
ISSN (Print)	0922-6389
ISSN (Electronic)	1879-8314

Conference

Conference	18th European Conference on Artificial Intelligence, ECAI 2008
Country/Territory	Greece
City	Patras
Period	21/07/08 → 25/07/08

Access to Document

10.3233/978-1-58603-891-5-855

Cite this

@inproceedings{1a3faeeaa41046178e6a6231cd3aa66f,

title = "Verifying the conformance of agents with multiparty protocols",

abstract = "The paper defines a notion of conformance of a set of k agents with a multiparty protocol with k roles, requiring the agents to be interoperable and to produce correct executions of the protocol. Conditions are introduced that enable each agent to be independently verified with respect to the protocol.",

author = "Laura Giordano and Alberto Martelli",

note = "Publisher Copyright: {\textcopyright} 2008 The authors and IOS Press. All rights reserved.; 18th European Conference on Artificial Intelligence, ECAI 2008 ; Conference date: 21-07-2008 Through 25-07-2008",

year = "2008",

month = jun,

doi = "10.3233/978-1-58603-891-5-855",

language = "English",

isbn = "9781586038915",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press BV",

pages = "855--856",

booktitle = "Frontiers in Artificial Intelligence and Applications",

address = "Netherlands",

}

Giordano, L & Martelli, A 2008, Verifying the conformance of agents with multiparty protocols. in Frontiers in Artificial Intelligence and Applications. Frontiers in Artificial Intelligence and Applications, vol. 178, IOS Press BV, pp. 855-856, 18th European Conference on Artificial Intelligence, ECAI 2008, Patras, Greece, 21/07/08. https://doi.org/10.3233/978-1-58603-891-5-855

TY - GEN

T1 - Verifying the conformance of agents with multiparty protocols

AU - Giordano, Laura

AU - Martelli, Alberto

PY - 2008/6

Y1 - 2008/6

N2 - The paper defines a notion of conformance of a set of k agents with a multiparty protocol with k roles, requiring the agents to be interoperable and to produce correct executions of the protocol. Conditions are introduced that enable each agent to be independently verified with respect to the protocol.

AB - The paper defines a notion of conformance of a set of k agents with a multiparty protocol with k roles, requiring the agents to be interoperable and to produce correct executions of the protocol. Conditions are introduced that enable each agent to be independently verified with respect to the protocol.

UR - https://www.scopus.com/pages/publications/85052081235

U2 - 10.3233/978-1-58603-891-5-855

DO - 10.3233/978-1-58603-891-5-855

M3 - Conference contribution

AN - SCOPUS:85052081235

SN - 9781586038915

T3 - Frontiers in Artificial Intelligence and Applications

SP - 855

EP - 856

BT - Frontiers in Artificial Intelligence and Applications

PB - IOS Press BV

T2 - 18th European Conference on Artificial Intelligence, ECAI 2008

Y2 - 21 July 2008 through 25 July 2008

ER -

Verifying the conformance of agents with multiparty protocols

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this