Generating Feature Models with UVL's Full Expressiveness

The Universal Variability Language (UVL) is a textual format for specifying feature models. UVL has optional language levels (i.e., extensions) that add more expressive functionality to the base language, such as numerical constraints over attributes. However, those levels have been a rather recent addition. Also, most other established formats only support a subset of UVL’s expressiveness. Consequently, there are currently only very few feature models available that use the more sophisticated language levels of UVL. The lack of such feature models hinders research and tool development that targets more expressive feature models. In particular, this makes it difficult to develop efficient reasoning engines or conversions between the different levels. In this work, we present UVLGenerator, a first prototype for generating UVL models that make use of all available language levels. The generator supports configuring various structural properties that, inter alia, control which language levels are used.