AutomationView validates the structure of your sequence diagram continuously and reports problems in the Problems panel. Branch structure errors prevent a valid SFC from being generated and must be fixed before you can translate or export.
Click any diagnostic in the Problems panel to reveal the offending step or transition directly in the visual editor.
The Problems panel shows one or more of the following:
| Error | What it means |
|---|---|
| Branch mismatch | A divergence opens more branches than the matching convergence closes, or vice versa. |
| Crossing branches | Two branches of the same divergence cross each other, producing an invalid layout. |
| Self-loop | A branch loops back into itself without passing through a valid convergence. |
| Unreachable step | A step has no incoming transition from any active path; the sequence can never reach it. |
A divergence (one step splitting into multiple parallel or alternative paths) must be paired with a convergence that has the same number of branches.
Branches of the same divergence must not cross each other in the diagram.
A branch must exit through the convergence node, not loop back into the divergence or into itself.
Every step must be reachable from the initial step by following transitions forward.
If you click a diagnostic in the Problems panel and the editor does not scroll to the node, make sure the correct
.seqfile is open. AutomationView opens the file automatically when possible.