12.9 衍生值表达式

衍生值表达式是一个可以链接到由分类符或关联所拥有的属性的一个表达式。做为属性衍生值的OCL表达式的类型必须符合该属性的OCL类型。当属性的multiplicity的上限是1，那么该属性的OCL类型是该属性的UML类型。当multiplicty的上限大于1时，属性的OCL类型是一个集合类型，其中的元素类型是该属性的UML类型。集合的种类（Bag、OrderedSet、Dequence、Set）由该属性的是否唯一和有序UML属性来决定。

衍生值表达式是一个不变式，它声明了属性或关联端的值必须总是等同于该表达式计算得到的值。

注意－衍生值表达式的位置取决于UML 2.0元模型。