| 中间产品C~4ISR体系结构动态行为语义一致性验证方法 |
| |
| 引用本文： | 丁泽柳,罗雪山,罗爱民.中间产品C~4ISR体系结构动态行为语义一致性验证方法[J].火力与指挥控制,2009,34(6). |
| |
| 作者姓名： | 丁泽柳 罗雪山 罗爱民 |
| |
| 作者单位： | 国防科技大学C4ISR技术重点实验室,湖南,长沙,410073 |
| |
| 摘 要： | 目前对于C4ISR体系结构动态行为一致性设计还没有有效的验证方法.针对C4ISR体系结构动态行为的语义一致性.首先分析了其验证的内容和规则,然后以体系结构动态行为描述关键产品为基础,构建一个中间产品,再将其转换为可执行的对象Petri网模型,利用该对象Petri网模型进行动态行为语义一致性验证,最后通过一个案例对其进行了说明.
|
| 关 键 词： | 体系结构 动态行为 一致性 对象Petri网(OPN) |
The Method of the C~4ISR Architecture Dynamic Behavior Semantic Consistency Verification based on Middle Product |
| |
| DING Ze-liu,LUO Xue-shan,LUO Ai-min.The Method of the C~4ISR Architecture Dynamic Behavior Semantic Consistency Verification based on Middle Product[J].Fire Control & Command Control,2009,34(6). |
| |
| Authors: | DING Ze-liu LUO Xue-shan LUO Ai-min |
| |
| Institution: | Key Laboratory of C4ISR Technology;National University of Defense Technology;Changsha 410073;China |
| |
| Abstract: | 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 de... |
| |
| Keywords: | C4ISR |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
