Skip to content

Modeler_audit_rules_R2590

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

R2590

Summary

One region cannot have more than one initial vertex.

Details

An initial vertex is a dummy state representing the temporary default state of an object when it is created. When a transition targets a state, it implicitly targets its initial state.

Therefore, a state cannot have more than one initial state, because it would not be possible to determine the default initial state.

Tips

Possible solutions to this problem are as follows:

  • Solution 1
    Add another region to your state to represent concurrent sub states, and move one of the initial states to this new region. Each sub state can have an initial state. If a transition targets a state with concurrent sub states, it implicitly targets all the initial states of the concurrent sub states.

  • Solution 2
    Create a different state and move one of the initial states to it.

Clone this wiki locally