state-usage-parallel-subactions

Available in: SysML

This checks that parallel state usages have no owned transitions or successions.

Specification

If a StateUsage is parallel, then its nested_actions (which includes its nested_states) must not have any incoming_transitions or outgoing_transitions.

Example

state s parallel {
  action a;
  then action b;
}

Instead, remove any transitions or successions from parallel states since all actions will be executed concurrently:

state s parallel {
  action a;
  action b; // ok
}