利用对象Petri网验证场景

序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证.将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证.     

以数据为中心的C~4ISR系统体系结构开发方法

体系结构开发方法研究是当前C4ISR系统体系结构技术研究的一个热点,在总结现有相关问题的基础上,提出了以数据为中心的C4ISR系统体系结构开发方法的定义,并提出了该方法的开发过程.将体系结构开发分为初始化、数据分析、数据设计和数据验证四个阶段,并详细说明了各个阶段主要完成的任务及其常用的方法.最后对以数据为中心的体系结构开发方法的发展进行了总结和展望.     

C4ISR系统军事需求开发方法研究

针对C4ISR系统军事需求开发尚无规范、成熟方法的现状,提出了一种新的C4ISR系统军事需求定义,并在此基础上结合体系结构框架理论,提出C4ISR系统军事需求开发分为使命需求开发、作战需求开发、综合保障需求开发和正式需求文档和需求规约生成4个部分,研究了各自的开发方法,并对其开发过程进行了总结.结果可为C4ISR系统实际开发提供有益的指导.