//这里的验证强调的是condition的构造，基于查找来判断验证结果。支持OCL也支持java自己编写。
quary的基本逻辑是：编写约束条件，执行语句条件的查询，根据查询结果判断验证结果。
OCL的实现本身也依赖于Quary
Quary依赖于条件，条件集成自java的条件，基本的验证逻辑是：构造条件，根据isSatisfied(object)函数执行判断是否满足。
emf的验证可以采用上述的方式，可以采用较为复杂的形式，即通过select语句执行验证。
EMF查询框架主要由 org.eclipse.emf.query 这个plugin提供，创建并执行一个EMF查询，大概分为如下几步：
1. 创建查询数据源；
2. 构造EObjectCondition查询条件；
（1）用java构造
（a）继承EObjectCondition，实现isSatistied函数来编写自己的约束。
private static class ProductsLessThan3Condition extends EObjectCondition {
public ProductsLessThan3Condition() {
super(PruneHandler.NEVER);
}
@Override
//代码效果参考：http://www.lyjsj.net.cn/wz/art_24173.html
public boolean isSatisfied(EObject eObject) {if (eObject instanceof Category) {
Category category = (Category) eObject;
EList products = category.getProducts();
if (products.size() < 3)
return true;
}
return false;
}
}
(b)利用框架已提供的条件
EObjectCondition inShopCondition = new IN(categorySet);
（2）用OCL构造
EObjectCondition tolerableRead = new BooleanOCLCondition(
ocl.getEnvironment(),//ocl根环境
"self.category BookCategory::Mystery implies self.pages < 200",//ocl约束
EXTLibraryPackage.Literals.BOOK);//约束上下文
构造参数中，还可以不指定约束的上下文(即第3个构造参数为null)，这样任何EMF实体如果含有category属性都会在该实体类上执行
"self.category BookCategory::Mystery implies self.pages < 200"约束检测。
3. 使用EMF查询框架提供的SELECT对象和UPDATE对象编写查询和更新语句；
statement = new SELECT(new FROM(shop), new WHERE(new ProductsLessThan3Condition()));
4. 执行语句得到查询或更新结果；
results = statement.execute();
IQueryResult result = new SELECT(//查询结果封装成IQueryResult对象
new FROM(searchScope),
new WHERE(conditions))
.execute();
5. 对执行结果进行检测，确保执行过程中没有发生异常。
for(Object object : results)
{
System.out.println(object);
}
EMF提供了两套Query对象，SELECT和UPDATE，分别用于模型的查询操作和更新操作。
评估：
1.OCL语句可以灵活插入，主体语句放在第二个参数，约束上下文的定义放在第三个参数。因此比较符合可扩展验证的特性。
2.emf的验证如果采用OCL可以不采用select执行的方式，而是擦用condition自带的isSatisfied的方法。找一下OCL有没有？
3.OCL条件的开发需要再学习一下。
4.可以通过模型遍历，然后判断类型，之后分配给对应的satisfied，这个比较适合，需要查看一下输入的模型类型
5.看例子中需要自己构造集合，集合需要什么类型的，如何进行遍历。。。。
6.validation //代码效果参考：http://www.lyjsj.net.cn/wz/art_24171.html
framework能够给定一个root然后进行遍历， 但是在这里，需要自己去找所有的对象集合。7.在执行约束是就需要能够识别对应的元模型类别，即在编译时已经有所有的元模型类通过编译，而元模型类的导入只能在运行时执行，所以这里需要反射机制？
遍历，构造集合，交给对应的条件的isSatisfied
进一步的OCL开发
下一步：OCL的实例开发
