This document presents the syntax and intuitive meaning of the main concepts of the Alloy modeling language. It somehow focuses on the "navigation expression style " of Alloy (see Jakson's "Software Abstractions", p.34) and refers to classical object-oriented knowledge.

Pull requests welcome!

--Martin Monperrus