Analysis of Feature Tree using Miranda

Abstract

Feature models are used to specify the variability of software product lines. We study a special subset of trees, called generalised feature trees, and show how they can be used to compute properties of the corresponding software product lines. We introduce our paper the concept of generalised feature trees, which are feature trees where features can have multiple occurrences. It is shown how an important class of feature models can be transformed into generalised feature trees. We present algorithms which, after transforming a feature model to a generalised feature tree, compute properties of the corresponding software product line. We discuss the computational complexity of these algorithms and provide executable specifications in the functional programming language Miranda.