uml - OCL での UML 集約

Question

与えられた問題の UML ダイアグラム

操作の前後の条件を作成するタスクが与えられました。

getInformation(givenTitle:String):Integer

操作は、指定されたタイトルのプロジェクトのすべてのバグ レポートを多数返す必要があります。前提条件については、次のことがわかりました。

context Company::getInformation(givenTitle:String):Integer
    pre: has->size() > 0 and has->exists(title = givenTitle);

それでも、プロジェクト内の成果物の集約を処理する方法に大きな問題があります

それが単なる協会である場合、私は次のことを行います。

    post: has->select(title = givenTitle)->first().Artifact.relatedTo->size() = result;

しかし、集約を処理する方法がわかりません.Googleでそれに関する有用な情報を見つけることができないようです.