In our lab, people rarely work alone - we collaborate a lot with each other as well as with external researchers and our industry partners.
Two Online Tools
The website got updated with two online tools. You can try them without having to download and compile source code. CDL to Clafer translator takes an eCos' variability model specified in the CDL language and outputs corresponding Clafer model. We believe the Clafer model is easier to read and comprehend. It is also analyzable by SAT/SMT solvers.
The Clafer to Alloy translator became more universal and is no longer limited to Alloy. As a first step, the new translator can output processed Clafer models in XML format to ease model interchange with other tools.