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.