传统的兵力调度方式存在信息化、自动化程度低,协调性、可靠性、适应性以及柔性差等问题,这些问题的存在使得传统的兵力调度手段不能适应信息化作战的需要。基于此本文提出基于工作流的兵力调度解决方案,力图在一定程度上解决存在的问题。围绕研究的目标,本文主要研究了如下内容:(1)提出了基于工作流的兵力调度建模技术。本文针对传统工作流建模在面向大型复杂应用(特别是军事应用)方面的不足,提出基于概念模型工程的一体化建模框架。该建模框架能够充分协调各建模人员和建模阶段,并通过概念模型促进模型复用等。基于该建模框架,面向兵力调度本文进一步研究了基于CMMS的数据搜集、基于ECA规则的兵力调度格式化描述以及基于UML的兵力调度形式化建模,在此基础上给出了基于工作流的兵力调度模型。(2)研究了工作流模型的VV&A。传统工作流模型质量方面的研究多从一些具体技术着手,如仿真、形式化校核等,没有将模型质量作为一个整体考虑。本文针对该问题研究了工作流模型的VV&A。在此基础上本文将模型检验技术引入工作流模型校核,进一步确保了工作流模型质量。(3)提出基于工作流技术的兵力调度解决方案。本文首先提出基于工作流技术的兵力调度的计划和计划执行集成解决方案,提出分层调度模型并研究了相应的集成算法。然后针对兵力调度的特点,提出包含计划层、执行层和控制层的三层兵力调度架构,并在此架构基础上提出基于调度建模的集成解决方案,该方案主要由组件和框架构成,能够满足兵力调度实施的高效高质要求。(4)开发了相应的兵力调度工具集。工具集由组件库、建模工具集和调度执行系统三部分构成,并对各部分相应功能和实现机理进行了分析。(5)本文通过不明空情案例进行了实证研究。