[Ángela Villota] Coffee: a framework supporting expressive variability modeling and flexible automated analysis

The Coffee Framework is a constraint-based framework that supports variability modeling and analysis about variability models, two of the main tasks in the management of variability-intensive systems. This framework is proposed to ease the interoperability between variability management tools and the strong dependencies in the framework supporting automated analysis of variability models. The Coffee framework addresses these problems by modifying the transformation framework and introducing two intermediate languages. This presentation presents an overlook of the framework and its two main contributions:The High-Level Variability Language,  an expressive variability modeling language, and
 The three-step transformation framework for supporting multi-language and multi-solver automated variability analysis.