需求验证实现

之前学习了验证的两种方式：

1.基于OCL+Query的方式

2.基于validation framework的

　　每个约束都要编写约束和扩展点，

3.跳过OCL与Query编写condition

 

要考虑几点扩展：

1.验证规则类别的扩展，要求在加载规则时动态找到所有的规则类别。

2.验证规则的扩展，要求面向未来的开发，能够在加载规则时找到所有的类

3.验证规则可筛选，要求面向执行二等

4.验证规则

 

问题点：

　　1.需不需对应扩展ecore模型来实现验证。

　　　　首先，rucm支持ecore模型的转换是为了提供给其他模型转换的接口。但是验证中不需要这个模型，因此没有必要一定转换成ecore模型。

结论：

　　1.自己编写模型遍历算法、验证查找的主体。

　　2.仿照OCL的实现架构，实现验证。规则为condition。模型遍历也同样仿照OCL。