Detecting and Explaining Conflicts in Attributed Feature Models
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 th...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2015-04-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1504.03483v1 |
id |
doaj-e4666954c4734b7bbf8677576e02cfaf |
---|---|
record_format |
Article |
spelling |
doaj-e4666954c4734b7bbf8677576e02cfaf2020-11-24T23:00:22ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802015-04-01182Proc. FMSPLE 2015314310.4204/EPTCS.182.3:6Detecting and Explaining Conflicts in Attributed Feature ModelsUwe Lesta0Ina Schaefer1Tim Winkelmann2 TU Braunschweig TU Braunschweig TU Braunschweig 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.http://arxiv.org/pdf/1504.03483v1 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Uwe Lesta Ina Schaefer Tim Winkelmann |
spellingShingle |
Uwe Lesta Ina Schaefer Tim Winkelmann Detecting and Explaining Conflicts in Attributed Feature Models Electronic Proceedings in Theoretical Computer Science |
author_facet |
Uwe Lesta Ina Schaefer Tim Winkelmann |
author_sort |
Uwe Lesta |
title |
Detecting and Explaining Conflicts in Attributed Feature Models |
title_short |
Detecting and Explaining Conflicts in Attributed Feature Models |
title_full |
Detecting and Explaining Conflicts in Attributed Feature Models |
title_fullStr |
Detecting and Explaining Conflicts in Attributed Feature Models |
title_full_unstemmed |
Detecting and Explaining Conflicts in Attributed Feature Models |
title_sort |
detecting and explaining conflicts in attributed feature models |
publisher |
Open Publishing Association |
series |
Electronic Proceedings in Theoretical Computer Science |
issn |
2075-2180 |
publishDate |
2015-04-01 |
description |
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. |
url |
http://arxiv.org/pdf/1504.03483v1 |
work_keys_str_mv |
AT uwelesta detectingandexplainingconflictsinattributedfeaturemodels AT inaschaefer detectingandexplainingconflictsinattributedfeaturemodels AT timwinkelmann detectingandexplainingconflictsinattributedfeaturemodels |
_version_ |
1725642426267205632 |