Developing a TraVarT Extension to Transform UVL Models Into Clafer and Vice Versa
| Typ | Bachelorarbeit | |
|---|---|---|
| Aushang | BA Clafer Transformations TraVarT.pdf | |
| Betreuer | Wenden Sie sich bei Interesse oder Fragen bitte an: Kevin Feichtinger (E-Mail: kevin.feichtinger@kit.edu, Telefon: +49-721-608-45766) |
Motivation
Variability models are used to capture common and variable parts of a set of software(-intensive) systems. These models are crucial to software product line methodologies. In the last 30 years, many variability modeling approaches have been developed by academia and industry. Thus, for developers new to variability modeling, it is difficult to select the right approach for a given use case. TraVarT addresses this challenge by enabling developers to transform between different types of variability artifacts. This way already invested modeling efforts are preserved and the different types of variability artifacts can by analyzed for their suitability for a given use case.
Tasks
Investigating the existing variability modeling approaches Universal Variability Language and Clafer to define transformations between the two model types. Specifically, the transformations between the two approaches must be implemented and integrated into the existing variability artifact transformation approach TraVarT, which allows two distinct types of transformations. The transformations must preserve the semantics of the models during transformation and should be evaluated using an existing set of variability models available for both languages. For that, potentially new models need to be created to cover the full capabilities of the two approaches.
Notes
This thesis can be supervised in German and/or English