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