一种基于形式化可配置特征单元的特征模型

摘要

Aiming at the ambiguity problem incurred by using the natural language or graphical symbols and other non formal methods in describing the traditional feature model.Based on the study of FODA (Feature-Oriented Domain Analysis) method,the formal language is proposed to depict the feature model' s hierarchy decomposition,the feature model's hierarchy decomposition and the dependency relationship between the features and the variability expression,etc.Thus,the configurable feature model is constructed to improve the reliability and robustness of design.The paper also present the mapping rules of feature to configurable feature units,which can be used to test the consistency between the feature model's constraint relationship and the configurable feature model.%针对自然语言或图形符号等非形式化方法在刻画传统特征模型所产生的二义性问题,在FODA等方法的研究基础上,提出用形式化语言对特征模型的层次分解、特征间依赖关系、变化性表示方法等方面进行描绘,从而来构建可配置特征模型,以提高设计的可靠性和鲁棒性.提出特征到可配置特征单元的映射规则,通过这些规则可以验证特征模型约束关系与可配置特征模型的一致性.