Recent News

by Kacper Bąk on December 20, 2011

We have been working very intensively on Clafer in the last couple of months.
The Clafer translator got updated to version 0.1, which brought a few extensions to the language and changes to syntax. If you play with the online translator, you will notice that the translator can output models in several new formats:

  • XML format with intermediate representation (IR) of the model. IR allows to combine the Clafer translator with other tools that further process Clafer models.
by Xiong, Yingfei on December 15, 2011

This paper summarizes our findings in our online survey about configuration challenges.

by Xiong, Yingfei on October 7, 2011

We have conducted an online survey about what challenges are faced by the users of modern configuration tools. The result was published here as a technical report.

by Kacper Bąk on September 27, 2011

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.

by Kacper Bąk on September 16, 2011

In the lab we investigate variability models that are used in large software projects. We also work on Clafer, which is a language for modeling software product lines and representing variabilities. Those two lines of research emerged recently. As a result we present a repository of realistic variability models in Clafer. The two preliminary models include the Linux kernel and eCos. Clafer documentation contains additional information about the language and a tutorial.

by Moisés Almeida Castelo Branco on August 24, 2011

In this showcase we present algorithms for finding syntactic and semantic mismatches between two BPMN models. The algorithms are based on graph matching and computational tree logics. We present practical implementations on top of Eclipse, EMF/GMF, VIATRA2 and TAPAs. The showcase is being presented in November, 7th - 10th, at the CASCON 2011 ( See you there!

by Michal Antkiewicz on August 24, 2011

The purpose of the attached document is to demonstrate how a complex family of concepts can be modeled using Clafer. The document presents an exact record of the actual analysis performed by the author and shows a typical evolution of the concept definitions when using the “concrete-to-abstract” modeling approach.

Basic knowledge of Clafer is assumed. Refer to Concept Modeling Using Clafer - Tutorial for a thorough introduction.

by Kacper Bąk on July 26, 2011

We have released a new version of the Clafer to Alloy translator. The translator contains several optimizations that speed up model analysis in the Alloy Analyzer. The analysis is at least two times shorter, but speedup by factor of 4 is not uncommon. More about the optimizations can be found in CS 744 project report [PDF].

by Thiago Tonelli Bartolomei on July 24, 2011

The paper Two Studies of Framework-Usage Templates Extracted from Dynamic Traces was accepted for publication at the IEEE Transactions on Software Engineering journal. In this paper we present the results of two experiments conducted to evaluate the quality and usefulness of FUDA, a technique to extract concept-implementation templates from usage traces.

by Novakovic, Marko on July 19, 2011

A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System was accepted at ACM 3rd International Workshop on Feature-Oriented Software Development (FOSD) (

The study results in a benchmark, produced as a set of Clafer models. The benchmark is available on