occurrence-usage-individual-definition

Available in: SysML

This checks that occurrence usages are typed by at most one individual occurrence definition.

Specification

An OccurrenceUsage must have at most one occurrence_definition with is_individual = true.

Example

individual occurrence def D;
individual occurrence def E;
occurrence o : D, E; // error

Instead, type only once:

individual occurrence def D;
individual occurrence def E;
occurrence o : D; // ok