需求验证明现

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

1.基于OCL+Query的方式

2.基于validation framework的

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

3.跳过OCL与Query编写condition

 

要考虑几点扩展：

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

2.验证规则的扩展，要求面向将来的开发，可以在加载规则时找到全部的类

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

4.验证规则

 

问题点：

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

　　　　首先，rucm支持ecore模型的转换是为了提供给其余模型转换的接口。可是验证中不须要这个模型，所以没有必要必定转换成ecore模型。

结论：

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

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