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 the protocol with its knowledge to construct states that are previously hidden to the agent by generating possible commitments between other agents. The agent then queries others to confirm those states. Our framework is built using C+ and Java, and is tested using a realistic delivery scenario.

[1]  A. Chopra.  Contextualizing Commitment Protocols , .

[2]  Munindar P. Singh,et al.  Contextualizing commitment protocol , 2006, AAMAS '06.

[3]  Alessio Lomuscio,et al.  Towards verifying compliance in agent-based web service compositions , 2008, AAMAS.

[4]  Orna Grumberg,et al.  A game-based framework for CTL counterexamples and 3-valued abstraction-refinement , 2007, TOCL.

[5]  Frank Guerin,et al.  Agent Communication Frameworks and Verification , 2002 .

[6]  Munindar P. Singh.  An ontology for commitments in multiagent systems: , 1999, Artificial Intelligence and Law.

[7]  Nico Roos,et al.  Diagnosis of Multi-agent Plan Execution , 2006, MATES.

[8]  Munindar P. Singh,et al.  Verifying Compliance with Commitment Protocols , 1998, Autonomous Agents and Multi-Agent Systems.

[9]  Enrico Giunchiglia,et al.  Nonmonotonic causal theories , 2004, Artif. Intell..

[10]  Munindar P. Singh,et al.  Modeling exceptions via commitment protocols , 2005, AAMAS '05.

[11]  Munindar P. Singh,et al.  Engineering Foreign Exchange Processes via Commitment Protocols , 2007, IEEE International Conference on Services Computing (SCC 2007).

[12]  David Stuart Robertson,et al.  Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-agent Platform , 2005, MATES.

[13]  Evelina Lamma,et al.  Verifiable agent interaction in abductive logic programming: The SCIFF framework , 2008, TOCL.

[14]  Munindar P. Singh,et al.  Flexible protocol specification and execution: applying event calculus planning using commitments , 2002, AAMAS '02.