产品与产品线的规约
软件工程
2010-01-26 v1 计算机科学中的逻辑
摘要
近年来，软件开发生命周期中可变性的研究变得越来越重要。表示产品线中可变性的一种常见机制是使用特征模型。然而，这些模型与 UML 设计模型之间的关系并不直接。我们对 UML 状态图进行了扩展，在其主要组件中引入了可变性，从而可以规约产品线的行为。本工作的贡献在于提出了一种基于规则的方法，该方法定义了从扩展状态图到具体 UML 状态图的转换策略。这是通过使用特征模型来描述公共组件和可变组件来实现的，这样，从不同的特征配置出发，并应用基于规则的方法，就可以获得对应于产品线中不同产品的具体状态机。
引用
@article{arxiv.1001.4436,
title = {Specification of Products and Product Lines},
author = {Ariel Gonzalez and Carlos Luna},
journal= {arXiv preprint arXiv:1001.4436},
year = {2010}
}