0

次の 2 つの集計を含むクラス図があります。

集約制約の問題

contentCategoriesはカテゴリの動的配列であり、currentCategory常にその配列の要素ですが、個別のメンバー変数として維持されます。contentCategories常にOCLの要素であるという制約を示す必要があります。私はこれを正しく行いましたか？そうでない場合、それを行う正しい方法は何ですか？

事前にご協力いただきありがとうございます。

4

1 に答える 1

1

はい、あなたの考えは正しいです。ただし、コメントに制約を記述しますが、破線はありません

編集：申し訳ありませんが、「学術的に健全」であるためには、OCL制約がなくても正しい必要がありますcurrentCategory。つまり、制約を読んだほうがよい

not currentCategory==null implies contentCategories -> includes(currentCategory)
于 2012-03-28T13:18:09.710 に答える