alloy4 reference

[h_a]

hello to alloy workers

I need an alloy4 reference to learn working with alloy

please help me to learn alloy

my previous message did not response by anyone .thank you

[Felix Chang-2]

Dear user:

We have not updated all our tutorials and user manuals for Alloy4 yet,
but there are several online tutorials now, and I have also
manually updated Daniel Jackson's book from Alloy3 to Alloy4.
Here are some links:

   An introductory Alloy4 online tutorial is here:
   http://alloy.mit.edu/alloy4/tutorial4/

   A more in-depth Alloy4 powerpoint tutorial is here:
   http://alloy.mit.edu/alloy4/tutorial/

   For existing Alloy3 users, you can see the list of changes here:
   http://alloy.mit.edu/alloy4/quickguide/

The existing Alloy3 user manual and Daniel Jackson's new book
"Software Abstractions" are both great for learning Alloy itself.
Although the book assumes Alloy3, I have personally updated
the entire book and all its examples to Alloy4 syntax.

The list of changes is here:    http://alloy.mit.edu/alloy4/book.html
The converted models are here:  http://alloy.mit.edu/alloy4/book.zip

Sincerely,
Felix Chang
Alloy4 Developer