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

Question

私は、クラス図を経由しています。クラス内の一部の属性は、スラッシュ「/」EX ( / -accountBalance:Dollar = 0 )でマークされています。

私たちは「派生属性」を言うとき、我々はそれが列挙または他のクラスのインスタンス（一般的にカスタムデータ型）？ある意味することができます。

Answer 1

属性の前のスラッシュは、属性が導出されることを意味します。派生属性の値は、図中の他のモデルelemetnsの値から計算されます。例えば、accountBalance値は、そのアカウントの支払いおよび預金（支払いおよび預金に関する情報は図中の他のクラスに格納されていると仮定して）のリストに由来することができる。

派生属性（その値を計算する、すなわち方法）のための導出規則は、自然言語で指定することができ、またはより正式OCLにおける