状態遷移図でチェック?
どういう形式をサポートする前提なの?