Premium
Formalizing interactive staged feature model configuration
Author(s) -
Bagheri Ebrahim,
Noia Tommaso Di,
Gasevic Dragan,
Ragone Azzurra
Publication year - 2012
Publication title -
journal of software: evolution and process
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.371
H-Index - 29
eISSN - 2047-7481
pISSN - 2047-7473
DOI - 10.1002/smr.534
Subject(s) - feature model , computer science , feature (linguistics) , software product line , domain (mathematical analysis) , software engineering , personalization , soundness , domain model , completeness (order theory) , fuzzy logic , representation (politics) , theoretical computer science , process (computing) , programming language , artificial intelligence , software , software development , mathematics , world wide web , mathematical analysis , philosophy , linguistics , politics , political science , law
SUMMARY 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 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. Copyright © 2011 John Wiley & Sons, Ltd.