Towards an approach for behavioral specification of reactive multi-agent system

TitreTowards an approach for behavioral specification of reactive multi-agent system
Publication TypeConference Paper
Year of Publication2015
AuthorsHaqiq, A, Bounabat, B
Conference Name2015 5th International Conference on Information and Communication Technology and Accessibility, ICTA 2015

Reactive Multi-Agent system (RMAS) has emerged as an attractive technology for the design and implementation of distributed and cooperative systems. The RMAS main challenge is how to clearly identify its local and global behavior. Several approaches have been introduced to deal with behavioral specification of RMAS. However, there is a lack in the specification and verification process that facilitates understanding the system from goals identification that the system expects to achieve to formal verification of system properties. In this paper, we are interested to the specification problem of Reactive Multi-Agent System (RMAS) for both individual and collective behavior by taking into account two modes of specification: normal mode and fault-tolerance mode. To do so, we propose a method called BECAMEDA (Behavioral SpEcification and VerifiCAtion of RMAS based on E-MDRA) for the specification and verification of reactive Multi-agent system based on the MDRA (Multi-Decisional Reactive Agent) models. The MDRA specifies the reactive agent behavior by highlighting the decisional aspect of the agent. The BECAMEDA method will be described throughout an example of Car Crisis Management. © 2015 IEEE.




Location map

Suivez-nous sur




Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc

Résultat de recherche d'images pour "icone fax" Télécopie : (+212) 5 37 77 72 30

    Compteur de visiteurs:335,601
    Education - This is a contributing Drupal Theme
    Design by WeebPal.