UMLのポテンシャルを探る

図6：期待通りに　enterItem（...）オペレーションのシンプルなインタラクションダイアグラムは、オペレーションコントラクトの事後条件を埋める。ひとつのボックスがひとつのインスタンスを表現し、積み重ねられたボックスは、Java Listやマップオブジェクトなどのコレクションを表現する。インスタンスに送られるメッセージ作成は、コンストラクタコールと組み合わされるJavaの新しいオペレータの呼び出しを暗に示す（クリックで拡大します）