Résumé : Abstract Au sein de la communauté IAD, il est habituellement acquis que la coopération entre des agents intelligents requiert une communication explicite, et que le terme de 'communication' signifie davantage que ce qu'il représente dans les systèmes distribués traditionnels. Dans cet article, nous proposons un "langage d'interaction", inspiré de la théorie des actes du langage et préconisons son utilisation dans le cadre de la supervision de réseaux de télécommunications. Un tel langage peut servir non seulement à faire interagir différents agents et superviseur d'un réseau de télécommunications, mais également à modéliser les différentes interactions entre rôles primitifs qu'un agent du réseau peut, assurer. Aller ainsi d'une interaction entre agents vers des interactions entre primitives d'un agent, en utilisant un meine formalisme et un même outil, nous semble constituer un premier pas essentiel vers des langages orientés agent qui soient de réels langages de programmation.

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.

Résumé : Les concepteurs de systèmes multi-agents disposent depuis peu d’un ensemble de mé-thodologies afin de les aider à concevoir leurs agents et leurs systèmes multi-agents. Ces métho-dologies envisagent les agents et les systèmes multi-agents et n’indiquent pas comment réaliserles protocoles d’interaction. L’absence de méthodologie pour les protocoles peut devenir unproblème étant donné la complexité croissante des protocoles. L’objectif de cet article est deprésenter notre proposition d’ingénierie des protocoles qui est une adaptation de l’ingénieriepour les protocoles de communication [HOL 91]. Cette proposition d’ingénierie se décomposeen cinq phases : analyse, description formelle, validation, implémentation et test de conformité.Les quatre dernières font l’objet de cet article.