Difference between revisions of "UML-B notes for 2.1.0"

From Event-B
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>Colin
 
Line 1: Line 1:
 +
== New problems in version 2.1.0==
  
''Unsolved from previous versions''
+
=== Model Elements with Errors will not be deleted ===
  
==Machine level diagram elements can be dragged into Classes ==
+
'''Problem''' - When an element has errors, a notification is generated when the user tries to delete it. This causes the model to be reloaded before the deletion completes.
 +
 
 +
'''Workaround''' - a) Fix errors before deleting or b) Open the *.umlb model file and delete the element from within the EMF editor.
 +
 
 +
'''Plan''' - Fix in next version (due Feb 2011).
 +
 
 +
 
 +
==Unsolved from previous versions==
 +
 
 +
=== No way to manually contribute to the INITIALISATION event ===
 +
 
 +
'''Problem''' - The INITIALISATION event is automatically generated and there is no way to contribute to it.
 +
 
 +
'''Workaround''' - None
 +
 
 +
'''Plan''' - Fix in next version (due Feb 2011).
 +
 
 +
===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.
 
'''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.
Line 8: Line 26:
 
'''Workaround''' - Avoid doing it in the first place. If necessary delete the element and recreate it.
 
'''Workaround''' - Avoid doing it in the first place. If necessary delete the element and recreate it.
  
==Minor bugs==
+
===Minor bugs===
  
 
Inverse function ~ doesn't work with dot notation. Use normal event-B notation instead.
 
Inverse function ~ doesn't work with dot notation. Use normal event-B notation instead.

Latest revision as of 15:46, 28 January 2011

New problems in version 2.1.0

Model Elements with Errors will not be deleted

Problem - When an element has errors, a notification is generated when the user tries to delete it. This causes the model to be reloaded before the deletion completes.

Workaround - a) Fix errors before deleting or b) Open the *.umlb model file and delete the element from within the EMF editor.

Plan - Fix in next version (due Feb 2011).


Unsolved from previous versions

No way to manually contribute to the INITIALISATION event

Problem - The INITIALISATION event is automatically generated and there is no way to contribute to it.

Workaround - None

Plan - Fix in next version (due Feb 2011).

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