Camille save destroys transitions in iUML-B state-machines

[cfsnook]

Saving in Camille tries to ignore (i.e. preserve) iUML-B state-machines (even though they appear to have been deleted because there is no text representation). However, a transition's source/target references have an eOpposite relation with States incoming/outgoing references. Only the incoming/outgoing references are preserved; the source/target references are deleted resulting in an invalid model.

Before saving with Camille:

After saving a change in Camille:

Looking with Rose editor reveals missing properties source and target:

The model can be repaired by deleting and re-writing the incoming/outgoing properties of the states. (which automatically updates the source/target properties since they are eOpposite).

N.b. there are other eOpposite relationships in e.g. Class diagrams etc.

[cfsnook]

This is using Camille 3.2, Rodin 3.3, iUML-B Statemachines 3.4.1

[wysiib]

This might be related to #26. Maybe the eOpposites are the child elements that should not be merged?

[cfsnook]

It might be related somehow.... but I am pretty sure there are no eOpposites used in the Event-B EMF - they are only used when you have iUML-B extensions in the model.