Verifying Agents' Conformance with Multiparty Protocols

8 years 3 months ago
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.
Laura Giordano, Alberto Martelli
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2008
Authors Laura Giordano, Alberto Martelli
Comments (0)