Ingénierie des protocoles d'interaction pour les systèmes multi-agents: Adaptation de l'ingénierie des protocoles dans les télécommunications au domaine des systèmes multi-agents - Couverture souple

HUGET, Marc-Philippe

 
9786131541445: Ingénierie des protocoles d'interaction pour les systèmes multi-agents: Adaptation de l'ingénierie des protocoles dans les télécommunications au domaine des systèmes multi-agents
Couverture souple
ISBN 10 : 6131541442 ISBN 13 : 9786131541445
Editeur : Éditions universitaires européennes, 2011

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Biographie de l'auteur

Marc-Philippe Huget a obtenu son doctorat d'informatique àl'Université Paris Dauphine sur l'ingénierie des protocolesd'interaction dans les systèmes multi-agents. Depuis il travailleprincipalement sur le développement des systèmes multi-agents, enparticulier les notations et les méthodologies. Il a contribué àla spécification FIPA Agent UML.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Éditions universitaires européennes
Date d'édition
2011
Langue
français
ISBN 10 
6131541442
ISBN 13 
9786131541445
Reliure
Broché
Nombre de pages
284
Coordonnées du fabricant
non disponible
Personne responsable
Andreas Meier
22029659400
info@rheinberg-buch.de

De Gasperi str. 8
Bergisch gladbach
51427
Allemagne