基于Z形式化规范的多Agent协作模型研究

摘要

A formal specification language Z is used to define the basic elements in the Multi-Agent cooperation model, including the agent, the goal, the role, the interactive protocol and the process. Then, the authors present the consistent constraints that it must satisfy, and demonstrate with the logistics dispatch system of chain malls within the city region that the formal specification can support the consistency and continuity of the multi-Agent cooperation.%用形式化规范语言Z定义了多Agent协作模型的基本元素,包括:Agent、目标、角色、交互协议和过程,给出了应满足的一致性约束,并通过城市区域的连锁超市物流调度系统说明了该形式化规范为多Agent协作提供了一致性和连贯性.