viewpoint-usage-types

Available in: SysML

This checks that viewpoint usages are only typed by a single viewpoint definition.

Subsumes requirement-usage-types.

Specification

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

A viewpoint usage must be defined by a single viewpoint definition.

Example

part def P;
viewpoint def V1;
viewpoint def V2;
viewpoint v1 : P; // error: A viewpoint usage must be defined by a single viewpoint definition
viewpoint v2 : V1, V2; // error: A viewpoint usage must be defined by a single viewpoint definition

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

part def P;
viewpoint v1; // ok

or specialize only a single viewpoint definition:

viewpoint def V1;
viewpoint v2 : V1; // ok

All validation rules