EMF Compare Editor installation

From Event-B
Jump to navigationJump to search

Installation into Rodin 1.1.x

The EMF Compare facilities are enabled by a small feature called Event-B EMF Teamwork. I have put this in a test site for now.

Go to the Software Updates-Available Software and add an update site with this URL:

 http://users.ecs.soton.ac.uk/cfs/downloads/org.eventb.emf.testsite/

Then install the "Event-B EMF Emerging Features" feature from it. (Do not install the Event-B EMF framework from this test site as the changes have now been incorporated into the released version 1.1.2)

You may also have to manually install the EMF Compare feature (it should have installed automatically but didn't for me - maybe I forgot to add a dependency) Do this from the Ganymede update site, under Models and model development, tick EMF Compare (Incubation)

Installation into Rodin 1.0.x

The EMF Compare facilities are enabled by a small feature called Event-B EMF Teamwork. However, this feature requires a minor update to the Event-B EMF Framework feature. I have put both of these in a test site for now.

Unfortunately, the Camille editor is very strict on dependencies, so although it would work fine with a minor update, it has to be removed before you can install the new version of the framework. Therefore, first go to the Installed Software tab and remove Camille (I also removed the old version of EMF framework but i am not sure this is necessary, it should just update). [Note that Camille and the EMF framework have both been re-issued for Rodin 1.1.x so that these problems are only applicable for the old Rodin 1.0.x releases]

Then go to the Available Software and add an update site with this URL:

 http://users.ecs.soton.ac.uk/cfs/downloads/org.eventb.emf.testsite/

Then install both features from it.

You may also have to manually install the EMF Compare feature (it should have installed automatically but didn't for me - maybe I forgot to add a dependency) Do this from the Ganymede update site, under Models and model development, tick EMF Compare (Incubation)

Usage

You use the Compare editor just like you would the Java one. I.e. select two machine or context files and then use the pop-up menu compare with - each other. Also, it should be invoked automatically if you do team actions into a repository (i.e. CVS or SVN).

However there is one snag at the moment - the Event-B common navigator doesn't show you files (the machines you can see are root elements within the files) therefore to select a file you have to either open a resource navigator (show view) or you can change the default configuration of the Event-B navigator (little down triangle on its menu bar) to un-tick the filters for All Files .. and unchecked machine/context files.