面对软件规模和复杂度不断提升的情况,传统的软件开发模式已经无法满足在业务多变的环境下进行软件开发的需求。作为一种实现大规模定制生产的软件工程范例,软件产品线工程试图在一定程度上解决这个问题,近年来也受到越来越多研究者的关注。领域工程和应用工程是软件产品线工程的两个主要阶段,在这两个阶段的开发过程中将产生多个模型。对这些模型进行良好的管理与维护对于软件开发效率与质量的提升具有十分重要的作用。可追溯性提供了一种处理软件开发生命周期中所生产的模型间的复杂逻辑关系与依赖关系的有效方法。在软件产品线开发项目中,关注模型间的可追溯性可以帮助确保开发的其他质量属性,如充分性和可理解性等。因此,对于软件产品线中模型可追溯性的研究具有重要的理论意义和应用价值。本文主要关注软件产品线开发过程中生成的各类模型,并对模型之间的可追溯性进行研究。首先,对软件产品线中的模型(例如特征模型、体系结构模型和构件模型等)进行了详细描述,为之后在模型级别建立追溯关系的工作打下基础。接着,对软件产品线中模型的可追溯性进行分组与分类,对其中生成的各类模型之间的关联进行分析,并以此为基础讨论了一种建立模型间可追溯性的方法,同时对模型追溯关系的维护以及一致性和完整性进行了说明。然后,利用形式概念分析,提出了一种对已经存在的特征模型和软件体系结构之间的可追溯性进行验证的方法。该方法将特征分为功能、环境和实现技术这三个组成部分,定义了特征模型和软件架构的功能表达式,构造了概念格并提出了两个模型之间的映射规则,并且还通过实例研究说明了方法的有效性。最后,设计并实现了可追溯性关系获取工具RTOOL,该工具集成了特征模型和构件模型的可追溯性分析,添加了相似性规则和包含性规则,同时本文还对使用RTOOL工具的操作流程进行了描述。