Back to Search

Ingénierie Des Protocoles d'Interaction Pour Les Systèmes Multi-Agents

AUTHOR Huget-M
PUBLISHER Omniscriptum (02/28/2018)
PRODUCT TYPE Paperback (Paperback)

Description
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.
Show More
Product Format
Product Details
ISBN-13: 9786131541445
ISBN-10: 6131541442
Binding: Paperback or Softback (Trade Paperback (Us))
Content Language: French
More Product Details
Page Count: 284
Carton Quantity: 28
Product Dimensions: 5.98 x 0.64 x 9.02 inches
Weight: 0.92 pound(s)
Country of Origin: FR
Subject Information
BISAC Categories
Computers | General
Computers | General
Descriptions, Reviews, Etc.
publisher marketing
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.
Show More
List Price $126.00
Your Price  $124.74
Paperback