action-usage-types

Available in: SysML

This checks that action usages are only typed by action definitions, or KerML behaviors.

Subsumes occurrence-usage-types.

Specification

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

An action usage must only be defined by action definitions (of any kind) or KerML behaviors (see [KerML, 7.4.7]).

Example

part def P;
action a : P; // error: An action usage must be defined by action definitions, or KerML behaviors

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

part def P;
action a; // ok

or specialize valid types:

action def P;
action a : P; // ok

---

All validation rules