通信プロトコルの記述などに使用される表記法であり，事象の発生と，そのときの状態に応じたシステムの動作を記述するのに，最も適したものはどれか。