Download

Click here to download UML2Alloy 0.52 Beta. (8.5 MB, zip format)

Unzip the compressed file locally making sure you keep the directory structure in the zip file. From the command prompt navigate to the directory where UML2Alloy was unzipped and use the "run.bat" file if you are on windows, or the "run.sh" file if you are using *nix. If you are on a *nix, operating system, you will have to give execution rights to the file "run.sh".
Please run UML2Alloy from the command prompt, because for the time being a number of error messages and warnings print to the console.