include-use-case-usage-reference

Available in: SysML

This checks that include use cases reference other use cases only.

Specification

If an IncludeUseCase has an owned_reference_subsetting, then the feature_target of the referenced_feature must be a UseCaseUsage.

Example

attribute a;
include a; // error

Instead, reference a use case:

use case a;
include a; // ok