软件产品线的集成分析：一致性、活性和共性检查的基于约束的框架

软件产品线（SPL）是一个软件开发框架，用于以高效且经济高效的方式联合设计一系列密切相关的软件产品。为了分离关注点和处理复杂性，设计者通常从不同的角度（例如功能、架构和行为）来规划SPL。每个透视图都处理一组工件的可变性以及其中的可变性约束。SPL设计师试图确保一致性个人观点和SPL作为一个整体。他们也对寻找元素感兴趣常见的所有产品和居住元素（至少用于一个产品）。

在文献中，大多数作品都着眼于单一视角，并在单一视角中解决上述问题。也有人试图在特征透视图中表达不同透视图的可变性。然而，由于不同的透视图具有不同的意图，将它们强制为单个透视图可能会导致特征透视图中的非自然构造。因此，最好将视角分开。然而，在任何SPL中，透视图都通过可实现关系或由于设计或业务原因而产生的约束紧密相关。我们称之为可追溯性方面，它要求对不同的视角进行综合分析。

在本文中，我们提出了一个基于约束的框架，在该框架中，可变性和可追溯性约束可以统一表示，同时保持透视图的不同意图不变。我们描述了如何将一致性、活跃性和共性问题简化为约束求解问题。通过一个实际的案例研究，我们提供了一些证据，证明基于约束的框架对大型SPL具有表达能力和可扩展性。