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

The Method of the C^4ISR Architecture Dynamic Behavior Semantic Consistency Verification based on Middle Product

作　　者：丁泽柳[1] 罗雪山[1] 罗爱民[1] 

机构地区：[1]国防科技大学C4ISR技术重点实验室,湖南长沙410073

出　　处：《火力与指挥控制》2009年第6期11-14,23,共5页Fire Control & Command Control

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

摘　　要：目前对于C4ISR体系结构动态行为一致性设计还没有有效的验证方法。针对C4ISR体系结构动态行为的语义一致性,首先分析了其验证的内容和规则,然后以体系结构动态行为描述关键产品为基础,构建一个中间产品,再将其转换为可执行的对象Petri网模型,利用该对象Petri网模型进行动态行为语义一致性验证,最后通过一个案例对其进行了说明。Presently, there is not any effective method for verifying the consistency of the C4ISR architecture dynamic behavior. The paper aims at the semantic consistency of the C4ISR architecture dynamic behavior. Firstly, the content and the rule of consistency are analyzed. Secondly, a middle product is constructed basing on the key products which describe the dynamic behavior of architecture, then it is transformed into an object Petri net model, so as to verify the dynamic behavior consistency. Finally the method is demonstrated by a typical example.

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

分 类 号：TP302.1[自动化与计算机技术—计算机系统结构] E96[自动化与计算机技术—计算机科学与技术]