parameter-membership-owning-type

Available in: KerML, SysML

This checks that parameter memberships are owned by behaviors, steps, or results of constructor expressions.

This is impossible to trigger through textual syntax.

Specification

A ParameterMembership must be owned by a Behavior,Step, or the result parameter of a ConstructorExpression.