中间产品C4ISR体系结构动态行为语义一致性验证方法

• 作者: 丁泽柳 罗爱民 罗雪山
• 来源期刊: 火力与指挥控制
• 学科: 军事
• 关键词: C4ISR 体系结构 动态行为 一致性 对象Petri网(OPN)
• 年，卷（期）: 2009,（6）
• 所属期刊栏目: 理论研究
• 页码范围: 11-14,23
• 页数: 5页
• 分类号: TP302.1|E96
• 字数: 5473字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-0640.2009.06.004

摘要

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