随着军队网络中心作战技术的深入发展,服务化逐渐成为军事信息系统的发展趋势。按照面向服务的思想,全军正在积极推进信息系统的服务化建设。在服务化军事信息系统的运行过程中,系统内外环境会发生变化,传统的静态组合优化模式无法满足用户需求,需要对系统进行动态重构。近年来,国内外专家学者和军事信息系统建设人员,在服务化军事信息系统的构建技术方面进行了深入研究。另外,针对分布式计算和车间生产调度等系统的动态重构研究已屡见不鲜,但在服务化军事信息系统的动态重构方面研究工作相对较少。因此,本文在服务化军事信息系统已有研究的基础上,进行了适用于服务化军事信息系统动态重构的通用技术研究,主要研究工作及创新点如下:(1)建立了基于过程描述的动态重构约束满足模型。服务化军事信息系统的动态重构问题,内涵深刻,外延广泛,为清晰全面的定义问题,从组成、行为和特征等方面进行描述。根据服务化军事信息系统的动态重构问题特点和研究需要,将动态重构问题转化为服务动态组合和工作流结构优化两部分进行研究。综合图论、Petri网等形式化建模方法的优势,针对动态重构的系统性和周期性,提出了基于过程描述的约束满足模型。(2)提出了系统的动态重构框架和执行流程。为有效求解系统动态重构问题,需要构建完整的框架并设计高效的执行流程。通过分析服务优化组合框架的组成结构,归纳出现有研究的改进方向。结合服务化系统组成和结构特点,构建了整体性强和运行效率高的动态重构框架,并提出了完整的动态重构流程,能够针对系统运行过程中的条件变化,选择有效的策略进行调整和优化,保证系统执行最优工作方案完成用户功能需求。(3)设计了动态重构优化算法。以基于过程描述的约束满足模型为基础,通过改进人工蜂群算法的局部搜索策略、全局搜索策略以及可行方案评价机制,提出了工作方案生成算法,并进一步根据系统动态重构机制设计了动态重构优化算法。(4)进行了系统动态重构的案例推演。通过实际军事信息系统的组成、结构以及功能,以面向层次结构的系统服务化过程验证了模型框架的可行性,推演系统执行具体任务的过程验证了动态重构流程的合理性以及算法的有效性。