通信プロトコルならシーケンス図がいいんじゃないか?
状態遷移図と突き合わせできるように書けばOK