flow-usage-types

Available in: SysML

This checks that flow usages are only typed by flow definitions, or KerML interactions.

Specification

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

A flow usage must only be defined by flow definitions or KerML interactions (see [KerML, 7.4.10]).

Example

attribute def F;
flow f : F; // error: A flow usage must be defined by flow definitions, or KerML interactions

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

attribute def F;
flow f; // ok

or specialize valid types:

flow def F;
flow f : F; // ok

---

All validation rules