基于DM2的航空电子系统架构任务元模型设计方法

探究了一种基于DoDAF元模型的航空电子系统架构任务元模型设计方法,通过构建标准、规范和统一的任务元模型数据,表达航空电子系统任务架构设计的需求、结构、行为和参数要素。该方法可推进航空电子体系结构数据的规范性,促进设计数据的共享和重用,有效提升航空电子系统架构设计效率。

基于DoDAF的飞行试验体系需求建模方法

飞行试验集科学性、实践性、风险性、复杂性于一体,现有依据经验的飞行试验体系需求确定模式,其规范性和科学性较差。结合飞行试验特性,在美国DoDAF2.0的基础上,提出一种基于模型的飞行试验体系需求建模方法,将用户要求转换为体系的功能需求、任务需求和系统需求,并围绕这些体系需求确定需求建模框架。结合某A型民机飞机性能要求从功能需求视图、业务活动视图、业务系统视图等视角进行需求建模,验证所提方法的可行性。

基于语义元模型的装备体系结构建模方法

根据以数据为中心的体系结构建模思路,提出了一种装备体系结构语义模型——语义装备体系。首先在DoDAF元模型(DoDAF meta-model,DM2)基础上提出语义元模型,定义了装备体系结构的概念基础类及关联关系,给出了由类、关系、属性和实例构建四元组的本体描述框架;其次基于语义元模型构建了作战视图本体模型、系统视图本体模型、能力视图本体模型,明确了体系组成要素在各视图中的定义、关系和属性的形式化描述;最后以海战场预警探测系统为例进行了实例研究,验证了方法的可行性。

基于元模型的可执行建模方法

DoDAF2．0采用以数据为中心的体系结构设计与分析框架，而可执行模型是进行体系结构分析的一种有效方法，但是现有可执行建模方法都是利用部分视图模型转换得到可执行模型，无法充分发挥以数据为中心方法的优势，并且由于视图模型的半形式化特性，无法确保可执行模型转换的一致性。为了弥补现有可执行建模方法的不足，本文提出了DoDAF元模型向着色Petri网转换的可执行矬模方法，通过分析DoDAF元模型之间的内在关系及其在可执行建模中的作用，建立了DoDAF元模型与若色Petri网的语义映射矩阵及模型转换的详细步骤，证州了此可执行建模方法具有可行性。

基于元模型的可执行体系结构建模方法

可执行模型是进行体系结构分析的一种有效方法,但是现有可执行建模方法都是利用部分视图模型转换得到可执行模型,无法充分发挥以数据为中心方法的优势,并且由于视图模型的半形式化特性,无法确保可执行模型转换的一致性。为了弥补现有可执行建模方法的不足,提出了DoDAF元模型向着色Petri网转换的可执行建模方法,通过分析DoDAF元模型之间的内在关系及其在可执行建模中的作用,建立了DoDAF元模型与着色Petri网的语义映射矩阵及模型转换的详细步骤。