Enforcing Model Validity by Automatic Adjustment

Abstract

In current modeling systems, all dimensions in a model have to be fully specified by the user. It is desirable that systems become more flexible in this respect, i.e. that non-critical dimensions in a model can be declared variant, and that the model can be automatically adjusted to enforce its validity when it is invalid. A method to realize this in feature modeling systems is described. The underlying feature model definition and validation approach are introduced. Validation is done by a collection of constraint solvers. An overview of invalid situations in which automatic model adjustment can be applied is given. The constraint solving scheme and, in particular, the automatic model adjustment strategies for different types of constraints are elaborated. Applications to enforce model validity are given for the areas of design by features, creating a member of a family of products, and feature conversion. These illustrate that automatic model adjustment is a very useful concept.