by Kacper Bąk
We are continuing our work on the language and related tools. Many bugs have been fixed in the Clafer compiler and we have finally decided on certain design choices (e.g. name resolution algorithm, the semantics of reference clafers). We also improved cooperation with other tools, most importantly with Clafer Instance Generator. It allows for interactive validation of variability models by working with examples and counterexamples. In practice, one can do modeling and validate Clafer models in the real-time.
Some of our students are finishing projects related to Clafer. That includes multi-objective optimization, working with partial instances in Alloy, and language usability evaluation. We are also evaluating Clafer on models from financial and role-based access control domains.