[发明专利]一种软件自适应决策验证系统

权利要求书

1.一种软件自适应决策验证系统，其特征在于：

所述系统包括模型转换模块和模型验证模块，两模块之间协调工作；

所述的模型转换模块，用于将经过自适应决策策略作用演变的多种异构的层次化多agent系统模型由模型转换器转换成统一的中间模型，并将所述中间模型输出作为模型验证模块的输入；所述模型转换模块基于EMF框架实现，所述模型转换模块集成完备的层次化多agent系统模型到中间模型的转换规则，具备自检查功能，通过语义互模拟技术检查转换前后模型间的语义等价性；所述中间模型是层次化状态迁移系统，所述层次化状态迁移系统在状态迁移系统的基础上进行扩展，将状态迁移系统扩展为多层次的结构，各层之间紧密联系，共同构成一个完整的状态迁移系统；

所述的模型验证模块，将模型转换模块输出的中间模型作为输入，在中间模型上进行分析、验证，判断中间模型是否满足目标性质，从而完成自适应决策策略的验证，同时，还可以实现多个中间模型的对比，进而实现多种异构的层次化多agent系统模型的对比，从中挑选出符合目标性质的优良模型，最终筛选出优良的自适应决策策略，对于不符合目标性质的策略给出改进建议。

2.如权利要求1所述的软件自适应决策验证系统，其特征在于，所述多种异构的层次化多agent系统模型由层次化MAS模型经过自适应决策策略作用演变而成。

3.如权利要求1所述的软件自适应决策验证系统，其特征在于，所述层次化多agent系统模型是对软件系统进行抽象建模而形成的一个以功能目标为单位，将软件与环境置于统一架构的集分布式与集中式控制于一体的分层式多Agent的系统模型。

4.如权利要求1所述的软件自适应决策验证系统，其特征在于，所述模型验证模块基于层次化状态迁移系统验证算法实现，用于完成层次化状态迁移系统的分析、验证，分析所述自适应决策策略对层次化多agent系统各层模型执行行为、功能、性能的影响，验证所述自适应决策策略的正确性与有效性，并且将分析、验证结果以及改进意见反馈给用户；同时，所述模型验证模块结合状态空间等价类划分技术。

5.如权利要求4所述的软件自适应决策验证系统，其特征在于，所述层次化状态迁移系统验证算法基于层次化状态迁移系统静态和动态展开技术，将层次化状态迁移系统展开成传统的状态迁移系统，并且合理考虑各层模型之间的依赖，扩展经典的状态迁移系统验证算法，在现有工具的基础上实现层次化多agent系统模型的自适应决策验证。

6.如权利要求4所述的软件自适应决策验证系统，其特征在于，所述状态空间等价类划分技术，用于将无限状态集合以状态等价类的方式分解为有限的状态等价类集合，可以提高验证算法的有效性和执行性能。