Verification of Protocol Conformance and Agent Interoperability

  title={Verification of Protocol Conformance and Agent Interoperability},
  author={Matteo Baldoni and Cristina Baroglio and Alberto Martelli and Viviana Patti},
In open multi-agent systems agent interaction is usually ruled by public protocols defining the rules the agents should respect in message exchanging. The respect of such rules guarantees interoperability. Given two agents that agree on using a certain protocol for their interaction, a crucial issue (known as “a priori conformance test”) is verifying if their interaction policies, i.e. the programs that encode their communicative behavior, will actually produce interactions which are conformant… CONTINUE READING


Publications referenced by this paper.

Similar Papers

Loading similar papers…