Template-based Formalization of Feature Models for Product Family

The feature model considers several products as a collection of features and describes the commonality and variability of the family in terms of feature relationships. Traditional informal feature models lacked the support of tools to automate the process of feature modeling, so formal methods were introduced implement automated support for feature modeling tools. For large software, writing formal specifications for feature models directly is quite difficult and requires technical background and experience. In this paper, we propose a formal template-based approach to constructing feature models and their formal descriptions, each template is used to formalize a class of PFA expressions. We give a structural definition of the templates and for constructing feature models from templates and generating formal descriptions of the corresponding features. We give a case study to illustrate the effectiveness of our method.