论文部分内容阅读
软件复用是解决软件危机、实现软件产业工业化生产方式的有效方法。领域工程是软件复用过程中的一个重要环节,其前期阶段领域分析是获取领域需求规约的关键过程。在领域分析中,面向特征的分析方法已经被许多重要的软件复用方法使用。它的基本思想是将特征(即具有客户/用户价值的软件特点)作为软件的基本要素,使用特征以及特征之间的关系(这两者的组合也被称为领域特征模型)来组织软件的需求问题。特性模型具有良好的可剪裁性和可扩展性,为领域需求的复用提供了有力的支持。在面向特征的方法中,特征模型的建模与定制问题被广泛关注。在当前的面向特征方法中,特征模型通常采用特征树的形式表示。然而,特征树的形式在特征模型的规模较大时,无法做到直观简捷,不利于特征模型的建模操作。在特征模型中,特征之间存在着广泛的约束关系,对特征的绑定状态进行修改可能使约束关系产生冲突,因此需要设计相关算法,在修改特征的绑定状态时,定制工具可以自动调整其他特征的绑定状态以保证模型中的约束关系得到满足。本文针对以上两个问题,提出特征模型的建模与定制方法,并以此设计支持工具辅助特征模型的建模与定制操作。 本文介绍特征模型的思想与表现形式,并且深入探讨关于特征模型的建模方法与定制的自动传播与选择性回退算法。主要工作包括:⑴提出基于矩阵的特征模型表现形式,阐述其构造方法,并说明基于矩阵的优点,为特征模型的定制算法做准备。⑵提出特征模型的重构方法,证明特征模型的定制问题是一个NP完全性问题,并以此提出特征模型的定制的自动传播算法与选择性回退算法,给出特征模型定制的多种选择性回退方案,以数据论证该算法的可行性。⑶结合特征模型的模型建模方法与特征模型的定制算法,利用基于矩阵的特征模型表示方法实现了特征模型的建模与定制工具,为上述算法提供了工具支持。