event-occurrence-usage-reference

Available in: SysML

This checks that event occurrences reference only other occurrences.

Specification

If an EventOccurrenceUsage has an owned_reference_subsetting, then the feature_target of the referenced_feature must be an OccurrenceUsage.

Example

attribute p;
event p; // error

Instead, reference an occurrence:

occurrence p;
event p; // ok