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 . (Omn.Univ.Europ.) (French Edition)

HUGET, Marc-Philippe

ISBN 10: 6131541442 / ISBN 13: 9786131541445

Editore: Éditions universitaires européennes, 2011

Riguardo questo articolo

Like New.

Codice articolo ERICA79661315414426

Dati bibliografici

• Titolo: 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 . (Omn.Univ.Europ.) (French Edition)
• Editore: Éditions universitaires européennes
• Data di pubblicazione: 2011
• Lingua: Francese
• ISBN 10: 6131541442
• ISBN 13: 9786131541445
• Rilegatura: Paperback
• Condizione: Like New
• Tipo di libro: book

Descrizione articolo

Riassunto

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.

L'autore

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.