Clafer Tools Demo at SPLC

Our paper Clafer Tools for Product Line Engineering was accepted as a demo at SPLC'13. We invite all attendees to join us for the demo. See you in Japan!

Clafer Tools 0.3.2 Released!

Clafer Tools 0.3.2 is a simultaneous release of the Clafer

• compiler
• instance generator
• configurator
• multi-objective optimizer
• MOO visualizer and explorer
• wiki

projects.
The binary distributions of the compiler and instance generator are available for download. The other tools are either in Python or JavaScript and do not require binary builds-they can be installed by downloading from the source code repositories.
The following are links to public live demo installations of

• ClaferWiki
• ClaferMooVisualizer
• ClaferConfigurator

Changelogs for release 0.3.2
Clafer new features and bug fixes
ClaferIG new features and bug fixes
ClaferConfigurator new features and bug fixes
ClaferWiki new features and bug fixes
ClaferMOO new features and bug fixes
ClaferMOOVisualizer new features and bug fixes

Clafer Tools 0.3.1 Released!

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

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!

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!

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.