导 师: 梅宏
学科专业: H1202
授予学位: 博士
作 者: ;
机构地区: 北京大学
摘 要: 软件复用的研究和实践表明,针对特定领域的软件复用活动相对容易取得成功。领域工程是为特定领域的软件复用建立可复用软件资产的主要技术手段,其包含领域分析、领域设计和领域实现三个主要阶段,分别对应于领域需求的获取、领域软件体系结构的建立和领域构件的实现这三个活动。其中,“面向特征的领域分析”和“面向软件体系结构的领域设计”是当前领域工程研究的重点。 面向特征的领域分析以“特征”作为组织需求的基本单元,通过分析领域具有的可复用特征和特征之间的依赖关系,建立领域的特征模型。领域设计则以特征模型为输入进行领域软件体系结构的构造。同时,通过定制对特征模型的复用也是形成单个软件产品需求模型的有效手段。 本文在已有研究成果的基础上,针对目前研究存在的不足,以特征模型为切入点,对特征模型的结构、基于特征模型的领域设计、特征模型的建模和定制等问题给出了相应的解决方案。具体而言,本文的主要贡献包括如下方面: ●针对特征模型缺乏统一标准的问题,提出了一种以特征和特征之间的四种依赖关系为核心元素的特征模型结构框架。从内涵和外延两个方面对特征进行了明确的定义;在此基础上,深入研究了特征之间的精化、约束、影响和交互等四种依赖关系,并考察了这四种依赖关系的内在关联性。 ●针对特征模型到软件体系结构的变换问题,提出了一种以特征操作化和责任聚合为手段的高层软件体系结构设计方法。通过操作化把特征设计为一组软件责任和责任之间的交互;在对责任耦合度进行分析的基础上,通过责任聚合形成构件,并据此从责任之间的交互中识别出构件之间的交互。 ●为了提高特征模型定制活动的易实施性,提出了一种形式化的约束关系建模以及约束关系和定制决策合理性的检查机制。把约束关系划分为二元约束、组约束和复杂约束三种类型,并建立了相应的图形化表示机制;提出了检查约束关系和定制决策合理性的三条准则,并实现了对这三条准则的自动化检查。 ●为了提高特征模型建模活动的易实施性,提出了一种以特征分类为基础的特征模型的具体形式,给出了相应的建模过程并开发了相应的支持工具。
分 类 号: [TP311.52]
领 域: [自动化与计算机技术] [自动化与计算机技术]