#6 Changes not propagated in refined diagrams

[Luis Diaz]

Changes in abstract machines (sm) are not propagated to the sub-machines (it is needed to re-do completely the refinements).

Example:
- Change the name of a state-machine and re-generate. The variable will be changed in this machine. Refined state machine do not update this change.
- Add a new transition in a state-machine. This transition is not updated in the refined state machines.
Probably is the same with the class diagrams.

[Colin Snook]

Refactoring is not yet supported in iUML-B

Changed category to feature Request

[Colin Snook]

A Refactoring facility has now been added to the iUML-B frameworks. Changes to diagrams are recorded over multiple editing sessions and can be reverted or committed. If committed, they are also propagated down the refinement chain.