软件产品线方法是一种面向特定领域的、大规模、大粒度的软件复用技术,而软件产品线可追踪性提供了一种处理软件开发生命周期中所生产的模型间的复杂逻辑关系与依赖关系的有效方法。虽然目前已有多种软件产品线需求追踪方法,但是这些方法仍存在一定的局限性:主要有以阶段性需求描述为主导致的需求获取不完整,追踪信息精确性和完整性不高带来的需求变更困难以及由变更引起的需求不一致问题。针对这些问题,本文主要对软件产品线中领域工程的需求追踪方法进行研究。首先,基于UML对软件产品线可变性建模,基于软件产品线领域需求分析、设计、实现三个阶段,提出了一个支持软件产品线的多视点建模框架,并构建了三个不同视点下的元模型。其次,基于多视点元模型,构建软件产品线多层次需求追踪信息模型,抽象出需求变化途径,通过追踪矩阵以及矩阵运算,实现需求追踪,有利于需求变更管理。然后,基于KAOS方法中对需求不一致性程度的衡量标准,设计可变性约束表对需求的一致性进行管理,消除需求因自然语言描述而产生的二义性和不一致性。最后,将ATM系统作为实际案例,对上述软件需求追踪方法和一致性管理方法进行了可行性和准确性验证,均取得了较好的效果。通过上述研究,基于场景元模型实现软件产品线追踪,是一种有效的追踪方法,为需求变更的管理提供了便利,保证了需求的一致性。因此本文的研究对于软件产品线工程需求可变性管理和提高软件质量以及降低软件维护成本具有一定的理论意义和应用价值。