クラス図の「派生属性」とは何ですか？

Question

私はクラス図を調べ​​ています。クラス内の一部の属性には、スラッシュ "/"（ex (/ -accountBalance:Dollar = 0)）が付いています。

「派生属性」とは、Enumerationや他のクラスインスタンス（一般にカスタムデータ型）を意味しますか？

Answer 1

属性の前のスラッシュは、属性が導出されたことを意味します。派生アトリビュートの値は、ダイアグラム内の他のモデル要素の値から計算されます。たとえば、accountBalanceの値は、そのアカウントに対して行われた支払いと預金の一覧から導き出すことができます（支払いと預金に関する情報が図の他のクラスに格納されていると仮定します）。

OCL

では、派生属性の派生規則（その値の計算方法）を自然言語またはより正式に指定できます