Difference between pages "UML-B notes for 2.1.0" and "File:Example contexts.png"

From Event-B
(Difference between pages)
Jump to navigationJump to search
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...)
 
imported>Pascal
(uploaded a new version of "Image:Example contexts.png": Example - Contexts)
 
Line 1: Line 1:
−
 
+
Example - Contexts
−
''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
 
−
 
 
−
 
 
−
[[Category:UML-B]]
 

Revision as of 11:56, 23 July 2009

Example - Contexts

Retrieved from ‘https://wiki.event-b.org/index.php?title=UML-B_notes_for_2.1.0&oldid=11490’