状態遷移図
UMLではstate machine diagram(状態機械図)という。次のように標準化した。
塗りつぶされた円が START(開始)を意味する。必須ではない。
中抜きの円は STOP(停止)を意味する。必須ではない。
四角形で状態を表す。四角形の上部には状態名を記述する。中ほどに水平な線を引いて、その下に当該状態下で行われる活動を記述する。
矢印が遷移を表す。括弧( [ ] )付きで書かれた式を付記し、その式が真のときに遷移が発生することを表す。
太い水平線で複数の線(遷移を表す矢印線)をひとつの線にまとめたり、その逆をする。これは join/fork と呼ばれ、並列状態の終了と開始を意味する。