使用 EMF Validation 框架来验证 EMF 模型

核心提示： 第六步 运行前面创建的 constraint在 Eclipse 中点击 Run->Run.., 在弹出的窗口中创建并运行一个 Eclipse Application，在新的工作平台中新建一个项目，使用 EMF Validation 框架来验证 EMF 模型(8)，然后通过如图 7 所示的&

第六步 运行前面创建的 constraint

在 Eclipse 中点击 Run->Run.., 在弹出的窗口中创建并运行一个 Eclipse Application。在新的工作平台中新建一个项目，然后通过如图 7 所示的“New Library Model”向导创建一个图书馆模型。

图 7. 创建模型项目

为了验证之前定义的约束是否生效，创建如图 8 所示的图书馆模型，可以看到该模型只定义了一个没有名称的图书馆对象：

图 8. 图书馆模型

如图 9 所示，选中 library 对象，点击右键，选择 validate 菜单项。

图 9. validate 操作

如图 10 所示，一个验证失败的警告框弹出，点击 Details，可以看到验证失败的原因是图书馆的名字属性没有设置。

图 10. 验证结构提示

第七步 把 batch constraint 转变成 live constraint

我们可以把之前定义的 batch constraint 修改成 live constraint，这样当模型指定的属性（值）发生变化时验证服务会收到相应的通知从而触发验证。通知消息包括了诸如发生改变的属性及该属性变化前后的值等信息。在扩展点定义中去声明那些需要在取值发生变化时进行实时验证的属性。