機能要件から状態遷移図を作成する