之前学习了验证的两种方式：
1.基于OCL+Query的方式
2.基于validation framework的
每个约束都要编写约束和扩展点，
3.跳过OCL与Query编写condition
要考虑几点扩展：
1.验证规则类别的扩展，要求在加载规则时动态找到所有的规则类别。
2.验证规则的扩展，要求面向未来的开发，能够在加载规则时找到所有的类
3.验证规则可筛选，要求面向执行二等
4.验证规则
问题点：
1.需不需对应扩展ecore模型来实现验证。
首先，rucm支持ecore模型的转换是为了提供给其他模型转换的接口。但是验证中不需要这个模型，因此没有必要一定转换成ecore模型。
结论：
1.自己编写模型遍历算法、验证查找的主体。
2.仿照OCL的实现架构，实现验证。规则为condition。模型遍历也同样仿照OCL。