Ing?ierie Des Protocoles d'Interaction Pour Les Syst?es Multi-Agents

Dans le cadre de cette th?se, nous nous int?ressons ? l'interaction dans les syst?mes multi-agents et plus particuli?rement, aux protocoles d'interaction. Nous avons pu constater l'absence d'une ing?nierie des protocoles d'interaction. Aussi, nous faisons la proposition d'une telle ing?nierie. Elle s'inspire de celle pr?sente dans les t?l?communications et se d?compose en plusieurs phases: (1) l'analyse, (2) la description formelle, (3) la validation, (4) l'impl?mentation et (5) le test de conformit?. L'analyse d?crit le protocole en langage naturel. La description formelle donne le protocole selon un formalisme afin d'?viter toute ambigu?t? de la langue naturelle. La validation s'assure que le protocole dispose des propri?t?s d?finies lors de l'analyse. L'impl?mentation g?n?re un protocole qui est ex?cutable par les agents. Enfin, le test de conformit? v?rifie que le protocole ex?cutable dispose, lui aussi, des propri?t?s d?finies lors de l'analyse.

Author: Huget-M

Publisher: Omniscriptum

Publication Date: Feb 28, 2018

Number of Pages: 284 pages

Binding: Paperback or Softback

ISBN-10: 6131541442

ISBN-13: 9786131541445