Uml “什么是”呢；“派生属性”；在类图中？

我正在浏览一个类图。类中的某些属性用斜杠“/”ex

（/-accountBalance:Dollar=0）

标记

---

当我们说“派生属性”时，是指枚举还是其他类实例（通常是自定义数据类型）？

属性前面的斜杠表示该属性是派生的。派生属性的值是根据图中其他模型元素的值计算的。例如，accountBalance值可以从该帐户的付款和存款列表中导出（假设有关付款和存款的信息存储在图表中的其他类中）

派生属性的派生规则（即如何计算其值）可以用自然语言指定，也可以用OCL更正式地指定