论文部分内容阅读
由于特征模型缺乏严格语义基础，难以对模型进行一致性推理，无法保证模型的一致性，进而影响最终软件产品的质量。本文讨论了如何使用描述逻辑对特征模型进行形式化，给出了将特征模型转化为描述逻辑ALCQI知识库的算法，通过验证转化后的知识库的一致性得到所对应特征模型的一致性。并利用描述逻辑的推理机RACER对转换得到的知识库进行推理，自动完成特征模型的一致性检查，为特征模型的一致性检验提供一种方法，实践证明这种方法具有可靠性和高效性。