occurrence-usage-portion-kind

Available in: SysML

This checks that portion occurrence usages are owned an occurrence.

Specification

If an OccurrenceUsage has a non-null portion_kind, then its owning_type must be an OccurrenceDefinition or an OccurrenceUsage.

Example

snapshot occurrence o; // error
attribute def O {
    timeslice occurrence o; // error
}

Either remove snapshot or timeslice, or change the owning type to an occurrence:

occurrence o;
occurrence def O {
    timeslice occurrence o; // ok
}