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

作者：裴芳; 张洁; 郝丽波

来源：火力与指挥控制, 2012, (07): 61-65.

• Z语言
• 形式化规范
• 多Agent系统
• 协作模型 Z language
• formal specification
• multi-Agent system
• cooperation model

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

• 单位
  湖南机电职业技术学院