feature-owned-reference-subsetting

Available in: KerML, SysML

This checks that features have at most one owned reference subsetting.

Specification

A Feature must have at most one owned_subsetting that is a ReferenceSubsetting.

Example

attribute a;
attribute b;
attribute c ::> a ::> b; // error

Fix this by removing any extraneous reference subsettings:

attribute a;
attribute b;
attribute c ::> a; // ok