Transformation of Ecore Models and Constraints into Alloy Specifications for type checking and various semantic errors of expressions and formulas

[ferhaterata]

CD2Alloy website
CD2Alloy-- Class Diagrams Analysis Using Alloy Revisited (MODELS) - 2011
On challenges of model transformation from UML to Alloy (SoSym) - 2010
UML2Alloy-- A Challenging Model Transformation (MODELS) - 2007
Translating between Alloy specifications and UML class diagrams annotated with OCL (SoSym) - 2015
From UML and OCL to Relational Logic and Back (MODELS) - 2012