Formalizing interactive staged feature model configuration

  1. Get@NRC: Formalizing interactive staged feature model configuration (Opens in a new window)
DOIResolve DOI:
AuthorSearch for: ; Search for: ; Search for: ; Search for:
Journal titleJournal of Software: Evolution and Process
Pages375400; # of pages: 26
Subjectfeature models; variability; software product lines; soft constraints; logic languages
AbstractFeature 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 semi-automated 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 Pscr(��). Furthermore, we formalize the representation of soft constraints in fuzzy ��(��) and explain how semi-automated feature model customization is performed in this setting. The model configuration derivation process that we propose respects the soundness and completeness properties.
Publication date
AffiliationNRC Institute for Information Technology; National Research Council Canada
Peer reviewedYes
NPARC number21268234
Export citationExport as RIS
Report a correctionReport a correction
Record identifier070da9a3-d5a8-4899-bc6e-68d2570ded40
Record created2013-06-07
Record modified2016-05-09
Bookmark and share
  • Share this page with Facebook (Opens in a new window)
  • Share this page with Twitter (Opens in a new window)
  • Share this page with Google+ (Opens in a new window)
  • Share this page with Delicious (Opens in a new window)
Date modified: