メッセージフォーマットの記載をBNFっぽく改めた