Clafer Tools 0.3.1 Released!

by Kacper Bąk
 
Changelog:

• The Clafer compiler can handle multi-file input and generate multiple corresponding outputs
• Added rendering of Clafer models in CVL notation
• Improved error reporting
• Minor bug fixes

ClaferIG Report and ClaferWiki

by Kacper Bąk
 
We added two resources to the website:

• Clafer-based Wiki that aims at integrating informal documentation with more formal Clafer models.
• ClaferIG report that explains what ClaferIG is, how it works, and what problems it solves.

Clafer Tools 0.3 Released!

by Kacper Bąk

Changelog:

• added Multi-objective Optimization (requires AlloyMOO)
• automatic scope analysis in ClaferIG
• integration of Clafer compiler, instance generator, and multi-objective optimization
• rending Clafer models as navigable HTML and DOT files
• fixed bugs
• language cleanup

Welcome to New Clafer Website!

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.