软件体系结构(Software Architecture,SA)研究作为软件工程领域中的一个重要组成部分,受到越来越多的关注.研究者和实践者逐渐达成了基本共识:获得正确的体系结构是系统开发能否成功的一个决定性因素,做出正确的体系结构选择和在新产品开发过程中对过去的体系结构设计进行衡量是非常有价值的.但是目前大多数的研究都集中在体系结构的描述和高层验证上,对于如何根据需求模型获取体系结构还缺乏行之有效的解决方法和指导原则.领域工程是系统地识别、开发和组织领域可复用软件资产的活动,是实现软件复用的重要手段.领域分析是领域工程的前期阶段,是获取领域需求规约的关键过程.领域分析通过对同一领域中的若干应用系统及相关信息进行分析,明确领域应有的基本能力和行为,识别领域中的共性和变化性,建立反映整个领域需求的领域分析模型.目前,面向特征的领域需求组织方式已被主流领域分析方法广泛接受,特征模型成为领域分析模型的主要组成部分.但是,在领域建模的过程中如何保证特征模型的有效性这一重要问题尚未得到足够的关注.虽然SA是一个设计概念,但是如果把SA的概念引入领域分析阶段,借鉴已有系统的SA,考察领域分析阶段可能为将来设计SA提供的信息,开展领域分析,那么,一方面,可以在领域设计过程中对获取特定领域的软件体系结构(DSSA)提供更好的支持;另一方面,可以在新系统的开发过程中具体指导基于SA的系统分析活动,为分析到设计的过渡提供更好的支持.该文主要的工作包括:(1)针对如何在领域建模的过程中保证特征模型的有效性,提出了一种基于逻辑演算的特征模型验证方案,对验证的全过程给出了详细的说明和具体的指导原则.(2)讨论了分析阶段可发现的构件、连接子以及体系结构风格,在特征模型的基础上,使用问题域中的构件、连接子以及体系结构风格对领域需求进行了再组织,形成了基于SA的领域分析模型;同时,对面向特征的建模过程提出了新的要求并进行了补充,给出了一系列的原则和策略用于指导根据特征模型在领域分析阶段启发构件、连接子的识别,形成基于SA的领域建模过程.(3)为相关工作提供了原型工具支持.