Talk:Modeling from A to Z/Modeling principles/A is for Alloy analyzer

= the address book = I have obtained some notes on use of Alloy for the building of models and I have copy of Daniel Jackson's book. I propose to build new model on „Digital Art Exhibition“ which is essentially isomorphic to address book in the "Whirlwind Tour" (Михал Орела 13:12, 11 August 2008 (UTC))

The model has been built, encoded, and executed. The results are very pleasing. We now have a new model isomorphic to the address book model. (Михал Орела 18:43, 11 August 2008 (UTC))

the code itself
Using the inbuilt code tags gives a very ugly result. Time to try something more sensible and elegant. (Михал Орела 17:39, 15 August 2008 (UTC))

the screenshot
The next problem to be resolved was the issue of use of a screenshot under a suitable Wikimedia Commons License.

Fortunately, there is a special MIT License which is available; Daniel Jackson is at MIT. The screenshot is now also incorporated. (Михал Орела 18:43, 11 August 2008 (UTC))

white space
I have stuff working. However, there is far too much white space. The images were chosen to be roughly the same size and to be square shaped. I might experiment a bit with the presentation... later. (Михал Орела 19:27, 11 August 2008 (UTC))

Alloy analyzer
The diagrams are all produced now with Alloy Analyzer 4.1.8 (build date: 2008/08/07 16:29 EDT) (Михал Орела 17:00, 15 August 2008 (UTC))