Recent News

by Kacper Bąk on February 16, 2012

Clafer has become one of the major projects in our lab. It is growing much faster than I ever expected. More and more people are involved in the project or work on its applications. We have been progressing in the following areas:

Language Design and Tools

  • Translator - many bugs got fixed in the Clafer translator and the language includes more and more constructions that support lightweight modeling.
by Zinovy Diskin on February 4, 2012

ETAPS is an umbrella venue for several established conferences and workshops. This year we have three contributions to ETAPS:
= Our paper Intermodeling, queries, and Kleisli categories will be presented at FASE'12
= Yingfei and Zinovy were in the PC of the BX'12 Workshop, which is striving to be a visible point on the map. The next edition, BX'13, is already accepted to be affiliated with ETAPS'13. The program of BX'12 is here

by Xiong, Yingfei on February 4, 2012

We have released ECC fixer 0.1. This is a preliminary release mainly served as supplementary material for paper Generating Range Fixes for Software Configuration.

by Xiong, Yingfei on January 26, 2012

Based on our survey, solving configuration errors and activating inactive features are two main challenges faced by today's configurator users. This paper proposes a new concept, range fixes, to assist users dealing with the two challenges. A technical report version of the paper can be found here.

by Michal Antkiewicz on January 24, 2012

This tutorial (attached) introduces domain concept modeling using Clafer. The tutorial explains concept modeling using well-known document and slide structuring metaphors, easy to understand examples, and then it introduces Clafer a bit more precisely. The tutorial also contains an exercise: modeling of the concept Book and a reference solution. We recommend working with the tutorial in the following way:

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.