Detecting Exceptions in Commitment Protocols: Discovering Hidden States

8 years 7 months ago
Detecting Exceptions in Commitment Protocols: Discovering Hidden States
—Open multiagent systems consist of autonomous agents that are built by different vendors. In principle, open multiagent systems cannot provide any guarantees about the behaviors of their agents. This means that when agents are working together, such as carrying out a business protocol, one agent’s misbehavior may potentially create an exception for another agent and obstruct its proper working. Faced with such an exception, an agent should be able to identify the problem by verifying the compliance of other agents. Previous work on verification of protocols unrealistically assume that participants have full knowledge of a protocol. However, when multiple agents enact a protocol, each agent has access to its part of the protocol and not more. This will require agents to check verification by querying others and more importantly by discovering the contracts between them. Here, we propose a commitment-based framework for detecting exceptions in which an agent augments its part of t...
Özgür Kafali, Pinar Yolum
Added 26 Jul 2010
Updated 26 Jul 2010
Type Conference
Year 2009
Where LADS
Authors Özgür Kafali, Pinar Yolum
Comments (0)