DRAFT Updated 12 Aug 2007 UML2Alloy Reference Manual Version 0 26 Date Monday 10 September 2007 Kyriakos Anastasakis The University of Birmingham School of Computer Science Contents List Of Figures 4 os a csaa mm a ok os EUR ESOS iii Introduction 1 11 Minimum Requirements lees 1 Translating UML 2 2 1 Classes Subclasses and Types 2 2 24 En merations corras a 2 2 9 Associations ce a eee ee 3 2 4 Class Attribu
DRAFT Updated 04 May 2009 UML2Alloy Reference Manual UML2Alloy Version 0 52 Kyriakos Anastasakis The University of Birmingham School of Computer Science Please consider the environment before deciding to print this document Contents List DE IPAgHf S 2g ss ym BS aa Bw PE we e ded iii Introduction 1 1 1 Minimum Requirements ln 1 UML Profile for Alloy 2 ZL a las La eo xo dE Ga A ier x d 2 2 2 ScopodBlement crisis e RE Aes 2 23 Singleton