1.一种软件自适应决策验证方法，其特征在于所述方法包括如下步骤：
步骤一，层次化MAS模型经过自适应决策策略作用演变成多种异构的层次化多agent系统模型；
步骤二，将所述层次化多agent系统模型转换成统一的中间模型；
步骤三，在中间模型上进行分析、验证，判断中间模型是否满足目标性质，从而完成自适应决策策略的验证，同时，还可以实现多个中间模型的对比，进而实现多种异构的层次化多agent系统模型的对比，从中挑选出符合目标性质的优良模型；
步骤四，筛选出优良的自适应决策策略，对于不符合目标性质的策略给出改进建议。
2.如权利要求1所述的软件自适应决策验证方法，其特征在于，所述层次化多agent系统模型是对软件系统进行抽象建模而形成一个以功能目标为单位，将软件与环境置于统一架构的集分布式与集中式控制于一体的分层式多Agent的系统模型。
3.如权利要求1所述的软件自适应决策验证方法，其特征在于，所述步骤二的模型转换基于EMF框架实现，集成完备的层次化多agent系统模型到中间模型的转换规则，具备自检查功能，通过语义互模拟技术检查转换前后模型间的语义等价性。
4.如权利要求3所述的软件自适应决策验证方法，其特征在于，所述中间模型是层次化状态迁移系统，所述层次化状态迁移系统在状态迁移系统的基础上进行扩展，将状态迁移系统扩展为多层次的结构，各层之间紧密联系，共同构成一个完整的状态迁移系统。
5.如权利要求1所述的软件自适应决策验证方法，其特征在于，所述步骤三的验证基于层次化状态迁移系统验证算法实现，用于完成层次化状态迁移系统的分析、验证，分析所述自适应决策策略对层次化多agent系统各层模型执行行为、功能、性能的影响，验证所述自适应决策策略的正确性与有效性，并且将分析、验证结果以及改进意见反馈给用户；同时，所述验证结合状态空间等价类划分技术。
6.如权利要求5所述的软件自适应决策验证方法，其特征在于，所述层次化状态迁移系统验证算法基于层次化状态迁移系统静态和动态展开技术，将层次化状态迁移系统展开成传统的状态迁移系统，并且合理考虑各层模型之间的依赖，扩展经典的状态迁移系统验证算法，在现有工具的基础上实现层次化多agent系统模型的自适应决策验证。
7.如权利要求5所述的软件自适应决策验证方法，其特征在于，所述状态空间等价类划分技术，用于将无限状态集合以状态等价类的方式分解为有限的状态等价类集合。