1、
2、
Constraints are specified using oAW's Check language ( essentially a streamlined OCL)
约束可以使用oAW的Check语言（本质上是一个简化了的OCL）来指定。
互联网摘选
3、
实际上，我们一边讨论整个架构，一边构建出语法、某些约束以及一个编辑器（使用oAW的Xtext工具）。
互联网摘选
