Loris Bergia
Son article :
![](../wp-content/plugins/jfsma_wp_plugin/img/right.jpg)
Mots-clefs : protocoles d'interaction, ingénierie des protocoles, télé-enseignement, systèmes multi-agents
Résumé : Les systèmes multi-agents s'appuient sur des protocoles d'interaction pour la commu- nication ; toutefois, il n'existe pas à l'heure actuelle d'outils pour aider à la conception et à la validation de ces protocoles. La démonstration que nous proposons décrit une plate-forme pour l'ingénierie des protocoles qui est composée de deux outils : l'outil DIP (Designing Interaction Protocols) qui aide à la conception et l'outil TAP (Testing Agent and interaction Protocols) qui aide à la validation. Nous utilisons ces deux outils afin de concevoir et de valider les proto- coles d'interaction de l'application Baghera et en particulier le protocole qui est employé pour vérifier une preuve émise par un élève.