Verifying Agents' Conformance with Multiparty Protocols

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.

• Type: Conference
• Year: 2008
• Where: CLIMA
• Authors: Laura Giordano, Alberto Martelli
• Keywords: CLIMA 2008, Correct Executions, Intelligent Agents, Multiparty Protocol, Temporal Action Theory