feature-constant-is-variable

Available in: KerML, SysML

This checks that constant features are also variable.

Specification

A Feature with is_constant = true must have is_variable = true.

Example

constant attribute x; // error

Remove constant because variable is implied by the model in SysML:

attribute x; // ok

Otherwise, a bound value effectively means that the feature cannot have a different value assigned due to redefinition constraints:

attribute x = 4; // ok