About the GSD Lab

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:

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.

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