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

摘要：

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

关键词：C4ISR、体系结构、动态行为、一致性、对象Petri网(OPN)

所属期刊栏目：34

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

资助基金："十一五"国防预研基金

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

页数：共5页

页码：11-14,23