图10.14 展示了本章中的域概念与抽象语法概念的关联。每个域概念都有一个抽象语法中称为model的对应概念。每个model都有一个或多个语义域的实例。注意每个OCL表达式都可以有多于1个的计算。然而每个计算只有一个值。举个例子，“asSequence”应用到一个Set会产生 n! 个计算，每个都是该集合的不同排列，但每个计算只有一个结果值。
图10.14 值和抽象语法中定义的类型之间的关联。
图10.15 计算与抽象语法类型之间的关联。
