UMLサンプルガイド
角括弧は事前・事後条件です。動作を実行する図ではありません。
Baseの状態を継承し、同じIDの遷移をretryに再定義します。
入口inは、サブマシンのprepareとreserveをまとめて参照します。対応する定義名はソースとポイントのツールチップで確認できます。