Feature Models, Grammars, and Propositional Formulas

By Don S. Batory. Software Product Lines Conference, 2005

1,373 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Information Systems, Software

View Paper: https://www.semanticscholar.org/paper/dea093bfdaaba30aba329c5b6cfa8402be436345

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

In Information Systems

In Software

Citations in the corpus

SAT-based analysis of feature models is easy (2009, background): “An important step in this context was the provision of rules for translating feature models to propositional logic [7] [18], which has opened many interesting research opportunities in the use of logic-based systems to reason on feature models, including off-the-shelf technology such as…”
Delta-Oriented Programming of Software Product Lines (2010, methodology): “In the AHEAD Tool Suite [10], the external tool guidsl [6] supports this aspect of product generation.”
Feature Diagrams and Logics: There and Back Again (2007, background): “Feature modeling is a family of notations and an approach for modeling commonality and variability in product families [15] [11] [4].”
Mapping features to models: a template approach based on superimposed variants (2005, background): “Furthermore, feature models allow us to scope and derive domain-specific languages, which are used to specify product-line members in generative software development [1,2,3].”
An Overview of Feature-Oriented Software Development (2009, methodology): “, regarding feature cardinalities [48], propositional constraints [24], and non-functional properties of features [113].”
Reasoning about edits to feature models (2009, methodology): “A refactoring is useful in restructuring a feature model without changing its set of products; specializations are useful during derivation processes when products are eliminated; and generalizations arise when an SPL is extended.”
Verifying feature-based model templates against well-formedness OCL constraints (2006, methodology): “In this work, we use an interpretation of feature models using propositional logic in a similar style as deﬁned by Batory [2].”
Reverse engineering feature models (2011, background): “The configuration semantics can be specified via translation to logic [4].”
S.P.L.O.T.: software product lines online tools (2009, methodology): “Research exploring the connection between feature models and propositional logic [2] has enabled the use of logicbased techniques such as BDDs and SAT solvers to reason on feature models.”
Enabling Flexibility in Process-Aware Information Systems (2012, methodology): “23) by using the notation suggested in [45].”
A Classification and Survey of Analysis Strategies for Software Product Lines (2014, methodology): “Finally, we discuss the methodology of our survey in Section 2.4.”
Generic semantics of feature diagrams (2007, methodology): “Work supported by Walloon Region and FSE under FIRST Europe Objective 3 Project PLENTY EPH3310300R0462 / 215315 Preprint submitted to Elsevier Science 4 May 2006”
Cool features and tough decisions: a comparison of variability modeling approaches (2012, background): “Even though FODA included examples of numeric features, most formalizations of constraints has focused on supporting arbitrary Boolean restrictions [9, 37].”
Feature-Oriented Software Product Lines (2013, methodology): “The translation of feature models to propositional formulas has been described in several publications (Batory 2005; van der Storm 2004; Schobbens et al. 2007).”
FeatureIDE: An extensible framework for feature-oriented software development (2014, methodology): “export and import functionality for GUIDSL (Batory, 2005), Feature Modeling Plug-In (Antkiewicz and Czarnecki, 2004), S.”
Automated analysis of feature models 20 years later: A literature review (2010, methodology): “SAT Solver [17] [5, 14, 16, 56, 70, 75] Alloy [2] [37, 74] BDD Solver [95] [14, 16, 30, 57, 70, 86, 87, 103, 100] SMV [71] [101, 102] Not specified [51, 52]”