v1e: A Kernel for Domain-specific Textual Variability Modelling Languages

v1e is a language kernel for textual variability modelling built on top of the language-development system DjDSL. As a language kernel, v1e provides a minimal but extensible set of abstractions to implement language families for textual variability modelling. v1e provides for a small and versatile abstract syntax to encode variability models using multiplicity constraints and canonical semantics. v1e offers built-in analysis support via BDDs, such as configuration validation. A derived language becomes realised as a collection of extensions dependent on the language kernel. We showcase the design and implementation of a v1e-based implementation of TVL. We conclude the paper by pointing out current limitations (e.g., representing attributed variability models) and future directions (e.g., analysis support beyond BDD).