面向目标的C4ISR系统效能概念建模与一致性分析方法

为了解决C4ISR系统效能需求的获取与验证问题, 从C4ISR系统的软目标分析出发, 构造了C4ISR系统能力元本体, 提出了 一种本体引导的C4ISR系统效能需求获取算法; 利用UML Profile扩展机制, 设计了效能概念的对象建模方法; 探讨了基于本体概念推理的效能概念模型一致性检验算法, 研究了从UML模型到描述逻辑本体的映射算法; 最后以一个防空系统效能分析案例, 说明方法的理论可行性.     

SysML对C4ISR系统建模的支持研究

为解决C4ISR建模中的语义表达精确性和完整性问题,提出了基于系统建模语言(SysML)的C4ISR分析与设计建模方法.通过分析SysML的机制,研究了SysML新增的需求图、参数图和扩展的块图、活动图等模型对C4ISR建模的支持作用,探讨了其对C4ISR建模的精确描述和定量分析优势.以某区域防空系统为例,研究了基于SysML的系统建模分析过程,结果表明该文方法对于C4ISR的精确语义建模合理可行.     

基于本体的需求模型演变影响分析

为实现需求演变过程管理,有效解决需求演变对系统的影响分析,通过构造定义本体来记录需求演变不同周期内的各类信息,并采用分层管理的策略,根据需求之间的依赖关系,构建了需求依赖分层树,展示需求之间的相互依赖关系,并引入代价分析方程来确定需求演变处理的优先级。这种基于本体的方法能够形成需求演变管理框架,实现对需求演变的自动管理以及对需求演变控制和需求追踪。     

可执行能力需求模型的动作语义研究

针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言(unified modeling language, UML)动作语义,提出了可执行能力需求建模方法。该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型,描述了动作语义的基本内容、执行机制以及表示。最后构建了可执行能力需求模型的仿真平台,并通过案例证明了可执行能力需求建模方法不仅能精确形式化描述能力需求模型的动态行为语义,同时也实现了能力需求模型的仿真和验证。     

复杂系统能力需求模型的仿真技术与实现

为了实现复杂系统能力需求模型的仿真,提出了一种基于能力元概念构建仿真虚拟机实现能力需求模型可执行仿真的方法。首先采用巴科斯范式对需求模型进行形式化规范,再利用UML扩展机制将需求模型映射为仿真实例模型,并提出转换算法。最后,通过构建模型仿真虚拟机,实现了能力需求模型的可执行仿真,示例表明了该仿真方法的可行性。