IIT , 1{35 () c National Research Council Canada. Formalizing Interactive Staged Feature Model Configuration EBRAHIM BAGHERI, TOMMASO DI NOIA, DRAGAN GASEVIC, AZZURRA RAGONE
[email protected],
[email protected],
[email protected],
[email protected] Abstract. Feature modeling is 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 stake- holder 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 P(N ). Furthermore, we formalize the representation of soft constraints in fuzzy P(N ) 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. Keywords: Feature models, Variability, Software Product Lines, Soft Constraints, Logic lan- guages 1. Introduction Software product family engineering is concerned with capturing the commonali- ties, universal and shared attributes of a set of software-intensive applications for a specific problem domain [1]. It allows for the rapid development of variants of a domain specific application through various configurations of a common set of reusable assets often known as core assets, which support the management of com- monality as well as variability [2].