Thursday, September 25, 2014
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:
Wednesday, September 10, 2014
Monday, September 8, 2014
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