Domain Concept Modeling Using Clafer - Tutorial (v. 9.1)

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:

1. Read the tutorial. Do not read the reference solution from the last section.
2. Do the exercise (the described book concept). Do not ask any questions. Try to find answers in the tutorial. If you can't find an answer, please write the question down together with your solution.
3. Compare your solution with the reference solution from the last page. Write down the differences and reasons for them.

I would appreciate if you sent me the original solution with all mistakes if any. Please email 1) the solution, 2) unanswered questions, and 3) the version number of the tutorial to mantkiew@gsd.uwaterloo.ca. Any comments/suggestions/critique/corrections related to the tutorial are highly welcome as well.

I would like to thank Maria Attarian, Marko Novakovic, Leonardo Passos, Jeniffer Janik, and Thiago Tonelli Bartolomei for submitting their results of the exercise and providing excellent feedback.