ferhaterata opened this issue 8 years ago · 0 comments
prof Daniel's reply to question
M. Richters, A precise approach to validating UML models and OCL constraints, Ph.D. Thesis, Universität Bremen, Fachbereich Mathematik und Informatik, Logos Verlag, Berlin, BISS Monographs, No. 14, 2002
Cunha, Alcino, Ana Garis, and Daniel Riesco. "Translating between Alloy specifications and UML class diagrams annotated with OCL." Software & Systems Modeling 14, no. 1 (2015): 5-25.
He, Yujing. "Comparison of the Modeling Languages Alloy and UML." Software Engineering Research and Practice 2 (2006): 671-677.