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