论文部分内容阅读
目前对于C4ISR体系结构动态行为一致性设计还没有有效的验证方法。针对C4ISR体系结构动态行为的语义一致性，首先分析了其验证的内容和规则，然后以体系结构动态行为描述关键产品为基础，构建一个中间产品，再将其转换为可执行的对象Petri网模型，利用该对象Petri网模型进行动态行为语义一致性验证，最后通过一个案例对其进行了说明。