在软件开发的需求阶段,建立完整而精确的需求文档对于整个软件项目起着至关重要的作用。文档驱动的软件开发方法强调在软件开发的过程中必须建立各种完整的、严格而精确的一系列设计文档,同时采用基于数学关系的Tabular表达式来定义文档的内容。然而,随着软件系统规模的不断扩大,从庞大而原始的文本需求描述转换为精确的形式化需求文档仍然存在着一条鸿沟。以“分离关注点”为核心的面向方面需求工程在需求阶段引入了关注点的概念,通过对需求中特定的目标和概念作为关注点进行识别并定义,有效地降低了系统的复杂性和耦合性。本文通过结合面向方面需求工程和文档驱动的需求方法的优点,给出一种递进的、便于将非形式化和形式化需求关联起来的形式化需求文档定义方法,并提出了一种基于PageRank算法的需求变更影响分析方法,该方法可用于对基于形式化环境变量的系统需求模型进行分析和计算,并可通过对计算结果的分析并结合需求模型进行需求变更的影响分析。本文提出的方法较好地解决了复杂的实时系统的需求文档形式化定义问题以及基于形式化需求描述的需求变更分析问题。