Ingénierie Des Protocoles d'Interaction Pour Les Systèmes Multi-Agents » książka
Ingénierie Des Protocoles d'Interaction Pour Les Systèmes Multi-Agents
ISBN-13: 9786131541445 / Francuski / Miękka / 2018 / 284 str.
Ingénierie Des Protocoles d'Interaction Pour Les Systèmes Multi-Agents
ISBN-13: 9786131541445 / Francuski / Miękka / 2018 / 284 str.
(netto: 380,03 VAT: 5%)
Najniższa cena z 30 dni: 399,03
ok. 10-14 dni roboczych
Bez gwarancji dostawy przed świętami
Darmowa dostawa!
Dans le cadre de cette thA]se, nous nous intA(c)ressons A l'interaction dans les systA]mes multi-agents et plus particuliA]rement, aux protocoles d'interaction. Nous avons pu constater l'absence d'une ingA(c)nierie des protocoles d'interaction. Aussi, nous faisons la proposition d'une telle ingA(c)nierie. Elle s'inspire de celle prA(c)sente dans les tA(c)lA(c)communications et se dA(c)compose en plusieurs phases: (1) l'analyse, (2) la description formelle, (3) la validation, (4) l'implA(c)mentation et (5) le test de conformitA(c). L'analyse dA(c)crit le protocole en langage naturel. La description formelle donne le protocole selon un formalisme afin d'A(c)viter toute ambiguAtA(c) de la langue naturelle. La validation s'assure que le protocole dispose des propriA(c)tA(c)s dA(c)finies lors de l'analyse. L'implA(c)mentation gA(c)nA]re un protocole qui est exA(c)cutable par les agents. Enfin, le test de conformitA(c) vA(c)rifie que le protocole exA(c)cutable dispose, lui aussi, des propriA(c)tA(c)s dA(c)finies lors de l'analyse.
Dans le cadre de cette thèse, nous nous intéressons à linteraction dans les systèmes multi-agents et plus particulièrement, aux protocoles dinteraction. Nous avons pu constater labsence dune ingénierie des protocoles dinteraction. Aussi, nous faisons la proposition dune telle ingénierie. Elle sinspire de celle présente dans les télécommunications et se décompose en plusieurs phases: (1) lanalyse, (2) la description formelle, (3) la validation, (4) limplémentation et (5) le test de conformité. Lanalyse 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 sassure que le protocole dispose des propriétés définies lors de lanalyse. Limplé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 lanalyse.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
