A Modeling Framework for Generic Agent Interaction Protocols

2006 ◽  
pp. 207-224 ◽  
Author(s):  
José Ghislain Quenum ◽  
Samir Aknine ◽  
Jean-Pierre Briot ◽  
Shinichi Honiden
Keyword(s):  
Modeling Framework ◽  
Interaction Protocols ◽  
Agent Interaction ◽  
Generic Agent

A GENERIC FORMAL FRAMEWORK FOR CONSTRUCTING AGENT INTERACTION PROTOCOLS

2005 ◽  
Vol 15 (01) ◽  
pp. 61-85 ◽  
Author(s):  
BO CHEN ◽  
SAMIRA SADAOUI
Keyword(s):  
Online Auction ◽  
Multi Agent Systems ◽  
Interaction Protocols ◽  
Formal Framework ◽  
Agent Interaction ◽  
Finite State ◽  
Generic Agent ◽  
Multi Agent ◽  
Almost All ◽  
Abstraction Levels

Agent interaction protocols (AIP) design is one of the principal issues for building multi-agent systems. Indeed, the construction of AIP should integrate theories, methodologies and tools. We propose in this paper a unifying framework that provides a generic agent architecture to be reused as well as a methodology to construct and refine AIP specifications in an incremental way. This framework is based on the highly expressive formal language Lotos and its related technologies, such as finite state machines and temporal logics. Hence, the proposed framework also facilitates formal validation and verification of AIP specifications using rigorous tools. We argue that there are three layers of semantics of Lotos specifications that can improve Lotos expressivity in describing agent interaction. Therefore, this framework can describe almost all aspects of agent interaction and at different abstraction levels. In addition, we demonstrate how to generate an online auction protocol from the generic framework, and how to validate and verify this protocol.

Using a Principal-Agent Model to Investigate Delegation in Systems Engineering

2015 ◽  
Author(s):  
Sean D. Vermillion ◽  
Richard J. Malak
Keyword(s):  
Systems Engineering ◽  
Conceptual Modeling ◽  
Decision Models ◽  
Principal Agent ◽  
Theoretic Model ◽  
Engineering Process ◽  
Vehicle Engineering ◽  
Modeling Framework ◽  
Agent Interaction ◽  
The Impact

Delegation of decision authority is a fundamental characteristic of systems engineering problems. Engineers and managers at higher levels within the organization allocate responsibility and resources to other individuals through requirements flowdown and other processes. The prevalence of schedule slippages and budget overruns on systems engineering projects raises questions about the adequacy of and potential to improve existing methods. However, at present the community lacks a foundational understanding of these processes that would be valuable in identifying and validating candidate improvements to the systems engineering process. In this paper, we develop a conceptual modeling framework for delegation in systems engineering based on the principal-agent problem, a game-theoretic model of agent interaction across hierarchical levels. Several variations on the basic model are possible. We study the model and its variations on an illustrative example of a passenger vehicle engineering process. Numerical results highlight the impact of various assumptions, including whether engineers act normatively or according to proposed behavioral decision models. Implications and extensions are discussed, including the need for behavioral validation of engineering decision models and the potential to use the modeling framework to evaluate newly proposed delegation schemes.

Designing Complex Agent Interaction Protocols Using Colored Petri Nets

2015 ◽  
pp. 728-750
Author(s):  
Djamel Benmerzoug
Keyword(s):  
Formal Model ◽  
Formal Analysis ◽  
Agent Based ◽  
Enterprise Application ◽  
Interaction Protocols ◽  
Complex Agent ◽  
Agent Interaction ◽  
New Business ◽  
Collaborative Activities ◽  
Different Parts

This paper deals with one of the key issue in modern enterprises applications: the Agents Interaction Protocols (AiP) that are interconnecting the different parts involved in collaborative activities. The challenge here is twofold. First, we must provide a formal model that is rich enough to capture interactions characteristics. Second, we must allow designers to combine existing protocols to achieve a new specific need. The paper introduces a formal analysis framework allowing the verification of the conformance between interaction protocols. The semantics of AiP notations used in our approach and its application are described on the basis of translation rules into colored Petri net. The key feature of this framework is the ability to model and formally verify composition of AiP, where particular protocols may then be selected and composed to support a new business task. Furthermore, an agent-based architecture that supports our approach is developed. The main goal of the proposed architecture is to address and tackle AiP composition in the context of Cloud-based enterprise application.

Sign in / Sign up

Export Citation Format

Share Document