3.3.1 派生规则（Derivation）

派生规则是专门用于描述知识或信息的形式转化的业务规则，即如何根据信息得出结论的业务规则。派生规则可以是一个计算规则，也可以是一个推理规则。

例如，对于图3-5中的客户对象，如果有“保证金高于投资组合的贷款总值的90%的客户是高风险的”这样一个业务规则，那么，这个业务规则就可以被视为一个派生规则。

建模时，可以直接使用自然语言描述，也可以使用OCL表达式类进行描述。下面的OCL表达式就提供了这样一个描述。

这个表达式表示成Customer类中highRisk（）方法的后置条件，事实上，这个业务规则也隐含了这个方法的实现方法。这样的约束也可以以图形的方式表示在类图中。如图3-6中的类图所示，图中以注释的形式描述了Customer类中的HighRisk（）方法需要满足的后置条件约束。