Centre de documentation
scientifique

Vers une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents / H. Fadil in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 13 n° 2 (mars - avril 2008)

Public [article]  inIngénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 13 n° 2 (mars - avril 2008) . - pp 33 - 52 Titre : Vers une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents Type de document : Article/Communication Auteurs : H. Fadil, Auteur ; J. Koning, Auteur Année de publication : 2008 Article en page(s) : pp 33 - 52 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information [Termes IGN] langage de modélisation [Termes IGN] schéma conceptuel de données [Termes IGN] système multi-agents [Termes IGN] UML Résumé : (Auteur) Les travaux de recherche relevant du domaine des systèmes multi-agents se sont largement intéressés à la définition de protocoles d'interaction en vue de régir les communications entre agents. Néanmoins, ces protocoles sont souvent informels (décrits par des textes) ou semi-formels (décrits par des diagrammes), et manquent, par conséquent, de bases théoriques solides permettant de prouver leur correction. Il est donc important de mettre en oeuvre une méthodologie stricte et abordable pour spécifier, concevoir et vérifier les protocoles d'interaction de ces systèmes. Pour cela, l'usage d'une méthode formelle, telle que B, présente des avantages indéniables. Dans le cadre de notre investigation, nous proposons, dans un premier temps, une passerelle entre une modélisation semi-formelle en AUML et sa contre-partie formelle en B. Ensuite, nous montrons l'apport de notre démarche en injectant dans la spécification formelle une formalisation d'un ensemble de propriétés élémentaires telles que la cohérence des messages, la pertinence des protocoles et des rôles, etc. Copyright Lavoisier Numéro de notice : A2008-173 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE/SOCIETE NUMERIQUE Nature : Article DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=29168 [article]

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
093-08021	RAB	Revue	Centre de documentation	En réserve L003	Disponible