State machine diagram

状態遷移図・表、状態機械図、状態図といろいろ呼び方がある。
計算気は、状態機械である。基本は状態遷移で表現できる。

計算気の主記憶の状態、CPUのレジスタ、フラグの状態、補助記憶装置のファイル・データの状態。
すべての状態を計算してもよい。

主要な一部を取り出して計算してもよい。

今、どういう問題を解決したいかで、どこに焦点を当てるかを決める。

Scope Management：範囲管理ということがある。

状態は、与件(data)である。

状態遷移図は、与件構造の定義でもある。

sequence diagram

時系列図(sequence diagram)は、処理を表すか、データの流れを表す。

各状態を主人公にして、時系列図(sequence diagram)を書いていけないわけではない。

刻時図(timing diagram)として、状態の時間的な経過を記述することがある。

刻時図(timing diagram)は、時間が左から右に流れる。