Skip to main content

Consistency check for product line development

Feature model alignment check rules

Error

RulesError messagesError judgment conditions
The number of child elements of the group is less than the lower limit of selectionThe number of features that can be selected simultaneously (m) is less than the lower limit of multiplicity (n).The number of features that can be selected simultaneously in a feature group is less than the minimum number of selections defined in the feature group
The number of required selector elements in the group exceeds the selection limitThe number of required features (m) exceeds the multiplicity limit (n).The number of required features that belong to a feature group is greater than the maximum number of selections defined in the feature group
Exclusive relationship between required featuresExclusive relationship with x does not hold. These are always selected at the same time.An exclusive relationship is defined between features that require simultaneous selection due to the relationship between the feature hierarchy and the type.
Dependencies between alternate featuresDependencies with x do not hold. These cannot be selected at the same time.Dependencies are defined between features that cannot be selected at the same time due to the relationship between the feature hierarchy and the type.
Exclusive relationship between parent and childYou cannot set a constraint between features with x in a parent-child relationship.An exclusive relationship is defined between features that have a parent-child (including grandchildren) relationship in the feature hierarchy.
Dependencies between parent and childInter-feature constraints cannot be set between x and x in a parent-child relationship.Dependencies are defined between features that have a parent-child (including grandchildren) relationship in the feature hierarchy.
Group selection constraint invalidSet the lower limit to a value of 0 or more.Lower limit of feature group <0
ใ€ƒSet the upper limit to a value other than 0.Feature group upper limit = 0
ใ€ƒSet the upper limit to a value larger than the lower limit.Lower limit of feature group> Upper limit
and upper limit> = 0
Self-constraintSelf-referential feature-to-feature constraints cannot be set.Self-referenced feature-to-feature constraints are defined
Multiple constraintsYou cannot set multiple constraints with x.Multiple constraints are defined between the same features
Feature naming convention violationsFeature names or unique names cannot contain "[", "]".Feature unique name or name contains kinsoku characters

Warning

RulesError messagesError judgment conditions
No alternative features availableThe alternative features available are undefined.There are no sibling alternative features in the alternate features
No selectable OR featuresSelectable OR features are undefined.The OR feature does not have a sibling OR
Conflict of alternate features initially selectedMultiple alternate features specify default selection.Among sibling alternative features, there are multiple alternative features with the initial selection state ON
Feature Distinguished Name Unique Constraint ViolationFeature name is not unique. Please change the name or specify a unique name.Feature identifier is not unique
ใ€ƒThe unique name of the feature is not unique. Please change the unique name.ใ€ƒ