Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.
Ecore to Clafer Translator
Ecore2Clafer is a small tool that translates Ecore meta-models to Clafer. It does not handle OCL constraints.
The attached jar file contains source code, class files and required libraries.
You can run the tool with command:
java -jar ecore2clafer.jar inputFile.ecore
where inputFile stands for Ecore file with EMF meta-model. The tool produces corresponding Clafer model and prints it out.