allocation-usage-types

Available in: SysML

This checks that allocation usages are only typed by allocation definitions.

Subsumes connection-usage-types.

Specification

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

An allocation usage must only be defined by allocation definitions.

Example

part def P;
allocation i : P; // error: An allocation usage must only be defined by allocation definitions

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

part def P;
allocation i; // ok

or specialize valid types:

allocation def P;
allocation p : P; // ok

---

All validation rules