文献检索-宁波市创意产业特色资源库

限定检索结果

责任政策形式化验证方法: 收藏
分享
引用; 《哈尔滨工程大学学报》2016年第4期37卷 585-591页; 作者：张涛谢红黄少滨哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨150001 哈尔滨工程大学信息与通信工程学院黑龙江哈尔滨150001; 为了验证多Agent系统设计的正确性,将责任政策作为约束多Agent交互行为的高层"需求规格"或"通信协议",对其进行形式化建模及验证。研究了建模责任政策的形式化框架语言,基于责任状态模型建模责任政策的动态演化过...; 为了验证多Agent系统设计的正确性,将责任政策作为约束多Agent交互行为的高层"需求规格"或"通信协议",对其进行形式化建模及验证。研究了建模责任政策的形式化框架语言,基于责任状态模型建模责任政策的动态演化过程。给出了政策模型形式化验证方法,将政策模型的操作语义定义为Kripke结构的状态迁移系统,政策中Agent行为的约束规则声明为线性时序逻辑公式,使用模型检测器Nu SMV验证政策模型对线性时序逻辑公式的可满足性。实验结果表明,该方法可有效分析责任政策的设计缺陷,提高多Agent系统设计的正确性。; 来源：详细信息评论

限定检索结果