satisfy-requirement-usage-reference

Available in: SysML

This checks that satisfy requirements reference other requirements only.

Specification

If a SatisfyRequirementUsage has an owned_reference_subsetting, then the feature_target of the referenced_feature must be a RequirementUsage.

Example

attribute a;
satisfy a; // error

Instead, reference a requirement:

requirement a;
satisfy a; // ok