电子科技大学学报2016，Vol.45Issue(5)：802-807,6.DOI:10.3969/j.issn.1001-0548.2016.05.016
多Agent交互策略模型检测方法
The Method of Model Checking Policy of Multi-Agent Interaction
摘要
Abstract
A verification method of multi-agent interaction policy is proposed based on model checking. The model of system is specified with obligation policy language and it is converted to the input model of model checker NuSMV based on its operational semantics, the properties of system depending on different types of policy conflicts are represented with temporal logic, and the violations of properties are detected by using NuSMV model checker, which can provide the counterexample and trace it back to the errors in interaction policy. The result shows that the method can improve the efficiency of verifying interaction policy, and it ensures the correctness of the design of Multi-agent systems.关键词
形式化方法/模型检测/多Agent系统/NuSMV/政策建模Key words
formal method/model checking/multi-agent system/NuSMV/policy model分类
信息技术与安全科学引用本文复制引用
张涛,谢红,黄少滨..多Agent交互策略模型检测方法[J].电子科技大学学报,2016,45(5):802-807,6.基金项目
国家科技支撑计划(2012BAH08B02)；中央高校基本科研业务费专项基金(HEUCF100603, HEUCF041204)；黑龙江省博士后资助项目(3236310148) （2012BAH08B02）
