论文部分内容阅读
针对自然语言或图形符号等非形式化方法在刻画传统特征模型所产生的二义性问题,在FODA等方法的研究基础上,提出用形式化语言对特征模型的层次分解、特征间依赖关系、变化性表示方法等方面进行描绘,从而来构建可配置特征模型,以提高设计的可靠性和鲁棒性。提出特征到可配置特征单元的映射规则,通过这些规则可以验证特征模型约束关系与可配置特征模型的一致性。