A Formal Methodology and Technique for Verifying Conversations in a Closed Multi-Agent System
Timothy H. Lacey
Broschiertes Buch

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

Versandkostenfrei!
Versandfertig in über 4 Wochen
59,99 €
inkl. MwSt.
PAYBACK Punkte
30 °P sammeln!
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 ...