Dans le cadre de cette these, nous nous interessons a l'interaction dans les systemes multi-agents et plus particulierement, aux protocoles d'interaction. Nous avons pu constater l'absence d'une ingenierie des protocoles d'interaction. Aussi, nous faisons la proposition d'une telle ingenierie. Elle s'inspire de celle presente dans les telecommunications et se decompose en plusieurs phases: (1) l'analyse, (2) la description formelle, (3) la validation, (4) l'implementation et (5) le test de conformite. L'analyse decrit le protocole en langage naturel. La description formelle donne le protocole selon un formalisme afin d'eviter toute ambiguite de la langue naturelle. La validation s'assure que le protocole dispose des proprietes definies lors de l'analyse. L'implementation genere un protocole qui est executable par les agents. Enfin, le test de conformite verifie que le protocole executable dispose, lui aussi, des proprietes definies lors de l'analyse."
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.