Automated analysis of feature models

Communications of the ACMPublished 1 December 2006

Don Batory, David Benavides, Antonio Ruiz–Cortés

DOI10.1145/1183236.1183264

Source URL

Citations199

SJR quartileQ1

SJR score1.15

SNIP3.34

TL;DR

This work shows how feature models can be reduced to propositional formulas or to constraint satisfaction problems, for which off-the-shelf tools can validate properties of models or optimize the selection of features.

Abstract

article Share on Automated analysis of feature models: challenges ahead Authors: Don Batory University of Texas at Austin University of Texas at AustinView Profile , David Benavides University of Seville, Spain University of Seville, SpainView Profile , Antonio Ruiz-Cortes University of Seville, Spain University of Seville, SpainView Profile Authors Info & Claims Communications of the ACMVolume 49Issue 12December 2006 pp 45–47https://doi.org/10.1145/1183236.1183264Published:01 December 2006Publication History 121citation1,966DownloadsMetricsTotal Citations121Total Downloads1,966Last 12 Months63Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access

Keywords

Computer Science

Feature-Oriented Domain Analysis (FODA) Feasibility Study

4,194 Citations1990Kyo C. Kang, Sholom Cohen +3 more

This report will establish methods for performing a domain analysis and describe the products of the domain analysis process, and provide a domain analysis of window management system software.

Artificial IntelligenceA theory of diagnosis from first principles

2,897 Citations1987Raymond Reiter

The theory accommodates diagnostic reasoning in a wide variety of practical settings, including digital and analogue circuits, medicine, and database updates, and reveals close connections between diagnostic reasoning and nonmonotonic reasoning.

Software Product Line Engineering

2,276 Citations2005Klaus Pohl, Günter Böckle +1 more

Software Product Line Engineering : Foundations, Principles, and Techniques

2,162 Citations2005Klaus Pohl, Linden, Frank +1 more

In this book, Pohl and his co-authors present a framework for software product line engineering which they have developed based on their academic as well as industrial experience gained in projects over the last eight years.

Lecture notes in computer scienceFeature Models, Grammars, and Propositional Formulas

1,160 Citations2005Don Batory

This work integrates prior results to connect feature models, grammars, and propositional formulas, which allows arbitrary propositional constraints to be defined among features and enables off-the-shelf satisfiability solvers to debug feature models.

Notes on numerical fluid mechanics and multidisciplinary designAutomated Reasoning on Feature Models

612 Citations2005David Benavides, Pablo Trinidad +1 more

View PDF

Verifying feature-based model templates against well-formedness OCL constraints

288 Citations2006Krzysztof Czarnecki, Krzysztof Pietroszek

An automated verification procedure for ensuring that no ill-structured template instance will be generated from a correct configuration, and its practical feasibility through a prototype implementation is presented.

International Joint Conference on Artificial IntelligenceTowards a generic model of configuraton tasks

261 Citations1989Sanjay Mittal, Felix Frayman

A domain-independent model is presented based on two important assumptions: functional architecture and key component per function that limit the complexity of the general configuration task, determine the basic knowledge needed for solving a configurationtask, and enable more efficient problem solving methods.

Lecture notes in computer scienceConstraint-Based Design-Space Exploration and Model Synthesis

110 Citations2003Sandeep Neema, János Sztipanovits +2 more

The tool suite of DESERT, which has been developed for component-based model synthesis, can be interfaced to existing modeling and analysis environments and can be inserted in various, domain specific design flows.

Lecture notes in computer scienceUsing Java CSP Solvers in the Automated Analyses of Feature Models

80 Citations2006David Benavides, Sergio Segura +2 more

This paper presents how a cardinality-based feature model can be also translated into a constraint satisfaction problem and presents a performance test between two off-the-shelf Java constraint solvers.

View PDF