大千世界，约束无处不在，拿人来讲，活在社会当中，享受权利和义务的同时，也必须要遵守相应的法律约束。而这里我们所说的模型约束校验，就相当于为流程设计人员事先声明的法律，一旦不遵守规定，流程就会提示出错。
GMF所提供的约束校验功能其实是使用了EMF的Validate子框架，并且在约束声明上使用了OCL表达式来完成。有关OCL表达式的语法不做过多讲解，可参考Object Constraint Language一书，这里主要介绍几个常用的函数：
针对实体类的：
oclIsTypeOf (t : Classifier) : Boolean——判断该实体类是否是Classifier类型;
oclIsKindOf (t : Classifier) : Boolean——判断该实体类是否是Classifier类型或其子类;
oclAsType (t : Classifier)——将实体类强制转换成Classifier类型。
针对集合的(注意：集合方法通过->引用)：
collection->select( boolean-expression )——对集合进行筛选，返回满足boolean-expression的实体集合;
collection->forAll( boolean-expression )——对集合中的所有实体进行boolean-expression校验，当所有实体都校验通过时返回true，否则返回false;
collection->exists( boolean-expression )——集合中是否存在满足boolean-expression约束的实体。
由于只是为了做实例演示，所以我们只简单声明了以下几个约束信息：
1，流程中只能有一个开始节点和一个结束节点；
2，流程节点之间不能彼此相互连接；
3，流程节点名称不能为空，且不能重复；
4，必须要为任务节点指定任务分配器。
在GMF应用中，约束校验的编写是通过映射模型的配置来完成的。
首先，在Mapping节点下面新建一个Audit Container子节点，并为其指定name属性和唯一id；
然后，新建一个Audit Rule节点来声明我们的第一条约束，并为其指定如下属性信息
接着为该约束指定目标对象，新建一个Domain Element Target子节点，将Element属性设置成Process，表明该校验是针对Process对象的；
最后，使用OCL表达式声明约束信息，新建一个Constraint子节点，将Language属性设置成ocl，Body属性设置成：
self.nodes->select(n | n.oclIsTypeOf(Start))->size()=1 and self.nodes->select(n | n.oclIsTypeOf(End))->size()=1
这样就为我们的模型指定了第一条约束信息；
按照同样的方法为其他校验指定约束信息：
2，流程节点之间不能彼此相互连接
self.transitions->forAll(r1, r2 | r1.target = r2.source implies r2.target <> r1.source)
3，流程节点名称不能重复
self.nodes->forAll(n1,n2 | n1.name=n2.name implies n1=n2)
4，必须要为任务节点指定任务分配器
将目标对象设置成Task，OCL表达式设置成self.assignment.name.size()>0
至此，所有约束信息都以声明
鼠标右键映射模型，点击validate按钮，如果出现如图所示提示信息，则映射模型修改成功：
最后，由映射模型生成generator模型，并对模型属性稍作修改：
Validation Enable属性设置校验功能是否启用
Validation Decorators属性设置是否显示校验修饰
Validation Decorator Provider Priority设置校验修饰服务的优先级
生成项目源码，并创建一个不符合约束的流程，得到的校验信息如下：
注：这里的校验过程为静态校验(Batch Validate)，操作方法为点击Edit菜单中的Validate按钮