论文部分内容阅读
C4ISR系统是一个规模庞大、层次分明的离散动态系统。文章提出了一种面向C4ISR系统的UML和Petri网结合的建模分析方法。该方法采用从上到下的层次分析方法。用扩展的UML模型对系统组织结构和系统的静态特征进行描述，用扩展的Petri网模型描述和分析系统动态特性，通过相应的规则将Petri网模型转化成状态图和序列图。新方法可以对系统要求进行验证，同时还可以编程实现。最后通过该方法，对一个C4ISR系统进行了建模分析。