基于UML&OPN的C4 ISR系统体系结构仿真验证研究

摘要：

基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C4ISR系统体系结构的相关产品.根据产品之间的关联,把产品的UML视图转换为对象Petri网的仿真模型.通过系统动态行为仿真模型的执行,分析体系结构的时序关系、信息流关系和接口关系的合理性,验证系统功能是否满足需求,系统状态的变化是否正确,从而有效,合理地评估系统的性能.

关键词：C4ISR系统、体系结构验证、UML、对象Petri网、仿真

所属期刊栏目：30

分类号：TP392.1;E96(计算技术、计算机技术)

资助基金：装备预研重点基金资助课题9140A06020306kG01

在线出版日期：2008-07-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：671-676