ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Décisions, argumentation et traçabilité dans l’Ingénierie des Systèmes d’Information
En savoir plus >>
Autres revues >>

Ingénierie des Systèmes d'Information

Networking and Information Systems
1633-1311
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 13/2 - 2008  - pp.33-52  - doi:10.3166/isi.13.2.33-52
TITRE
Vers une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents

RÉSUMÉ
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.


ABSTRACT
Research works interested by multi-agent systems have been essentially focused on how to define interaction protocoles in order to manage inter-agent communication. However these agent interaction protocols have often been described in informal ways (using natural language) or in semi-formal ways (by diagrams). Hence, they lack sound theoretical bases that would prove they are correct. Thus, it seems important to clearly define a design methodology which allows to specify and check these system's interaction protocols. In this context, formal methods, such as B, provide a useful contribution. In our investigation, we propose to bridge the gap between a semi-formal modeling in AUML and its formal counterpart in B. Then, we prove how well our approach performs by inserting into the resulting formal specification a number of formal elementary properties such as message coherence, protocols and roles relevance, etc.


AUTEUR(S)
Hind FADIL, Jean-Luc KONING

MOTS-CLÉS
protocoles d'interaction entre agents, multimodélisation, modèles génériques, vérification formelle, rôles.

KEYWORDS
interaction protocols, generic models, formally checking, roles, agents.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (498 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier