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

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

单位：装备指挥技术学院研究生部 装备指挥技术学院试验指挥系