A model for tracing variability from features to product-line architectures: a case study in smart grids
A model for tracing variability from features to product-line architectures: a case study in smart grids
复制标题
DOI：
10.1007/s00766-014-0203-1
复制
发表时间：
2014-02
影响因子：
2.8
通讯作者：
Jessica Díaz;Jennifer Pérez;J. Garbajosa
中科院分区：
文献类型：
--
作者：
Jessica Díaz;Jennifer Pérez;J. Garbajosa
在当前具有高度易变需求的软件系统中，可追溯性在维护需求和代码之间的一致性方面起着关键作用。软件产品线（SPL）开发中涉及的工件之间的可追溯性仍然是更为关键的，因为有必要保证实现不同SPL产品的变体的选择满足需求。当前的SPL跟踪机制从特性的可变性到产品线体系结构（PLA）配置的变化，在添加和删除组件方面进行跟踪。然而，并不总是可以通过添加或删除组件来实现SPL的可变特性，因为有时它们是在组件内部实现的，即在它们的部分功能中实现的：类、服务和/或接口。此外，组件内部发生的变化可能横切架构的几个组件。这些类型的变化仍然具有挑战性，它们的可追溯性目前还没有得到很好的支持。因此，无法保证具有这些变化的SPL产品满足要求。本文提出了一种通过考虑这些类型的变化来跟踪从特征到PLA的可变性的解决方案。该解决方案基于模型和模型之间的可追溯性，以便通过选择变体和实现产品应用程序来自动化SPL配置。FPLA建模框架支持这个已经部署在软件工厂中的解决方案。验证包括将解决方案付诸实践，以开发智能电网电力计量管理应用的产品线。
In current software systems with highly volatile requirements, traceability plays a key role to maintain the consistency between requirements and code. Traceability between artifacts involved in the development of software product line (SPL) is still more critical because it is necessary to guarantee that the selection of variants that realize the different SPL products meet the requirements. Current SPL traceability mechanisms trace from variability in features to variations in the configuration of product-line architecture (PLA) in terms of adding and removing components. However, it is not always possible to materialize the variable features of a SPL through adding or removing components, since sometimes they are materialized inside components, i.e., in part of their functionality: a class, a service, and/or an interface. Additionally, variations that happen inside components may crosscut several components of architecture. These kinds of variations are still challenging and their traceability is not currently well supported. Therefore, it is not possible to guarantee that those SPL products with these kinds of variations meet the requirements. This paper presents a solution for tracing variability from features to PLA by taking these kinds of variations into account. This solution is based on models and traceability between models in order to automate SPL configuration by selecting the variants and realizing the product application. The FPLA modeling framework supports this solution which has been deployed in a software factory. Validation has consisted in putting the solution into practice to develop a product line of power metering management applications for smart grids.