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.