Thursday, September 25, 2014

Which new features would you like to see in Clafer?

by Michał Antkiewicz

We are thinking of implementing a few new features for Clafer. We opened a poll on the right, above the "Blog Archive". Please vote.

Here's a brief explanation of the features:

Monday, September 8, 2014

Tutorial on Domain Modeling using Clafer

by Michał Antkiewicz

On Aug 25, 2014, as part of the Domain-Specific Modeling Theory and Practice 2014 Summer School, Michał Antkiewicz presented a 6-hour hands-on tutorial on Domain Modeling using Clafer. This year, the school had a common domain: "Traffic Lights", and it was first modeled and analyzed using Clafer.

The tutorial is in the form of the Clafer Wiki 'Traffic Lights' Domain Model Example. It contains four parts:

  • Part 0: Introduction to Domain Engineering (slides)
  • Part I: Feature-Oriented Domain Analysis and Modeling
  • Part II: Domain Concept Modeling
  • Part III: Application Configuration