自：
http://blog.csdn.net/javaman_chen/article/details/6057033
http://www.ibm.com/developerworks/cn/opensource/os-cn-ecl-emfvldt/
http://blog.csdn.net/james999/article/details/1624747
EMF Validation Framework 提供了对 EMF eObjects 的校验框架，和 EMF EValidator API 相比它能提供更复杂全面的验证并且易用易扩展。EMF Validation Framework 提供了灵活的验证定义方式，支持两种验证触发机制：Batch 和 Live。它支持用 JAVA 和 OCL 语言来实现约束，此外它还支持自定义验证时的模型扫描算法，并提供了一个 Validation Client Context 来规避不必要的验证。
EMF模型的验证主要通过ModeValidationService类的调用来完成，该类还声明了一个工厂方法newValidator()用于获取IValidator的实现类。IValidator执行器会从Validation Service模块中获取所匹配的Constraint进行验证。IValidator的子接口有两个，分别是ILiveValidator和IBatchValidator，对应模型的验证方式是Live模式还是Batch模式；而模式的区分通过EvaluationMode来指定。
验证整体需要以下几步：
1.构建约束。
2.注入验证环境
3.将约束与Application进行绑定
4.书写验证主体
1. 构建约束
目前支持三种方式：Java Code，EMF Model，以及OCL。所有的约束必须实现 IModelConstraint 接口，定义了验证执行的逻辑（validate()），并拥有一个约束描述符（一个实现 IConstraintDescriptor 接口的类），该描述符包含了这个约束的源信息，例如，验证模式是 live 还是 batch，验证的目标对象等。不同的Constraint Model类型下会有不同的实现。因为Validation Framework这套构架依赖于在plugin.xml中描述和申明来注册相应的constrain实现，所以需要不同的Parser负责解析和管理。
1.1 java方式。约束的构建主要通过继承AbstractModelConstraint抽象类来完成。AbstractModelConstraint使用了IValidationContext接口作为validate()的方法参数，并且返回Istatus对象用来封装验证结果。//validate(IValidationContext ctx)
IValidationContext对象
（1）提供了当前验证环境的相关信息，包括：
target:所验证的目标对象；
eventType:表示Live模式下触发验证操作的事件；
currentConstraintId:当前所执行的约束Id，等等...
(2) 提供了一些提高验证效率的方法，例如可以用来指定一些的目标对象是“合格的”可以不执行某些验证方法，缓存验证对象。
在validate方法中，如果约束得评估没有通过，可调用IValidationContext接口定义的createFailureStatus(Object... args)方法返回错误状态类型相反，如果评估成功，可调用createSuccessStatus()方法返回成功状态类型。
1.2 OCL
|
Query query = QueryFactory.eINSTANCE.createQuery(
"Book.allInstances()->select(b : Book | b <> self and b.title = self.title)",
LibraryPackage.eINSTANCE.getBook());
query.setExtentMap(extents);
Collection result = query.evaluate(myBook);
|
2. 注入验证环境
通过实现org.eclipse.emf.validation.constraintProviders扩展点完成约束的注入。
3.与Application进行绑定
通过org.eclipse.emf.validation.constraintBindings扩展点来实现该功能。
只能在EclipseRCP环境下运行,而且编写扩展点的实现也非常的繁琐。
4.书写验证主题，参照验证逻辑变下
Batch的验证逻辑为：
- 指定验证对象，可以使一个EObject或其集合 List objects = myResource.getContents();
- 通过验证服务ModelValidationService构建IBatchValidator
- 通过EvaluationMode.BATCH指明为Batch模式 IValidator validator = ModelValidationService.getInstance().newValidator(EvaluationMode.BATCH);
- validator.setIncludeLiveConstraints(true);//包含Live模式的约束 验证约束这里不需要指定，因为后面的验证是需要注册如application的，而不是添加，而约束可以通过过滤器设置，这里使得验证很难灵活的在使用中添加新的约束。
- //可以添加约束的过滤设置 validate.addConstraintFilter(new IConstraintFilter() {...
- 模型的验证返回IStatus对象 IStatus results = validator.validate(objects);
- 判断验证状态 if (!results.isOK()) {ErrorDialog.openError(null, "Validation", "Validation Failed", results); }
另一种方式//只是替换现成的Validator的实现
用户还可自己编写EValidator的实现，然后将该实现类注入到EValidator注册表中去，一样可完成模型验证操作，
且这种方式无需编写扩展点的实现，因此只需要OSGI环境就可以了。
1. 编写EValidator的实现
（1）若直接在模型中指明了约束，可以通过*.genmodel文件，是可以直接生成对应的EValidator实现类的。
2. 添加到EValdator注册表中
对应代码
3. 编写模型的验证代码
- 设置验证目标对象 Object target=getTartget();
- Diagnostician diagnostician=new Diagnostician();
- BasicDiagnostic diagnostic=diagnostician.createDefaultDiagnostic(target);
- Map<Object, Object> context = diagnostician.createDefaultContext();
- 执行验证操作 diagnostician.validate(library, diagnostic, context);
评估：
有两点可能阻碍实现可扩展、可自定义的验证：
1. 不仅仅需要验证逻辑的实现，而且需要注册，设置扩展点能操作来具体的配置约束，可不能随意添加自定义的约束
2. 每条约束对应一段代码，如何添加自定义的验证需要思考，这里可以参考OCL验证引擎的实现，北大硕士论文