AI状態遷移図メーカー｜無料UMLステートマシン図作成ツール
システムが「今、何の状態にあるのか」をモデリング。状態、遷移、ガード、イベントを明確に。BPMNはプロセス、状態遷移図は状態を表します。
Free forever · no signup · no credit card · unlimited diagrams
状態遷移図（UMLステートマシン図）は、システムやオブジェクトが取りうるすべての状態と、状態間を遷移させるイベントを捉えます。これにより、システムの動作を明確に文書化し、開発者間のコミュニケーションを円滑にします。FreeDiagramは平易な日本語の説明から、正確でわかりやすい状態遷移図を生成します。UMLツールの知識は不要で、誰でも簡単に利用できます。サインアップ不要で、すぐに始められます。
状態遷移図の作成方法
システムの状態をリストアップする
まず、対象となるオブジェクト（注文、ユーザーセッション、デバイスなど）を決め、そのシステムが取りうる状態を日本語でリストアップします。配送済みやキャンセル済みなどの終端状態も忘れずに含めましょう。
状態遷移図を生成する
「生成」ボタンをクリックすると、FreeDiagramがUMLステートマシン図を自動生成します。初期疑似状態、正しい形状の状態ボックス、ラベル付きの遷移矢印が含まれます。
ガード条件やアクションを追加する
フォローアップのプロンプトでガード条件（「支払いが確認された場合のみ」など）やエントリーアクション、サブ状態を入れ子にした複合状態を追加して調整します。
ドキュメントや実装用にエクスポートする
SVGまたはPNG形式でダウンロードして設計書に利用するか、MermaidソースをコピーしてGitHub、Notion、wikiに直接貼り付けられます。
状態遷移図について
状態遷移図（正式にはUMLステートマシン図）は、オブジェクトやシステムの動的な振る舞いを、取りうるすべての状態と、状態間を遷移させるイベントや条件によってモデル化する図です。フローチャートやBPMN図との大きな違いは、「システムが今どの状態にあるか」に焦点を当てる点です。フローチャートが「次に何が起こるか」を表すのに対し、状態遷移図はシステムの現在の状態を明確にします。
UMLの表記法では、状態は角丸の長方形、初期疑似状態は塗りつぶされた円、最終状態はブルズアイ（二重丸）で表され、遷移はラベル付きの矢印で示します。遷移には角括弧内にガード条件（例：[残高 >= 合計金額]）を記述でき、アクションをスラッシュの後に追加することも可能です。また、複合状態を使ってサブ状態を入れ子にすることで、複雑なライフサイクルを重複なくモデル化できます。
ソフトウェアエンジニアは、注文や予約のライフサイクル、UIコンポーネントの状態（ローディング、アイドル、エラー、成功）、ネットワークプロトコルの設計、組み込みファームウェアなど、あらゆる状態を明示的に扱う必要がある場面で状態遷移図を活用します。未モデルの状態は未テストのコードパスを意味するため、組み込み開発者にとっては特に重要なツールです。
FreeDiagramは自然言語の説明から、適切に構造化されたUMLステートマシン図を生成します。表記ルールを覚える必要はありません。振る舞いを説明するだけで図が自動生成されます。生成された図は技術設計書、コードレビュー、XStateやReduxなどのFSMライブラリでの実装の参考としてご利用いただけます。
Frequently asked questions
状態遷移図は何に使いますか？
状態遷移図は、オブジェクトやシステムのライフサイクルをモデル化します。取りうるすべての状態と、状態間を遷移させるイベントを記述します。例えば、ECサイトの注文ステータス管理、ユーザーセッション、UIコンポーネントの状態、ネットワークプロトコル、組み込みデバイスのファームウェアなどで利用されます。
状態遷移図とフローチャートの違いは何ですか？
フローチャートはプロセス（一連の手順）をモデル化しますが、状態遷移図はオブジェクトが取りうる状態の集合をモデル化します。フローチャートは「次に何が起こるか」を答え、状態遷移図は「システムは今どの状態か」を答えます。同じイベントでも現在の状態によって異なる効果を持つ場合に状態遷移図を使います。
状態遷移図におけるガード条件とは何ですか？
ガード条件とは、遷移が発生するために真である必要があるブール式です。遷移矢印に角括弧で記述します。例：「paymentReceived [balance >= total]」。ガードを使うと、余分な状態を追加せずに条件付き遷移をモデル化できます。
複合状態（入れ子のサブ状態）をモデル化できますか？
はい、可能です。プロンプトで入れ子構造を記述してください。例えば「Processing状態の中にPicking、Packing、Labellingのサブ状態があります」と入力すると、FreeDiagramが複合状態を生成し、内部にサブ状態と共有の遷移を描画します。
出力はUML標準に準拠していますか？
はい。FreeDiagramはUMLステートマシン図の表記法に従います。初期疑似状態（塗りつぶし丸）、状態（角丸長方形）、最終状態（ブルズアイ）、ラベル付き遷移矢印を出力します。ソフトウェアアーキテクチャやシステム設計のドキュメント標準と互換性があります。