Skip to content
  Projet Triskell  

Transforming Instances to Models

Document Actions
We show how XML solution instances generated by Alloy are transformed to XMI models that conform to the input meta-model.

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