Formalizing interactive staged feature model configuration
Formalizing interactive staged feature model configuration
复制标题
DOI：
10.1002/smr.534
复制
发表时间：
2012-06
期刊：
影响因子：
--
通讯作者：
E. Bagheri;T. D. Noia;D. Gašević;Azzurra Ragone
中科院分区：
文献类型：
--
作者：
E. Bagheri;T. D. Noia;D. Gašević;Azzurra Ragone
特征建模是一种很有吸引力的技术，它可以在生成编程和软件产品线工程的应用领域中捕获共性和可变性。特征模型象征了可能的应用程序配置空间的总体表示，因此可以根据特定的领域需求和涉众目标进行定制。大多数交互式或半自动化的特征模型定制过程忽略了对利益相关者的软硬约束以及应用领域完整性约束的集成和满足的整体方法的需求。在本文中，我们将展示如何通过具有具体域的命题逻辑扩展来统一建模特征模型的结构和约束，称为Pscr（<e:1>）。此外，我们形式化了模糊集合中软约束的表示，并解释了在这种情况下如何执行半自动特征模型定制。我们提出的模型组态推导过程尊重完备性和完备性。版权所有©2011 John Wiley & Sons， Ltd
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.