related-feature-conformance

Available in: KerML, SysML

This warns when features related by ends do not conform to the types of the redefined end features.

For each end feature redefined (e.g. the connector end), the related feature (e.g. the connected feature) must conform to all the end feature’s types. Reference subsettings whose referencing feature does not redefine an end feature, such as user-defined ones, are not checked.

Example

port def A;
port def B;
interface def I { end port a : A; end port b : B; }
part p {
    port pa : A;
    port pb : B;
}

interface : I connect p.pa to p.pa; // warning: p::pa does not conform to B

Connect features whose types already match the interface ends to fix this:

interface : I connect p.pa to p.pb; // ok