不幸的是，在各个研发产品世界中，当试图引入代表变异性机制时，不得不面临一些困难：

•由于不同产品的异质性，例如，由于在汽车领域采用的建模与规范语言品种的多样性，所以几乎不可能找到一种能在所有可能的情况下效果很好的通用变异性机制。

•然而，即使采用了具体的产品机制，仍然有一些连接必须定义到整体协调模型中的可变性建模。

图7.10 基于特征的产品配置

•此外，在许多领域中，带有专利建模方法和有限适应机制的特殊工具，已经在实践中占有主导地位。到目前为止，这些工具并不提供可变性和产品配置的全面支持，因此务实的解决方案正在开发项目中研发。不幸的是，这导致了各种不同的机制来处理变异性，即使当考虑到一个产品和一种单一工具的时候。

作为一个案例，考虑ECU规范和基于模型分析领域，以及电控单元（ECU）软件开发。在这些领域中，非常不同的产品必须得到支持，即提供文本的规格和软件模型，并存在有专利机制的广泛应用的工具，即DOOR和ML/SL/Stateflow（SF）。由于对可变性的支持在传统上是有限的，或一点也不出现在这些传统工具上，所以各种各样的解决方案或变通方案已经在开发项目中出现。例如，因为ML/SL/SF在它的模块模型中并不支持显式表示变化点，所以在实践中常用到以下两种变通方法：

•一种方法是建立一个模型，它包含所有的平行变化，并通过打开或关掉单个模块来构造单个变量。缺点是这种模型本身并不代表一个有意义的系统，因此不容易理解和维护。(www.daowen.com)

•另一种方法是滥用/使用现有的工具概念，例如，在ML/SL/SF中可配置子系统的概念，以有限的方式代表可变性。

类似的情况出现在ECU规范中：广泛使用的工具比如DOORS不提供变化点显式建模概念，因此各种务实的解决方案和变通方法被采用。

作为这些考虑的结果，我们主张处理产品局部变异性（的方法）介绍如下：

•由于每个产品具有自身的特点和（实际的）限制，所以针对不同的产品，必须提供不同的变异性机制。

•为了把这些产品的局部变化机制连接到整体协调模型中，必须提供一个通用的接口机制。正如7.4.2节中描述的产品线的局部特征模型可以作为这样一个接口。

•为了解决针对一个产品存在可变性有多种多样表示的问题，针对每个产品定义了一个中间（标准）表示，它是所有具体方法都可以映射上去的。接着这个中间表示作为连接产品局部变异性建模到整体协调模型的基础。

由于汽车领域产品的多样性，所以在这里我们不能讨论并举例说明针对所有类型产品的这种方法。相反，在本节的其余部分，我们将集中在ECU规范变异性的探讨。使用这个作为一个案例，我们将说明代表产品级的变异性的基本风格，并说明当设计或选择一个特定形式的表征时应处理的重要考虑因素，以类似的方式，这些表征方式是适用于大多数其他类型的产品。