use-case-usage-types
Available in: SysML
This checks that use case usages are only typed by a single use case definition.
Subsumes case-usage-types.
Specification
While not formally described in chapter 8, it is given in chapter 7.25.2:
A use case usage must be defined by a single use case definition.
Example
part def P;
use case def U1;
use case def U2;
use case u1 : P; // error: A use case usage must be defined by a single use case definition
use case u2 : U1, U2; // error: A use case usage must be defined by a single use case definition
Fix this by removing specializations that directly or indirectly contribute to invalid types:
part def P;
use case u1; // ok
or specialize only a single use definition:
use case def U1;
use case u2 : U1; // ok