item-usage-types
Available in: SysML
This checks that item usages are only typed by item definitions, or KerML structures. Note that this also applies to part usages which have exactly the same constraint, and are kinds of items.
Subsumes occurrence-usage-types.
Specification
While not formally described in chapter 8, it is given in chapter 7.10.2:
An item usage must only be defined by item definitions (of any kind) or KerML structures (see [KerML, 7.4.4]).
Example
attribute def P;
item i : P; // error: An item usage must only be defined by item definitions or KerML structures
Fix this by removing specializations that directly or indirectly contribute to invalid types:
attribute def P;
item i; // ok
or specialize valid types:
item def P;
item i : P; // ok