技术总结
本发明涉及一种软件自适应决策验证方法，所述方法包括如下步骤：层次化MAS模型经过自适应决策策略作用演变成多种异构的层次化多agent系统模型；将所述层次化多agent系统模型转换成统一的中间模型；在中间模型上进行分析、验证，判断中间模型是否满足目标性质，从而完成自适应决策策略的验证，同时，还可以实现多个中间模型的对比，进而实现多种异构的层次化多agent系统模型的对比，从中挑选出符合目标性质的优良模型；筛选出优良的自适应决策策略，对于不符合目标性质的策略给出改进建议。本发明实现层次化状态迁移系统的验证，而且结合了状态空间等价类划分技术，提高了验证效率。
技术研发人员：史建琦;胡志成;黄滟鸿;方徽星;李昂;李新;何积丰
受保护的技术使用者：华东师范大学
文档号码：201611218766
技术研发日：2016.12.26
技术公布日：2017.05.10