Skip to content

Modeler_audit_rules_R2950

Jump to bottom
Antonin Abhervé edited this page Sep 3, 2020 · 1 revision

R2950

Summary

All Transitions leaving a Fork Vertex must target different regions of an orthogonal State.

Details

Regions of an orthogonal State are concurrent flows, so a Fork Vertex should only have targets in different Regions.

Tips

If you have a Fork Vertex targeting States in the same Region, you should delete one of the Transitions or move some targets into another Region.

Clone this wiki locally