feature-chain-expression-conformance

Available in: KerML, SysML

This checks that feature chain expressions segments are accessible from the previous segment.

This is a generalization of feature-chaining-feature-conformance rule to feature chain expressions.

Specification

The target_feature of a FeatureChainExpression must be featured within the result parameter of the argument Expression of the FeatureChainExpression.

Example

This is easiest to trigger from KerML by overriding default featuring types:

class D;
feature A {
    feature B featured by D;
}
feature a = A.B; // error

Default featuring types do not trigger this:

feature A {
    feature B;
}
feature a = A.B; // ok