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

A Multi-Agent Cooperation Model Based on Z Formal Specification

作　　者：裴芳[1] 张洁[1] 郝丽波[1] 

机构地区：[1]湖南机电职业技术学院,长沙410073

出　　处：《火力与指挥控制》2012年第7期61-65,共5页Fire Control & Command Control

基　　金：湖南省教育厅科学研究项目(10C0152)

摘　　要：用形式化规范语言Z定义了多A gen t协作模型的基本元素,包括:A gen t、目标、角色、交互协议和过程,给出了应满足的一致性约束,并通过城市区域的连锁超市物流调度系统说明了该形式化规范为多A gen t协作提供了一致性和连贯性。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系统 协作模型 

分 类 号：TP39[自动化与计算机技术—计算机应用技术]