[发明专利]一种模型驱动的仿真验证方法

说明书

本发明提供一种模型驱动的仿真验证方法，涉及仿真技术，通过搭建包括多个视角视图的体系设计模型，并获取所述体系设计模型的元数据描述规范；定义所述体系设计模型的系统功能元模型到仿真元模型的第一转换规则，以及状态迁移元模型到仿真规则元模型的第二转换规则；基于预设模型对所述第一转换规则和所述第二转换规则处理，生成系统功能元模型到仿真元模型的第一转换规则模板，以及状态迁移元模型到仿真规则元模型的第二转换规则模版；基于所述第一转换规则模板和所述第二转换规则模版对输入输出模型进行转换，生成动态仿真模型库的技术方案，有效提高了体系设计到仿真的成果转换质量和效率，提高了模型的可重用性。

技术领域

本发明涉及仿真技术，尤其涉及一种模型驱动的仿真验证方法。

背景技术

复杂信息系统体系设计、体系仿真及其作战能力评估是复杂信息系统体系研究的主要聚焦点，尤其在军用信息系统领域。

随着军用信息系统日益呈现出使命任务多样、组成关系复杂，行为多样性、结构动态性等复杂特征，而目前基于模型驱动的体系仍存在缺乏统一的语言、方法、规范和工具等诸多问题，使得体系设计模型与仿真模型之间缺乏有效的转换方法，转换质量和效率低下，且模型重用率低，造成仿真模型的重复开发。

发明内容

本发明实施例提供一种模型驱动的仿真验证方法，有效提高了体系设计到仿真的成果转换质量和效率，提高了模型的可重用性。

本发明实施例的第一方面，提供一种模型驱动的仿真验证方法，包括：

搭建包括多个视角视图的体系设计模型，并获取所述体系设计模型的元数据描述规范；

定义所述体系设计模型的系统功能元模型到仿真元模型的第一转换规则，以及状态迁移元模型到仿真规则元模型的第二转换规则；

基于预设模型对所述第一转换规则和所述第二转换规则处理，生成系统功能元模型到仿真元模型的第一转换规则模板，以及状态迁移元模型到仿真规则元模型的第二转换规则模版；

基于所述第一转换规则模板和所述第二转换规则模版对输入输出模型进行转换，生成动态仿真模型库。

可选地，在一种可能实现方式中，所述多个视角视图包括能力视角、作战视角和系统视角的视图；

所述能力视角包括能力结构描述模型；

所述作战视角包括作战活动模型、作战活动与能力映射模型；

所述系统视角包括顶层使命任务模型、高层概念模型、组织关系模型、系统组成模型、系统状态转移描述模型。

可选地，在一种可能实现方式中，所述搭建包括多个视角视图的体系设计模型，包括：

搭建需求库，所述需求库包括能力结构描述模型；

绘制任务设计模型，所述任务设计模型包括使命模型、使命任务模型和任务模型；

绘制作战任务的高层概念模型，所述高层概念模型包括作战对象模型和背景区域模型；

绘制作战任务的作战活动模型，所述作战活动模型包括泳道模型、活动模型和能力模型；

在作战活动模型中为泳道绑定高层概念，并为活动绑定需求，其中，作战活动与能力映射模型包括作战活动模型、能力模型及作战活动与能力的映射关系；

绘制作战任务的功能模块模型，所述功能模块模型包括系统组成模型；

在功能模块模型中为功能模块绑定高层概念，并为功能模块添加接口定义；

绘制功能模块的状态跟踪模型，所述状态跟踪模型包括系统状态转移描述模型；

在状态跟踪模型中为状态机注入行为方程，搭建为包括多个视角视图的体系设计模型。