Implementation of Automatic Adjustment Approach of Feature Modeling

It is very important that each feature model of a product remains valid in itself, and, in addition, consistent with the other feature models of the product at the same time. In current feature modelling systems, an invalid feature model always has to be manually adjusted in order to make it valid again, and a feature model for which a consistent feature model in another view does not exist also has to be manually adjusted in order to make such a consistent feature model possible. An approach to avoid this is to have the system automatically adjust the feature model. The presented approach has been built on top of existing constraint solvers and checkers, which are a geometric and an algebraic constraint solver, and a dimension and an interaction constraint checker, and therefore can support several types of constraints. And the automatic model adjustment strategies for different types of constraints will be elaborated. At last, an example was introduced.