Formalizing interactive staged feature model configuration

Ebrahim Bagheri, Tommaso Di Noia, Dragan Gasevic, Azzurra Ragone

Research output: Contribution to journalArticleResearchpeer-review

27 Citations (Scopus)


Feature modeling an attractive technique for capturing commonality as well as variability within an application domain for generative programming and software product line engineering. Feature models symbolize an overarching representation of the possible application configuration space, and can hence be customized based on specific domain requirements and stakeholder goals. Most interactive or semiautomated feature model customization processes neglect the need to have a holistic approach towards the integration and satisfaction of the stakeholder's soft and hard constraints, and the application-domain integrity constraints. In this paper, we will show how the structure and constraints of a feature model can be modeled uniformly through Propositional Logic extended with concrete domains, called P(N). Furthermore, we formalize the representation of soft constraints in fuzzy P(N) and explain how semiautomated feature model customization is performed in this setting. The model configuration derivation process that we propose respects the soundness and completeness properties.

Original languageEnglish
Pages (from-to)375-400
Number of pages26
JournalJournal of Software: Evolution and Process
Issue number4
Publication statusPublished - 1 Jun 2012
Externally publishedYes


  • Feature models
  • Logic languages
  • Soft constraints
  • Software product lines
  • Variability

Cite this