Tom Wijsman: CVL to Clafer transformation


Abstract

Clafer and CVL are currently developing modeling languages that combine modeling languages with variability. They tackle historical problems when introducing variability in existing models. Clafer is textual and concise; CVL is visual and an expansion. In order to make comparisons, interactions and migrations between these two modeling languages more possible; this project transforms CVL to Clafer, after first having studying Clafer and CVL and their tools. For completeness, note that the transformation in the opposite direction already exists in the Clafer Compiler.


Resources

Reports

Project Material

Presentations