attribute-usage-types

Available in: SysML

This checks that attribute usages are only typed by attribute definitions, or KerML data types.

Specification

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

An attribute usage may only be defined by attribute definitions or KerML data types.

Example

part def P;
attribute a : P; // error: An attribute usage must be defined by attribute definitions, or KerML data types

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

part def P;
attribute a; // ok

or specialize valid types:

attribute def P;
attribute a : P; // ok

---

All validation rules