Complexity results for argumentation-based agent communication

In autonomous multi-agent systems, agents communicate with each other in order to cooperatively resolve problems and achieve joint goals. In advanced applications such as e-business, agents should be able to communicate not only by exchanging simple massages, but by engaging in complex conversations such as persuasions and negotiations. In this paper, we address the computational complexity problem of such conversations where agents are equipped with reasoning capabilities based upon argumentation. We argue that the computational efficiency of these conversations depends on the underlying logical language and on the type of reasoning mechanisms. In addition, we show how a trade-off between complexity andflexibility could be achieved. ©2008 IEEE

A formal verification approach of conversations in composite web services using NuSMV

Web service composition is currently a very focused-on topic of research, with many studies being proposed by academic and industrial research groups. This paper discusses the design and verification of behavior of composite Web services. We model composite Web services based on two behaviors, namely control and operational. These behaviors communicate through conversation messages. We use state charts to model composite Web services and verify the synchronization of the conversations among them using symbolic model checking with NuSMV. © 2009 IOS Press. All rights reserved

SoMeT - A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV

Web service composition is currently a very focused-on topic of research, with many studies being proposed by academic and industrial research groups. This paper discusses the design and verification of behavior of composite Web services. We model composite Web services based on two behaviors, namely control and operational. These behaviors communicate through conversation messages. We use state charts to model composite Web services and verify the synchronization of the conversations among them using symbolic model checking with NuSMV

On the analysis of satisfaction for web services selection

This paper addresses the issue of selecting Web services residing in a community. Since these Web services have similar functionalities, this selection depends on their Quality of Service (QoS). Existing approaches only consider the satisfaction of users\u27 requirements and neglect the satisfaction of Web services\u27 requirements and the community to which they belong. This paper proposes an approach of selecting Web services based on the satisfaction of all three parties - user, Web service, and community. The approach consists of first, formalizing the selection process and then, using integer programming to define a score function, which can be maximized to find the best selection based on three satisfaction factors. Experiments using real Web services and measurements are conducted to demonstrate the influences of the approach. © 2012 IEEE

An Argumentation-Driven Model for Flexible and Efficient Persuasive Negotiation

The purpose of this paper is to propose a formal description and implementation of a negotiation protocol between autonomous agents using persuasive argumentation. This protocol is designed to be simple and computationally efficient. The computational efficiency is achieved by specifying the protocol as a set of simple logical rules that software agents can easily combine. These latter are specified as a set of computational dialogue games about which agents can reason. The protocol converges by checking the termination conditions. The paper discusses the formal properties of the protocol and addresses, as proof of concept, the implementation issues using an agent-oriented platform equipped with logical programming mechanisms

Using 3-way satisfaction for web service selection: Preliminary investigation

This paper examines the problem of Web service selection in a community. Web services reside in communities due to the similiar functionalities they offer. The selection in communities is important because each Web service provides a different level of service. Selection methods thus far only consider the satisfaction of users and neglect the satisfaction of Web services and the community to which they belong. In this paper we propose a method of selecting a Web service based on the satisfaction of all three parties - user, Web service and community. The proposed solution consists of first formalizing the selection process and then using linear programming techniques to define a score function, which can be maximized to find the best selection based on the three satisfaction factors. © 2011 IEEE

Symbolic model checking composite Web services using operational and control behaviors

This paper addresses the issue of verifying if composite Web services design meets some desirable properties in terms of deadlock freedom, safety (something bad never happens), and reachability (something good will eventually happen). Composite Web services are modeled based on a separation of concerns between business and control aspects of Web services. This separation is achieved through the design of an operational behavior, which defines the composition functioning according to the Web services\u27 business logic, and a control behavior, which identifies the valid sequences of actions that the operational behavior should follow. These two behaviors are formally defined using automata-based techniques. The proposed approach is model checking-based where the operational behavior is the model to be checked against properties defined in the control behavior. The paper proves that the proposed technique allows checking the soundness and completeness of the design model with respect to the operational and control behaviors. Moreover, automatic translation procedures from the design models to the NuSMV model checker\u27s code and a verification tool are reported in the paper. © 2012 Elsevier Ltd. All rights reserved

Reinforcement Learning Framework for Server Placement and Workload Allocation in Multi-Access Edge Computing

Cloud computing is a reliable solution to provide distributed computation power. However, real-time response is still challenging regarding the enormous amount of data generated by the IoT devices in 5G and 6G networks. Thus, multi-access edge computing (MEC), which consists of distributing the edge servers in the proximity of end-users to have low latency besides the higher processing power, is increasingly becoming a vital factor for the success of modern applications. This paper addresses the problem of minimizing both, the network delay, which is the main objective of MEC, and the number of edge servers to provide a MEC design with minimum cost. This MEC design consists of edge servers placement and base stations allocation, which makes it a joint combinatorial optimization problem (COP). Recently, reinforcement learning (RL) has shown promising results for COPs. However, modeling real-world problems using RL when the state and action spaces are large still needs investigation. We propose a novel RL framework with an efficient representation and modeling of the state space, action space and the penalty function in the design of the underlying Markov Decision Process (MDP) for solving our problem

Reputation of communities of Web services - Preliminary investigation

Web services communities can be seen as virtual clusters that agglomerate Web services with the same functionality (e.g., FlightBooking). However, selecting a community to deal with is a challenging task to users and providers. Reputation, besides other selection criteria, has been widely used for evaluating and ranking candidates. Interestingly, the definition of community reputation from the perspective of users differs from the perspective of Web service providers. In this paper, we introduce a reputation-based Web services community architecture and define some of the petformance metrics that are needed to assess the reputation of a Web service community as perceived by users and providers. © 2008 IEEE

Designing And Implementing B2B Applications Using Argumentative Agents

This paper presents a framework for modeling and deploying Business-to-Business (B2B) applications, with autonomous agents exposing the individual components that implement these applications. This framework consists of three levels identified by strategic, application, and resource, with focus here on the first two levels. The strategic level is about the common vision that independent businesses define as part of their decision of partnership. The application level is about the business processes that get virtually integrated as result of this common vision. Since conflicts are bound to arise among the independent applications/agents, the framework uses a formal model based upon computational argumentation theory through a persuasion protocol to detect and resolve these conflicts. In this protocol, agents call reason about partial information using partial arguments, partial attack and partial acceptability. Agents can then jointly find arguments supporting a new solution for their conflict, which is not known by any of them individually. Termination. soundness, and completeness properties of this protocol are presented. Distributed and centralized coordination strategies are also supported in this framework, which is illustrated with a simple online purchasing cage study