使用 EMF Validation 框架来验证 EMF 模型

核心提示：EMF（Eclipse Modeling Framework）建模框架能够帮助我们将模型 (UML, XSD 等 ) 转换成为健壮且功能丰富的 Java 代码，使用 EMF 来搭建应用程序，使用 EMF Validation 框架来验证 EMF 模型，不但能极大的提高开发效率，而且还能利用 EMF 提供的很多特性来保证

EMF（Eclipse Modeling Framework）建模框架能够帮助我们将模型 (UML, XSD 等 ) 转换成为健壮且功能丰富的 Java 代码。使用 EMF 来搭建应用程序，不但能极大的提高开发效率，而且还能利用 EMF 提供的很多特性来保证模型的健壮和完善，主要包括模型变化通知机制，模型的持久化以及模型验证框架。本文将要介绍的 EMF Validation Framework，是 EMF 的一个重要部分，通过使用 EMF Validation Framework，我们能方便的对定义的 EMF 模型添加验证约束，以保证模型数据遵从于用户自定义的约束。

EMF Validation Framework 提供了对 EMF eObjects 的校验框架，和 EMF EValidator API 相比

它能提供更复杂全面的验证并且易用易扩展。EMF Validation Framework 提供了灵活的验证定义方式，支持两种验证触发机制：Batch 和 Live。它支持用 JAVA 和 OCL 语言来实现约束，此外它还支持自定义验证时的模型扫描算法，并提供了一个 Validation Client Context 来规避不必要的验证。

EMF Validation Framework 的实现原理

在 EMF Validation Framework 框架中有几个重要的概念，这些概念构成了验证框架的基本部分，我们在下面对其逐一介绍：

约束（constraints）

所有的约束必须实现 IModelConstraint 接口，定义了验证执行的逻辑（validate()），并拥有一个约束描述符（一个实现 IConstraintDescriptor 接口的类），该描述符包含了这个约束的源信息，例如，验证模式是 live 还是 batch，验证的目标对象等，图 1 可以给您一个基本的概念。

图 1. 约束