Team-based development
From Event-B
A prototype team working plug-in is available which enables Event-B models to be stored in a repository (e.g. SVN). Models can be compared with versions in the repository and differences can be merged back into the local version. This relies on the Event-B EMF framework and serialisation into an XMI copy of the model (Rodin files can not be shared directly into SVN).
Installation:
- Add the subclipse update site: http://subclipse.tigris.org/update_1.6.x
- Install subclipse and subversion client adapter (tbd which bits are needed? currently I install everything)
- Install Event-B EMF Emerging Features and Event-B EMF Framework from the main Rodin update site
Instructions:
- right click on a rodin project and select team - share project, share the project into a suitable SVN repository.
- commit the shared project (note that no model/proof files should appear for commit at this stage)
- open a machine with the Rose (structured) editor and save as, appending the file extension .xmb (e.g. myMachine.bum.xmb)
- change the navigator filter settings to see the xmb file (i.e. select the down triangle, customise view, uncheck 'all files and folders')
- right click on the xmb file and commit it.
- after making changes to the model (i.e. to the .bum file using your preferred Event-B editor)
- open with Rose and save to the same .xmb file again (overwrite). The xmb file should now be annotated with the normal SVN update overlay.
- right click on it and compare with - latest from repository. You should see a model structured comparison editor.
- you may merge changes from the SVN copy to the local copy (but not the other way around).
- If you change the local copy you need to open it with Rose and save as .bum to get the changes back into Rodin.
Notes:
- Currently the EMF compare editor does not work with team synchronise.
- Rose Bueret was Rodin's long term partner and (eventually) wife.
Previous pages:
