基于基数(Cardinality)的领域特征建模是一种特殊的领域建模技术。该技术通过引入特征基数、特征组基数、特征属性和特征图引用等技术对FODA[2](Feature-Oriented Domain Analysis面向特征的领域分析方法)方法进行了扩展。基数机制允许在领域模型定制应用模型过程中,对领域模型中的特征和约束关系进行复制,因此在应用模型中将存在同一特征的多个克隆体。采用基数思想将带来以下两个问题:一个问题是特征间的附加约束关系语义缺失,从而导致依赖约束检验应用模型的方法失效。另一问题是,在定制后的应用模型中,由于包含了大量的特征和约束克隆体,造成应用特征模型庞大复杂,模型的正确性检验效率明显降低。针对目前基数特征模型验证中遇到的以上问题,参考领域特征模型检验方法,结合附加约束关系在特征模型中的语义信息,本文提出基数特征模型检验方法,解决了由基数机制引起的模型检验问题。本文主要研究为以下几方面。对于语义缺失问题,首先通过对特征间的关系的分析,给出了特征间附加约束的两个具体约束种类,即二元约束关系和复合约束关系。然后,根据约束关系的完整语义在模型定制后所需求的信息,给出了两类附加约束关系的Schema定义和约束表达形式。以便于本方法对特征模型进行检验。针对克隆机制致使模型中存在大量的特征和附加约束关系拷贝,从而导致模型检验效率较低的问题。本文依据特征的属性和选择状态对附加约束判定的影响,利用无效附加约束关系的充分条件作为判定规则,在特征模型检验前筛除无效附加约束关系,从而降低了模型检验的复杂度。通过对附加约束的种类和语义分析,本文对两类附加约束关系分别提出了检验规则,并给出了检验规则的形式化描述。为了进一步提高应用模型的检验效率,降低模型检验的时间复杂度,本文引入了BDD(二元决策图)机制。通过将附加约束关系构建成BDD,本方法在检验特征模型时,明显减少了在特征树中遍历查找约束关系的次数。