Ing�nierie Des Protocoles d'Interaction Pour Les Syst�mes Multi-Agents

Dans le cadre de cette thse, nous nous intressons l'interaction dans les systmes multi-agents et plus particulirement, aux protocoles d'interaction. Nous avons pu constater l'absence d'une ingnierie des protocoles d'interaction. Aussi, nous faisons la proposition d'une telle ingnierie. Elle s'inspire de celle prsente dans les tlcommunications et se dcompose en plusieurs phases: (1) l'analyse, (2) la description formelle, (3) la validation, (4) l'implmentation et (5) le test de conformit. L'analyse dcrit le protocole en langage naturel. La description formelle donne le protocole selon un formalisme afin d'viter toute ambigut de la langue naturelle. La validation s'assure que le protocole dispose des proprits dfinies lors de l'analyse. L'implmentation gnre un protocole qui est excutable par les agents. Enfin, le test de conformit vrifie que le protocole excutable dispose, lui aussi, des proprits dfinies lors de l'analyse.