Feature Modelling

In this chapter, we describe the basis of Feature Models (FMs) using graphical as well as textual representations. We introduce a smartwatch FM that will be used as a working example for this and later chapters. Based on this example, we describe feature modelling extensions using cardinalities and attributes. In the following,we showhowFMs can be translated into a formal representation (constraint satisfaction problems and SAT problems) and introduce corresponding definitions of a FM configuration task and a corresponding FM configuration (also known as configuration, product, or solution). Finally, we discuss example machine learning (ML) approaches that can be applied in the context of feature modelling tasks.