University of Trás-os-Montes and Alto Douro
In this paper, the authors seek to combine two largely independent threads of multi-agent systems research-agent specification and protocols. They specify agents in terms of goal models (as used in Tropos). They specify protocols in terms of the commitments among agents. They illustrate and formalize the semantic relationship between agents and protocols by exploiting the relationship between goals and commitments. Given an agent specification and a protocol, the semantics helps the user perform two kinds of verification: whether the protocol supports achieving particular agent goals and whether the agent's specification supports the satisfaction of particular commitments.