Staged configuration of dynamic software product lines with complex binding time constraints
Staged configuration of dynamic software product lines with complex binding time constraints
复制标题
具有复杂绑定时间限制的动态软件产品线的分阶段配置
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Andy Schürr
中科院分区：
文献类型：
--
作者：
Johannes Bürdek;Sascha Lity;Malte Lochau;M. Berens;U. Goltz;Andy Schürr
动态软件产品线（DSPL）以面向特征的方式为开发高度可配置的、运行时自适应的系统提供了一种很有前途的方法。DSPL在统一的概念框架中集成了时间和空间的可变性。为此，领域特征配备了额外的绑定时间信息，以区分静态配置参数和动态（可重新）配置特征。到目前为止，几乎没有以简洁的方式指定和验证dsl的阶段（重新）配置语义的支持。在本文中，我们提出了包含可变特征绑定时间和不同类型绑定时间约束的领域特征模型的保守扩展。这些扩展的动机是来自自动化工程领域的实际工业案例研究。我们的实现将模型转换为可由相应的最先进的分析工具处理的普通特征模型。我们对案例研究的方法进行了评估。
Dynamic software product lines (DSPL) constitute a promising approach for developing highly-configurable, runtime-adaptive systems in a feature-oriented way. A DSPL integrates both variability in time and space in a unified conceptual framework. For this, domain features are equipped with additional binding time information to distinguish between static configuration parameters and dynamically (re-) configurable features. Until now, little support exists to specify and validate staged (re-)configuration semantics for DSPLs in a concise way. In this paper, we propose conservative extensions to domain feature models comprising variable feature binding times together with different kinds of binding time constraints. Those extensions are motivated by a real-world industrial case study from the automation engineering domain. Our implementation performs a model transformation into plain feature models treatable by corresponding state-of-the-art analysis tools. We conducted an evaluation of our approach concerning the case study.