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

摘要：

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

关键词： 作战指挥 可视化建模 工作流 Petri网

作者: 王明昳 赵新国

作者单位: 装备指挥技术学院研究生部,北京 101416 装备指挥技术学院试验指挥系,101416

会议类型: 国内会议

会议名称: 第十二届全国petri网理论与应用学术年会

会议地点: 天津

会议语种:中文

页码: 114-117

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