属性特征模型中冲突的检测与解释
Detecting and Explaining Conflicts in Attributed Feature Models
摘要：
产品配置系统通常基于可变性模型。可变性模型的开发是一个耗时且容易出错的过程。考虑到产品的持续开发，必须频繁调整可变性模型。这些变化往往会导致错误，例如一些产品不能从模型中推导出来，不需要的产品是可推导的，或者在可变性模型中存在矛盾。在本文中，我们提出了一种方法来发现和解释矛盾的属性特征模型，有效地帮助开发人员纠正错误。我们使用扩展的属性和算术约束的特征模型，将它们转化为一个约束满足问题，并探讨那些矛盾。当发现矛盾时，通过QuickXplain算法在约束中搜索一组矛盾关系。
英文摘要：
Product configuration systems are often based on a variability model. The development of a variability model is a time consuming and error-prone process. Considering the ongoing development of products, the variability model has to be adapted frequently. These changes often lead to mistakes, such that some products cannot be derived from the model anymore, that undesired products are derivable or that there are contradictions in the variability model. In this paper, we propose an approach to discover and to explain contradictions in attributed feature models efficiently in order to assist the developer with the correction of mistakes. We use extended feature models with attributes and arithmetic constraints, translate them into a constraint satisfaction problem and explore those for contradictions. When a contradiction is found, the constraints are searched for a set of contradicting relations by the QuickXplain algorithm.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
