Alloy Constraint Analyzer is an object modelling notation that is compatible with development approaches such as UML, Catalysis, Fusion, OMT and Syntropy, strongly influenced by the Z specification language.
To run Alloy use the following command:
java -classpath alloy.jar alloy.gui.AlloyGUI
Alloy folder for linux
Alloy folder for sun