UML2Alloy

• Home
• Download
• Reference Manual
• Examples
• Publications
• License
• Changelog
• Screencasts

Examples

The following examples were developed using the UML2Alloy tool.

• Unidirectional vs. Bidirectional Associations.
• Precise UML for solving Sudoku.
• Man-In-The-Middle Attack.
• Example Java file on how to use the UML2Alloy API to automatically generate an Alloy file.