JMSB home |  E-negotiation project |  Inspire system |  Invite platform | 
  Home |  People |  Purpose |  Projects |  Papers |  Learning |  Community |  Positions  |  Franšais
 InterNeg Research Centre
 Suite MB-014-264
 1450 Guy Street
 Montreal, Quebec H3H 0A1
 Tel: (514) 848-2424-2799

Argumentation for Secure and Verifiable Agent Negotiation


  • Jamal Bentahar, Mohamed El-Menshawy, Maziar Gomrokchi, Babak Khosravifar, Ahmed Moazin & Wei Wan (Concordia University, Canada)
  • Mohamed Mbarki, (Laval University, Canada)


The aim of this project is to investigate the use of argumentation theory, game theory, logic-based reasoning, formal verification techniques, and Web service standards for both improving agents’ negotiation abilities and developing a secure and verifiable computational environment for negotiating agents. This will contribute to the advancement of knowledge in the domain of autonomic computing by proposing a new and rigorous computational model for efficient, secure, and verifiable negotiation. Furthermore, the problem of resource negotiation via communication in a distributed setting is core to a number of applications, particularly the emerging semantic grid computing-based applications such as e-science and e-business. Grid computing is a type of parallel and distributed system that enables the sharing, selection, and aggregation of geographically distributed autonomous resources and services. This project aims to contribute to the advancement of research in this domain by applying the new model to such applications through concrete application scenarios serving as test-beds for the program using the modern developments in the domain of Web services.

Although negotiation issues in autonomic computing have been recently addressed by some researchers, the efficiency of such a negotiation is yet an open problem. In multi-agent systems, where environments are dynamic, agents should not only be able to negotiate resources and services, but they should be efficient in their negotiations by optimizing their choices. The relation between agent negotiation efficiency and the computational complexity should be addressed in order to build advanced negotiation environments. This is because negotiation efficiency requires the use of several computational resources that should be optimized in distributed settings.


  • Architecture of Reputation-Embedded Web Services Communities
    This architecture is designed to maintain the reputation of the communities of Web services. Here we assume that each web service has is associated with a community and do not function alone. The different components of the architecture are, User agent, Master agent, Provider agent, Extended UDDI, and Reputation system.
  • Reputation Model
    This model is used by users and providers to estimate the reputation of a community and is based on responsiveness, inDemand, satisfaction and time recency.
  • Logging Mechanism
    Reliable mechanism capable of managing malicious acts of agents.
  • Experimental Results
    In our  implemented prototype, communities of Web services  are composed of distributed web services agents. The agent reasoning capabilities are implemented as Java modules. The testbed environment is populated with two agent types:
  1. Service provider agents that are known as web services and gathered in a community.
  2. User agents that are seeking for the best service provided by a web service.

The experiments consists of a series of empirical experiments tailored to show the adjustment of the communities’ reputation level.


  August 22, 2019
© Copyright 1996-2019 Gregory Kersten & The InterNeg Group
InterNeg Research Centre, Concordia University (Montreal)