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.
"synopsis" may belong to another edition of this title.
Hard to find
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.
"About this title" may belong to another edition of this title.
£ 8 shipping within United Kingdom
Destination, rates & speedsSeller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New. Seller Inventory # 6666-IUK-9786131541445
Quantity: 10 available
Seller: moluna, Greven, Germany
Condition: New. Seller Inventory # 5796328
Quantity: Over 20 available
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In. Seller Inventory # ria9786131541445_new
Quantity: Over 20 available
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9786131541445
Quantity: Over 20 available
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 284 pp. Französisch. Seller Inventory # 9786131541445
Quantity: 2 available
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Seller Inventory # 9786131541445
Quantity: 2 available
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9786131541445
Quantity: Over 20 available
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 284. Seller Inventory # 26129434192
Quantity: 4 available
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New. Seller Inventory # ABLIING23Apr0316110201521
Quantity: Over 20 available
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand pp. 284 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam. Seller Inventory # 130071951
Quantity: 4 available