Hi all,
I was quite taken by the book’s idea of creating a catalog of concepts from which applications could be composed more efficiently than designing and building from scratch.
Here’s my own attempt at getting started, using the latest version of Alloy for the syntax (which comes with the added bonus of providing verification for correctness):