５章　動的モデル

事象トレース、メッセージシーケンス図

これは以下のような図形を指す。よく見慣れた図形であり、複数オブジェクト間の時間的関わりを説明するものである。

ここでは戦場を例にしている。プレーヤは１日毎に部隊に対して１コマンドを与える。

時間管理オブジェクトはプレーヤである君主オブジェクトからコマンド実行完了通知をもらうと１日インクリメントする，日付を１日繰り上げる。

状態遷移図

これもよく見慣れた図形であり，ある一つのオブジェクトについて、次に取り得る状態は何か、次に出来ることは何か、を説明するものである。

ここでは部将の状態遷移を示す。この図は、部将の行動には以下の制約があることを示す。

もし攻撃実行後に防衛出来ないとしたら、以下の不具合が生じる。

Ａ，Ｂ，Ｃ３都市が隣接していて、Ａ都市から攻撃隊がＢ都市に突撃し，しかし敗れてＡ都市に戻った。そこをＣ都市が攻撃するとＡ都市の部将は全て使ってしまったので黙って退却するしかない。よって防衛だけはコマンド完了後も可能なのだが。

しかし、本来は攻撃軍と防衛軍を分け，Ａ，Ｂの攻撃戦とＡ，Ｃの防衛戦を同時進行にすべきではないか。