It extends the power and flexibility of the language and fixes most of the known flaws. We plan to have the release available by November 1, 2001. In the meantime, a beta version and a paper describing the new language are available. Alloy is an object modelling notation that is compatible with development approaches such as UML, Catalysis, Fusion, OMT and Syntropy. The Alloy Constraint Analyzer is a tool for analyzing Alloy models.
Alloy is an example of a lightweight formal method .
Its design was strongly influenced by the Z specification language. For more information on formal methods, see the WWW Virtual Library . Paper describing Alloy Example in Alloy, UML and Z The Alloy Constraint Analyzer was previously called Alcoa. This is why we changed the name.