transition-usage-succession

Available in: SysML

This checks that transitions transition to an action usage.

Specification

A TransitionUsage must have an owned_member that is a Succession with an ActionUsage as the feature_target of its target_feature.

Example

state def {
  part initial;
  part off;
  transition first initial
      then off; // error
}

Instead, transition to an action:

state def {
  part initial;
  action off;
  transition first initial
      then off; // ok
}