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.
Refactoring is not yet supported in iUML-B
Changed category to feature Request
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.