It can be concluded that the syntax description of OCL expression is the crucial factor in OCL semantics from the comparison between the two OCL semantics.

• 通过对OCL表达式语义二种描述方法比较，可以看到OCL表达式语义学描述的关键是反映OCL表达式本质的语法描述。