Article citationsMore>>

I. R. Hernandez, “Modelling, Formal Specification and Verification of Interaction Protocols: A Role-Based Approach,” Ph. D. Thesis, National Institute of Polytechnique of Grenoble, 2004.

has been cited by the following article:

• TITLE: APN Model for Specification of the Communication Protocols in Multi-Agent System

  AUTHORS: Marzougui Borhen, Kamel Barkaoui, NejibBen Hadj Alouane

  KEYWORDS: Model; AP; MAS; formalism; Interact; FIFA; Protocols

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.6 No.9A, August 30, 2013

  ABSTRACT: This paper deals with the proposal of a new model based on Agent Petri Nets (APN) to specify interactions among agents in Multi Agents System (MAS). Indeed, an agent approach requires a powerful and expressive formalism that allows him to model the behavior of a set of agents that interact. We are modeling some variants of FIPA standard protocols. Our Models are found based on communicating cognitive agents. Each Agent is capable of perceiving their environment partly and building, sending and receiving messages.