什麼是類圖中的「派生屬性」？

Question

我正在通過類圖。類中的一些屬性用斜槓「/」標記，例如(/ -accountBalance:Dollar = 0)。

當我們說「派生屬性」，我們可以指它是枚舉或其他類實例（通常是自定義數據類型）？

Answer 1

屬性前面的斜線表示該屬性是派生的。派生屬性的值是根據圖中其他模型elemetns的值計算得出的。例如，accountBalance值可以從該賬戶的支付和存款列表中獲取（假設關於支付和存款的信息存儲在圖中的其他類中）。

用於導出屬性（即如何計算其值）的推導規則可以在自然語言中OCL

指定或更正式地