针对当前武器装备仿真训练软件(WETS,Weapons and Equipments Training SimulationSoftware)开发存在的问题,提出一种基于特定领域元模型的武器装备仿真训练软件开发方法。采用元建模理论,通过分析WETS基本特征,确定描述构成WETS元模型...针对当前武器装备仿真训练软件(WETS,Weapons and Equipments Training SimulationSoftware)开发存在的问题,提出一种基于特定领域元模型的武器装备仿真训练软件开发方法。采用元建模理论,通过分析WETS基本特征,确定描述构成WETS元模型整体的各部分及其相互关系,构建了描述武器装备仿真训练软件建模语言(WSML,Weapons and Equipments Training Simulation SoftwareModeling Language)的元模型。提出了基于元模型的WETS开发流程。通过大量工程应用,表明该方法是支持模型重用的,可显著提高仿真训练软件的开发效率及其运行可靠性的开发方法。展开更多
为了统一描述军事电子信息系统(command control communication computers intelligence surveil-lance and reconnaissance,C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/obj...为了统一描述军事电子信息系统(command control communication computers intelligence surveil-lance and reconnaissance,C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language,UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。展开更多
文摘针对当前武器装备仿真训练软件(WETS,Weapons and Equipments Training SimulationSoftware)开发存在的问题,提出一种基于特定领域元模型的武器装备仿真训练软件开发方法。采用元建模理论,通过分析WETS基本特征,确定描述构成WETS元模型整体的各部分及其相互关系,构建了描述武器装备仿真训练软件建模语言(WSML,Weapons and Equipments Training Simulation SoftwareModeling Language)的元模型。提出了基于元模型的WETS开发流程。通过大量工程应用,表明该方法是支持模型重用的,可显著提高仿真训练软件的开发效率及其运行可靠性的开发方法。
文摘为了统一描述军事电子信息系统(command control communication computers intelligence surveil-lance and reconnaissance,C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language,UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。
