责任政策形式化验证方法

发布时间：2017-09-08 12:26

  本文关键词：责任政策形式化验证方法

  更多相关文章： 多Agent系统 形式化方法 政策建模 社会承诺 模型检测 责任政策

【摘要】：为了验证多Agent系统设计的正确性,将责任政策作为约束多Agent交互行为的高层"需求规格"或"通信协议",对其进行形式化建模及验证。研究了建模责任政策的形式化框架语言,基于责任状态模型建模责任政策的动态演化过程。给出了政策模型形式化验证方法,将政策模型的操作语义定义为Kripke结构的状态迁移系统,政策中Agent行为的约束规则声明为线性时序逻辑公式,使用模型检测器Nu SMV验证政策模型对线性时序逻辑公式的可满足性。实验结果表明,该方法可有效分析责任政策的设计缺陷,提高多Agent系统设计的正确性。
【作者单位】： 哈尔滨工程大学计算机科学与技术学院;哈尔滨工程大学信息与通信工程学院;
【关键词】： 多Agent系统 形式化方法 政策建模 社会承诺 模型检测 责任政策
【基金】：国家科技支撑计划(2012BAH08B02) 中央高校基本科研业务费专项基金项目(HEUCF100603,HEUCF041204) 黑龙江省博士后基金资助项目(3236310148)
【分类号】：TP18;D035
【正文快照】： 复杂适应系统中多Agent间的行为交互是系统具备“适应性”的前提,也是导致系统“复杂性”的主要原因之一[1]。为在系统设计过程中正确建模A-gent间的交互行为,本文提出一种多Agent系统责任政策的形式化验证方法。多Agent系统中,责任一般是Agent为了满足某些要求而执行的动作[2

【相似文献】

中国重要会议论文全文数据库 前7条

1 高静;曹子宁;;基于空间逻辑和计算树逻辑的模型检测[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年

2 许梅;曹子宁;;基于谓词μ演算和空间逻辑的模型检测算法研究[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年

3 何青;骆翔宇;苏开乐;;对弈必胜策略的符号化模型检测[A];2006年全国理论计算机科学学术年会论文集[C];2006年

4 王飞明;胡元闯;董荣胜;;模型检测中状态爆炸及其优化策略研究[A];广西计算机学会2008年年会论文集[C];2008年

5 陈道喜;张广泉;陈冬火;;NSPK协议的Spin模型检测[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年

6 邢立国;张光甫;刘薇;胥维昌;金一和;;人皮肤模型评价杀菌类农药腐蚀/刺激性研究[A];2014线粒体毒性与基于毒性通路的安全性评价新策略学术研讨会暨中国毒理学会毒理学替代法与转化毒理学专业委员会成立大会论文集[C];2014年

7 张明玉;;我国对外开放、通货膨胀与经济增长相关关系的模型检测[A];面向21世纪的科技进步与社会经济发展（下册）[C];1999年

中国博士学位论文全文数据库 前10条

1 江华;界程演算模型检测[D];贵州大学;2008年

2 林荣德;移动界程演算及模型检测应用的关键问题研究[D];华南理工大学;2010年

3 刘剑;传值进程与移动进程的模型检测方法[D];中国科学院研究生院（软件研究所）;2005年

4 刘志锋;模型检测中关键技术的研究及其应用[D];南京大学;2011年

5 朱维军;时间区间时序逻辑模型检测：理论、算法及应用[D];西安电子科技大学;2011年

6 尹良泽;基于SAT的组合迁移系统模型检测技术研究[D];清华大学;2014年

7 陈冬火;超协调时序逻辑及其模型检测方法[D];中国科学院研究生院（成都计算机应用研究所）;2006年

8 田聪;命题投影时序逻辑的判定性、复杂性、表达性及模型检测[D];西安电子科技大学;2010年

9 黄宏涛;基于懒惰切片的模型检测技术研究[D];哈尔滨工程大学;2012年

10 刘金卓;基于符号化模型检测的软件演化过程模型验证[D];云南大学;2013年

中国硕士学位论文全文数据库 前10条

1 张衍志;符号化模型检测算法的研究[D];吉林大学;2009年

2 黎吾平;模型检测在软件方面的应用[D];吉林大学;2008年

3 吴小娟;并行完备模型检测技术的研究[D];电子科技大学;2013年

4 姜志敏;模型检测在配置中的应用[D];吉林大学;2010年

5 金怡爱;基于模型检测方法的规划[D];吉林大学;2005年

6 施小纯;基于反例搜索的启发式模型检测算法的研究[D];中国科学院研究生院（软件研究所）;2004年

7 王舒鹏;基于外存的大规模模型检测新方法的研究[D];电子科技大学;2015年

8 陈亚军;模型检测在安全协议形式化验证中的应用[D];电子科技大学;2012年

9 殷朝冉;测试目的引导的模型检测方法与技术研究[D];北方工业大学;2015年

10 廉智超;模型检测在模型诊断领域中的应用[D];吉林大学;2007年

，

本文编号：814021