Recent News

We created a wiki page containing guidelines for using Clafer as a feature modeling language.

It contains references to

• materials about the attributed feature model with inheritance subset of Clafer
• an interactive on-line exercise "Feature modeling with quality and multi-objective optimization using Clafer"
• the available on desktop and on-line tools

On Dec 09, 2013, at the University of Waterloo, we hosted a one-day workshop about product line engineering.

The workshop was attended by nearly 150 participants from around the world, including 36 registered in-person participants and 57 registered on-line participants.

Read more about the agenda and the talk abstracts. View recordings. Download presentation slides.

Organized by Michał Antkiewicz, Krzysztof Czarnecki, Andrzej Wąsowski, Ina Schaefer.

Sponsored by

On Sep. 29, at the Model-Driven Engineering by Example workshop at the MODELS'13 conference we presented a paper Example-Driven Modeling Using Clafer. The paper shows a scenario in which Alice, an SME, and Bob, a BA, are communicating using examples, inferring abstractions, deriving new examples, and validating the abstractions.

The paper showcases the importance of redefinition, partial typing, and partial instantiation for the presented vision of performing example-driven modeling. The slides of the presentation are available at the publication's page.

Support for redefinition is partially implemented in Clafer 0.4.0. A preview release is available from binary distributions.

Download binaries

SPLC'13 papers:
Clafer Tools for Product Line Engineering,
Visualization and Exploration of Optimal Variants in Product Line Engineering.

Clafer Tools 0.3.4 is a simultaneous release of the Clafer

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

projects.

The binary distributions of all tools are available for download.

The following are links to public live demo installations of

• ClaferWiki
• ClaferMooVisualizer
• ClaferConfigurator

Read more about details of the release...

Download binaries for Clafer and ClaferIG

SPLC'13 papers:
Clafer Tools for Product Line Engineering,
Visualization and Exploration of Optimal Variants in Product Line Engineering.

Clafer Tools 0.3.3 is a simultaneous release of the Clafer

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

projects.

The binary distributions of the compiler and instance generator are available for download. The other tools are either in Python or JavaScript and they 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

The live demos are still running 0.3.2 but will be upgraded asap.

Read more about details of the release...

Our paper has been accepted for publication at SLE'13. The work explores the notion of partial instantiation, shows usefulness of partial instances in Object-Oriented Modeling (OOM), and presents the encoding of partial object diagrams as class diagrams via subclassing and refinement of multiplicity constraints. As a result, it allows any OOM language that has no native support for partial instances, to support them at the class level. The paper will be presented in Indianapolis next October.

Our paper "Variability-Aware Performance Prediction: A Statistical Learning Approach" has been accepted as a full paper (acceptance rate: 51/317 ≈ 16%) at the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013). This paper proposes a variability-aware approach via statistical learning to predict a configuration’s performance based on small random samples. The corresponding, ongoing project can be found here.

Our paper describing several approaches (Bubble Front Graph, Feature and Quality Matrix, Variant Comparer) to be used for visualization and exploration of Pareto fronts in the context of Product Line Engineering, has been accepted for publication at the Research Track of SPLC'13 as a short paper and will be presented next August in Tokyo, Japan.