LES DERNIÈRES INFORMATIONS
Towards an approach for behavioral specification of reactive multi-agent system
Titre | Towards an approach for behavioral specification of reactive multi-agent system |
Publication Type | Conference Paper |
Year of Publication | 2015 |
Authors | Haqiq, A, Bounabat, B |
Conference Name | 2015 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.
|
URL | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84988311281&doi=10.1109%2fICTA.2015.7426924&partnerID=40&md5=b90071d788aab87fd79309f12b99b1bf |
DOI | 10.1109/ICTA.2015.7426924 |
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.