Transforming Instances to Models
Steps
1. We want to transform generated Alloy instances are transformed XMI model files.
2. Go to project alloy2emf and open the file:
"platform:/resource/Pramana/alloy2emf/src/fr/irisa/triskell/alloy/LaunchAlloyInstance2XMI.java"
3. You have to set a couple of parameters in this file:
3.1 The root directory:
String root = new String("/Users/sagarsen/Desktop/PramanaDemo/demoSpace/Pramana");
3.2 The top-level class (line 57):
//Set the root package
EMFConverter converter=new EMFConverter(obj,"Activity");
4. Run the program LaunchAlloyInstance2XMI.java as a Java application to transform all XML files to XMI files. It is important to make sure that current.ecore exists in the platform:/resource/Pramana/Temp/currentMetaModel directory.
5. A set of XMI files is generated in the directory: platform:/resource/Pramana/Temp/xmiSolutions