基于UML/Petri网的作战指挥可视化建模与验证

• 作者: 李义 桂启山 赵新国 顾晓霞
• 来源期刊: 指挥控制与仿真
• 学科: 工学
• 关键词: 作战指挥 可视化建模 工作流 UML Petri网
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 工程实践
• 页码范围: 98-102
• 页数: 5页
• 分类号: T9391.9
• 字数: 3711字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-3819.2009.05.025

摘要

主要对一种典型作战--"导弹拦截卫星"的指挥活动建立其可视化的军事概念模型.建模过程中主要运用了工作流建模的思想、UML建模语言和Petri网建模方法,建模过程又分为模型构建和模型检验两部分内容,通过模型构建来描述"导弹攻击卫星"指挥活动内容以及活动流程等;而通过模型检验来验证模型自身的正确性,以及对指挥活动分析的正确性.