Ecore Import

Any Ecore models can be imported by the Lightning tool. Such an import simply consists in a transformation from Ecore to Alloy with the resulting Alloy model produced in the same folder with the same name. (You should be aware that if you move ore rename one of the two models (.als or .ecore), you might disable the export functionality ) The import consists of a chain of small and simple transformation as depicted below. It only provides bridges from Ecore to standard UML and from this standard UML to the UML version used by UML2Alloy

How To

In order to import an exore. Simply go to File > Import ... then under the Lightning Category, choose the Ecore entry. A wizard will appear. Simply select the Ecore to import and the folder in which to save the Alloy model. (note that the ecore model given as source will be copied in the selected target folder as well.)