一种模型驱动的仿真验证方法技术

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

【技术实现步骤摘要】
一种模型驱动的仿真验证方法
本专利技术涉及仿真技术，尤其涉及一种模型驱动的仿真验证方法。
技术介绍
复杂信息系统体系设计、体系仿真及其作战能力评估是复杂信息系统体系研究的主要聚焦点，尤其在军用信息系统领域。随着军用信息系统日益呈现出使命任务多样、组成关系复杂，行为多样性、结构动态性等复杂特征，而目前基于模型驱动的体系仍存在缺乏统一的语言、方法、规范和工具等诸多问题，使得体系设计模型与仿真模型之间缺乏有效的转换方法，转换质量和效率低下，且模型重用率低，造成仿真模型的重复开发。
技术实现思路
本专利技术实施例提供一种模型驱动的仿真验证方法，有效提高了体系设计到仿真的成果转换质量和效率，提高了模型的可重用性。本专利技术实施例的第一方面，提供一种模型驱动的仿真验证方法，包括：搭建包括多个视角视图的体系设计模型，并获取所述体系设计模型的元数据描述规范；定义所述体系设计模型的系统功能元模型到仿真元模型的第一转换规则，以及状态迁移元模型到仿真规则元模型的第二转换规则；基于预设模型对所述第一转换规则和本文档来自技高网...

【技术保护点】
1.一种模型驱动的仿真验证方法，其特征在于，包括：/n搭建包括多个视角视图的体系设计模型，并获取所述体系设计模型的元数据描述规范；/n定义所述体系设计模型的系统功能元模型到仿真元模型的第一转换规则，以及状态迁移元模型到仿真规则元模型的第二转换规则；/n基于预设模型对所述第一转换规则和所述第二转换规则处理，生成系统功能元模型到仿真元模型的第一转换规则模板，以及状态迁移元模型到仿真规则元模型的第二转换规则模版；/n基于所述第一转换规则模板和所述第二转换规则模版对输入输出模型进行转换，生成动态仿真模型库。/n

【技术特征摘要】
1.一种模型驱动的仿真验证方法，其特征在于，包括：
搭建包括多个视角视图的体系设计模型，并获取所述体系设计模型的元数据描述规范；
定义所述体系设计模型的系统功能元模型到仿真元模型的第一转换规则，以及状态迁移元模型到仿真规则元模型的第二转换规则；
基于预设模型对所述第一转换规则和所述第二转换规则处理，生成系统功能元模型到仿真元模型的第一转换规则模板，以及状态迁移元模型到仿真规则元模型的第二转换规则模版；
基于所述第一转换规则模板和所述第二转换规则模版对输入输出模型进行转换，生成动态仿真模型库。


2.根据权利要求1所述的方法，其特征在于，所述多个视角视图包括能力视角、作战视角和系统视角的视图；
所述能力视角包括能力结构描述模型；
所述作战视角包括作战活动模型、作战活动与能力映射模型；
所述系统视角包括顶层使命任务模型、高层概念模型、组织关系模型、系统组成模型、系统状态转移描述模型。


3.根据权利要求2所述的方法，其特征在于，所述搭建包括多个视角视图的体系设计模型，包括：
搭建需求库，所述需求库包括能力结构描述模型；
绘制任务设计模型，所述任务设计模型包括使命模型、使命任务模型和任务模型；
绘制作战任务的高层概念模型，所述高层概念模型包括作战对象模型和背景区域模型；
绘制作战任务的作战活动模型，所述作战活动模型包括泳道模型、活动模型和能力模型；
在作战活动模型中为泳道绑定高层概念，并为活动绑定需求，其中，作战活动与能力映射模型包括作战活动模型、能力模型及作战活动与能力的映射关系；
绘制作战任务的功能模块模型，所述功能模块模型包括系统组成模型；
在功能模块模型中为功能模块绑定高层概念，并为功能模块添加接口定义；
绘制功能模块的状态跟踪模型，所述状态跟踪模型包括系统状态转移描述模型；
在状态跟踪模型中为状态机注入行为方程，搭建为包括多个视角视图的体系设计模型。


4.根据权利要求1所述的方法，其特征在于，所述获取所述体系设计模型的元数据描述规范，包括：
采用轻量级扩展方式和重量级扩展方式扩展得到遵循XMI标准的所述体系设计模型的元数据描述规范。


5.根据权利要求2或4所述的方法，其特征在于，所述顶层使命任务模型、所述高层概念模型采用重量级扩展方式MOF进行扩展；
所述作战活动模型、所述组织关系模型、所述系统组成模型、系统状态迁移描述模型采用基于统一建模语言UML的轻量级扩展方式进行扩展。


6.根据权利要求5所述的方法，其特征在于，所述组织关系模型基于UML类图元模型扩展，所述作战活动模型基于UML活动图元模型扩展，所述系统组成模型基于UML组合结构图元模型扩展，所述系统状态迁移描述模型基于UML状态图元模型扩展。


7.根据权利要求1所述的方法，其特征在于，所述预设模型为Acceleo模型；
所述基于预设模型对所述第一转换规则和所述第二转换规则处理，生成系统功能元模型到仿真元模型的第一转换规则模板，以及状态迁移元模型到仿真规则元模型的第二...

【专利技术属性】
技术研发人员：高暠，吴恩洋，
申请(专利权)人：南京仁谷系统集成有限公司，
类型：发明
国别省市：江苏;32