occurrence-usage-types

Available in: SysML

This checks that occurrence usages are only typed by occurrence definitions, or KerML classes.

Specification

While not formally described in chapter 8, it is given in chapter 7.9.2:

An occurrence usage may only be defined by occurrence definitions (of any kind) or KerML classes (see [KerML, 7.4.3]).

Example

attribute def O;
occurrence o : O; // error: An occurrence usage must be defined by occurrence definitions, or KerML classes

Fix this by removing specializations that directly or indirectly contribute to invalid types:

attribute def O;
occurrence o; // ok

or specialize valid types:

occurrence def O;
occurrence o : O; // ok

---

All validation rules