UML2Alloy

Publications

G. Georg, I. Ray, K. Anastasakis, B. Bordbar, M. Toahchoodee, S. H. Houmb. An Aspect-Oriented Methodology for Designing Secure Applications. Accepted for publication in Information and Software Technology Journal, 2008
Kyriakos Anastsakis, Behzad Bordbar and Jochen M. Küster. Analysis of Model Transformations via Alloy. Model-Driven Engineering, Verification and Validation (MoDeVVa'07) Associated with MoDELS'07. ()
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg and Indrakshi Ray. UML2Alloy: A Challenging Model Transformation. ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2007), LNCS, Vol. 4735, 2007. (436-450)
Behzad Bordbar and Kyriakos Anastasakis. MDA and Analysis of Web Applications. In Trends in Enterprise Application Architecture (TEAA) 2005. Volume 3888 of Lecture notes in Computer Science, Trondheim, Norway. 2005. (44-55)
Behzad Bordbar and Kyriakos Anastasakis. UML2Alloy: A tool for lightweight modelling of Discrete Event Systems. IADIS International Conference in Applied Computing 2005. In Nuno Guimarães and Pedro Isaías (es.), IADIS International Conference in Applied Computing 2005. Volume 1., Algarve, Portugal, IADIS Press, 2005. 209-216