Transforming cross-tree relations involving attributes into basic constraints in feature models

Date

2011-12-01

Author

Karataş, Ahmet Serkan
Oğuztüzün, Mehmet Halit S.
Doǧru, Ali

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

156
views

0
downloads

Extended feature models enable expressing powerful constraints by involving feature attributes in cross-tree relations. However, most of the existing methods for the automated analysis of feature models are not devised to handle such models. In this paper we define a transformation to remove such cross-tree relations, which is applicable when certain restrictions hold. This transformation takes an extended feature model with cross-tree relations involving attributes and constructs a semantically equivalent model that includes only basic cross-tree constraints. Those models with the restricted form of cross-tree relations are allowed to have feature attributes with continuous domains. Thus, the proposed transformation enables automated analysis on an equivalent model without facing extra challenges introduced by the inclusion of attributes in cross-tree relations. © 2011 IEEE.

Subject Keywords

Software product lines, Feature models, Feature attributes

URI

https://hdl.handle.net/11511/56973

DOI

https://doi.org/10.1109/icaict.2011.6110910

Collections

Department of Computer Engineering, Conference / Seminar

Suggestions

OpenMETU
Core

Attribute-based variability in feature models Karatas, Ahmet Serkan; Oğuztüzün, Mehmet Halit S. (Springer Science and Business Media LLC, 2016-06-01) Extended feature models enable the expression of complex cross-tree constraints involving feature attributes. The inclusion of attributes in cross-tree relations not only enriches the constraints, but also engenders an extended type of variability that involves attributes. In this article, we elaborate on the effects of this new variability type on feature models. We start by analyzing the nature of the variability involving attributes and extend the definitions of the configuration and the product to suit ...
Mapping Extended Feature Models to Constraint Logic Programming over Finite Domains KARATAS, Ahmet Serkan; OGUZTUZUN, Halit; Doğru, Ali Hikmet (2010-09-17) As feature models for realistic product families may be quite complicated, automated analysis of feature models is desirable. Although several approaches reported in the literature addressed this issue, complex feature-attribute and attribute-attribute relationships in extended feature models were not handled effectively. In this article, we introduce a mapping from extended feature models to constraint logic programming over finite domains. This mapping is used to translate basic, cardinality-based, and ex...
Modified maximum-likelihood method for non-normal time series revisited ULA, TA; Yozgatlıgil, Ceylan (Informa UK Limited, 2004-01-01) The modified maximum-likelihood method has recently been applied to some non-normal time series models. Our evaluation of these applications revealed that several of the information matrices given in these studies are not correct due to incorrect evaluation of the process mean, and that the estimators for some of the models with a location parameter are not correct. We correct these results. We address to several other issues and propose modifications. We also made some additional simulations, especially fo...
From extended feature models to constraint logic programming KARATAS, Ahmet Serkan; Oğuztüzün, Mehmet Halit S.; Dogru, Ali (2013-12-01) Since feature models for realistic product families may be quite complicated, the automated analysis of feature models is desirable. Although several approaches reported in the literature address this issue, complex cross-tree relationships involving attributes in extended feature models have not been handled. In this article, we introduce a mapping from extended feature models to constraint logic programming over finite domains. This mapping is used to translate into constraint logic programs; basic, cardi...
Utilization of feature modeling in axiomatic design Üçtepe, Orhan; Doğru, Ali Hikmet; Department of Computer Engineering (2008) This thesis provides an approach to use feature modeling with a set of guidelines for requirements definition and decomposition activities of the axiomatic design methodology. A tool that supports the development of feature models and modeling of the Axiomatic Design activities is implemented to be utilized for guiding the designer. Axiomatic Design suggested four domains of information in the transformation of the problem definition to the solution, and provided mechanisms for supporting the mapping among ...

Citation Formats

A. S. Karataş, M. H. S. Oğuztüzün, and A. Doǧru, “Transforming cross-tree relations involving attributes into basic constraints in feature models,” 2011, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/56973.