C~4ISR系统需求工程是我军信息化建设的重要组成部分,需求验证是需求工程建设的重要环节,它是降低系统开发风险和项目成本的有效手段。本文主要围绕基于xUML的需求开发与验证方法开展研究。首先介绍C~4ISR系统需求论证的背景,提出基于可执行模型的系统需求验证方法,总结了需求描述、验证以及可执行模型建立方法的国内外研究现状。而后研究了C~4ISR系统需求的概念和层次,以及需求分析与需求验证的基本概念,总结了需求验证工作的主要内容组成,提出了基于可执行模型的需求验证过程,为需求开发与验证方法的研究提供了理论指导。论文将MDA的思想引入到C~4ISR系统需求的开发中,提出了基于xUML的需求规范化开发方法,使用xUML的各类图形实现需求的描述,建立了平台无关的需求模型。基于可执行模型的需求验证是验证需求模型动态特性的有效手段,论文针对C~4ISR系统需求各种模型的特点,分别加强了动作行为语义,绑定了性能参数,从而建立了C~4ISR系统需求可执行模型;根据C~4ISR系统需求行为和性能描述的特点,论文提出了基于xUML可执行模型的C~4ISR系统需求行为完整性、正确性、可行性的验证方法和性能验证方法。最后,以海上护航编队防空指挥信息系统为背景,对论文提出的需求开发与验证方法进行了应用,验证了方法的合理性。