transition-feature-membership-owning-type

Available in: SysML

This checks that transition feature memberships are owned by transitions.

This is impossible to trigger through textual syntax.

Specification

The owning_type of a TransitionFeatureMembership must be a TransitionUsage.