Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System

A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System

Lacey, Timothy H.
Air Force Institute of Technology (U S )

Paperback

General ComputersGeneral Education

ISBN10: 124944957X
ISBN13: 9781249449577
Publisher: Biblioscholar
Published: Sep 20 2012
Pages: 92
Weight: 0.31
Height: 0.19 Width: 6.14 Depth: 9.21
Language: English
As network bandwidth increases, distributed applications are becoming increasing lyprevalent. Systems using these applications are very complicated to build and must be dependable. Software agents are ideal for breaking complicated problems into manageable subtasks. Agent conversations, a series of messages passed between agents, are the cornerstone of multi-agent systems and must be deemed correct before being placed into service. The purpose of this research was to develop a formal methodology and technique to verify that the communication protocols defined in a multi-agent environment were valid. This was accomplished by examining agent conversations before deploying the system. An additional goal of this research was to develop a proof-of-concept module for agent Tool that automatically verified some of the important properties identified in this methodology.

Also in

General Education

View All