Title: A unification-based approach to configure generic protocols into agent interaction models
Author: Jose Ghislain Quenum, Samir Aknine
Department of Computer Science, Faculty of Computing and IT, Makerere University, P.O. Box 7062, Kampala, Uganda.
Informatique de Paris 6, 104 avenue du President Kennedy, 75016 Paris, France
Abstract: This paper presents a new approach for generic protocol configuration in agents' internal models. Generic protocols are reusable predefined sequences of message exchanges. Their specifications are most of the time merged with the internal architecture of agents. This requires designers to introduce them by hand every time it is needed. It results in inconsistencies that may occur in message exchange at run time. Inconsistent message exchange in turn results in the failure of the associated interaction. First, we introduce a new language to specify generic protocols. Then we generate the interaction model of agents using their functional model, a generalisation of the design model (only the part devoted to interaction). In order to generate the interaction model, we developed a unification mechanism to automatically check the compliance of a protocol specification with the elements of a functional model. We argue that our approach guarantees that the implementation of the interaction model complies with the initial specification of the protocols it is based on. Here, we discuss the knowledge and reasoning mechanism involved in our approach. An implementation of our approach is also discussed. Particularly, we show the approach's effectiveness with real-world and complex applications.
Keywords: agent internal models; multi-agent systems; MAS; heterogeneity; interaction modelling; generic protocols; unification; protocol configuration; agent-based systems.
Int. J. of Agent-Oriented Software Engineering, 2010 Vol.4, No.1, pp.32 - 78
Available online: 02 Dec 2009