关键词: 细胞元模型，语义特征造型，约束求解，特征交互，特征交互充分性原理

Abstract: To maintain validation of models, it must track and check each modeling operation in feature modeling systans. The ways used at large about feature interaction checking can not be used for product models with complicated topology and lots of features. Improving feature interaction checking efficiency is one of the most challenge questions in the researching on feature modeling technology. 13y the deeply research on feature interaction, cellular models theory and feature interaction principle were imported into feature interaction checking,a new feature interaction strategy was put forward,and this method solved effectively the problem about capability limitation.

Key words: Cellular model, Semantic feature modeling, Constraint solving, Feature interaction, Sufficiency principle of feature interaction