Difference between pages "UML-B notes for 0.5.8" and "UML-B notes for 2.1.0"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu
 
imported>Colin
(New page: ''Unsolved from previous versions'' ==Machine level diagram elements can be dragged into Classes == '''Problem''' - Machine level variables, events, statemachines can be dragged into th...)
 
Line 1: Line 1:
−
==Using notes or text boxes on diagrams causes Rodin to crash==
 
  
−
'''Problem''' - When more than one character is typed in a Note or Text box on a UML-B diagram Rodin exits due to a memory violation error. This appears to be a GMF problem because it also happens in other GMF diagram editors such as the EMF ecore diagram. The problem may be restricted to Mac computers.
+
''Unsolved from previous versions''
−
 
 
−
'''Workaround''' - Do not use Notes or Text Boxes
 
−
 
 
−
==Associations and Attributes on Class or Context diagrams are not automatically removed when the model element changes ==
 
−
 
 
−
'''Problem''' - When the underlying model element (UML-B Attribute) changes the diagram is not updated to remove a no longer applicable association arrow and/or attribute. For example, when an association arrow is deleted, the corresponding attribute in the source class or classType should be deleted and visa versa. If the type of an association is altered in the properties view, a new association arrow will be drawn to the new target class but the old association arrow is not removed. In some cases the remaining incorrect diagram view can be annotated inappropriately
 
−
 
 
−
'''Workaround''' - Manually delete the incorrect association or attribute. In general, it appears better to delete the association arrow first and then the attribute. If problems persist in the diagram, close the diagram, delete it and re-create it from the parent diagram (using the pop-up menu or properties button, 'open diagram').
 
  
 
==Machine level diagram elements can be dragged into Classes ==
 
==Machine level diagram elements can be dragged into Classes ==
Line 22: Line 13:
  
 
Diagram and Event-B file names are not changed/deleted if model is altered directly from EMF editors or model tab of properties view
 
Diagram and Event-B file names are not changed/deleted if model is altered directly from EMF editors or model tab of properties view
−
 
−
Supertype links cannot be drawn to Refined Class or Extended Class Type
 
  
 
Machine variables cannot be retained in refinement without repeating their type invariant
 
Machine variables cannot be retained in refinement without repeating their type invariant

Revision as of 19:27, 19 November 2010

Unsolved from previous versions

Machine level diagram elements can be dragged into Classes

Problem - Machine level variables, events, statemachines can be dragged into the corresponding compartment of a Class. Once there it is difficult to remove them again.

Workaround - Avoid doing it in the first place. If necessary delete the element and recreate it.

Minor bugs

Inverse function ~ doesn't work with dot notation. Use normal event-B notation instead.

Diagram and Event-B file names are not changed/deleted if model is altered directly from EMF editors or model tab of properties view

Machine variables cannot be retained in refinement without repeating their type invariant

Retrieved from ‘https://wiki.event-b.org/index.php?title=UML-B_notes_for_0.5.8&oldid=10546’