次のようなクラス図を書きたいとします。
- ドローンシステム1つは，リモコンとドローンを複数コンポジションとして持つ
- リモコンとドローンは1対1の関係にある
1を表現するのに次のようにクラス図を書きます。
2を表現するのに次のようにクラス図を書きます。
この2つを合わせると次のようなクラス図になります。
しかし，このような書き方だと，リモコンやドローンのような部品の種類が増えた時に，複雑に関連が入り乱れるようになります。どのように記述するとシンプルになるでしょうか？
汎化とOCLを用いた解法例
「汎化と関連を組合せてクラス図を書いた時，サブクラスのインスタンスの種類や個数の制約を定義したい」で紹介したように，汎化と関連を組合わせたクラス図を書き，それにOCLを追加することで解決してみることを考えます。
まずリモコンとドローンのスーパークラスを考えるのですが，たとえば「ペアリング機器」とでも命名してみましょうか。
ペアリング機器同士が1対1の自分自身への関連を持つというようにして，ドローンシステムがペアリング機器を複数持つ，というようにすると良さそうです。
ではOCLを定義してみましょう。
context ペアリング機器 inv:
self.oclAsType(リモコン) implies self.ペアリング.oclAsType(ドローン)
and self.oclAsType(ドローン) implies self.ペアリング.oclAsType(リモコン)
これの意味するところを日本語で書くと次のようになります。
- 次の条件のどちらも成立する
- ペアリング機器がリモコンクラスだったならば，そのペアリング機器のペアリング先のクラスはドローンである
- ペアリング機器がドローンクラスだったならば，そのペアリング機器のペアリング先のクラスはリモコンである
つまり，ペアリングの関連の一方がリモコンでもう一方がドローンであることを保証します。
なお，ペアリング機器がリモコンクラスでなかった場合，self.oclAsType(リモコン) は偽になるので， self.oclAsType(リモコン) implies self.ペアリング.oclAsType(ドローン) は前提条件を満たさず真になることに注意してください。(「AならばB」という命題がある時，Aが偽だった時にはBが真でも偽でも「AならばB」は真になる)