occurrence-usage-individual-usage

Available in: SysML

This checks that individual occurrence usages are typed by individual occurrence definitions.

Specification

If an OccurrenceUsage has is_individual = true, then it must have an individual_definition.

Example

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

Use individual occurrence definition:

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

Or remove individual:

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