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
Abstract

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.

URLhttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84988311281&doi=10.1109%2fICTA.2015.7426924&partnerID=40&md5=b90071d788aab87fd79309f12b99b1bf
DOI10.1109/ICTA.2015.7426924
Revues: 

Partenaires

Localisation

Suivez-nous sur

         

    

Contactez-nous

ENSIAS

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

  Télécopie : (+212) 5 37 68 60 78

  Secrétariat de direction : 06 61 48 10 97

        Secrétariat général : 06 61 34 09 27

        Service des affaires financières : 06 61 44 76 79

        Service des affaires estudiantines : 06 62 77 10 17 / n.mhirich@um5s.net.ma

        Résidences : 06 61 82 89 77

Contacts

    

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