Instance Export

Prerequisite

Lightning allows you to export instances to the XMI format, under the condition that an Ecore model, equivalent to the Alloy model it was generated from, exist. This Ecore model should be located in the same folder and should carry the same name than the corresponding Alloy Model.
Note that Lightning allows the transformation of Ecore to Alloy models. If you possess an Ecore model and import it in our tool as an Alloy model, then all the instances generated from that model will be exportable.

How To

Simply press the export button present on each instance viewer: