Difference between revisions of "Rose (Structured) Editor"

From Event-B
Jump to navigationJump to search
imported>Colin
(New page: ''This page is under development'' The Rose editor is an EMF based, model structured editor that displays the model from various different viewpoints. '''Properties View.''' Make sure t...)
 
imported>Colin
Line 13: Line 13:
 
Use the outline viewer to navigate the model. The outline viewer may show several machines/context at the same time.
 
Use the outline viewer to navigate the model. The outline viewer may show several machines/context at the same time.
  
'''Editing multiple components'''
+
'''Editing multiple components.'''
 
If you click on the properties view, advanced tab any references will be resolved. For example, if you have a refinement machine selected in the editor pane, clicking on the advanced tab will load the abstract machine so that you can edit either (using the outline view to switch between the multiple machines/contexts).
 
If you click on the properties view, advanced tab any references will be resolved. For example, if you have a refinement machine selected in the editor pane, clicking on the advanced tab will load the abstract machine so that you can edit either (using the outline view to switch between the multiple machines/contexts).
  
'''Viewing hidden details'''
+
'''Viewing hidden details.'''
 
The advanced tab of the editor view shows all the hidden details that are not normally visible to a user. Here the tree starts from the element selected in the outline view.
 
The advanced tab of the editor view shows all the hidden details that are not normally visible to a user. Here the tree starts from the element selected in the outline view.
  
'''Viewing Event Refinement relationships'''
+
'''Viewing Event Refinement relationships.'''
 
The refines view is a summary of the event refinement relationships for whichever machine is currently selected in the outline view.  
 
The refines view is a summary of the event refinement relationships for whichever machine is currently selected in the outline view.  
  
'''Storing components outside of Rodin'''
+
'''Storing components outside of Rodin.'''
 
You can  "save as" and add the extension .xmb. This will save your machine / context in standard EMF XMI format instead of in the Rodin database. (to see the xmb file in the Event-B Explorer you will need to uncheck the hide all files and folders option). You can save it back into the Rodin database using "save as" and removing the xmb extension.  
 
You can  "save as" and add the extension .xmb. This will save your machine / context in standard EMF XMI format instead of in the Rodin database. (to see the xmb file in the Event-B Explorer you will need to uncheck the hide all files and folders option). You can save it back into the Rodin database using "save as" and removing the xmb extension.  
  
Line 28: Line 28:
 
You can also copy machines to different projects using save as.
 
You can also copy machines to different projects using save as.
  
'''Future modellingExtensions'''
+
'''Future modellingExtensions.'''
 
The Rose editor is based on EMF's extensible child providers. Hence any future extensions to the modelling notation are partially supported by Rose without any modification being required. The advanced properties tab will also be fully supported for any future extensions. However, the overview properties tab will be limited to attributes that are inherited such as name, comment.
 
The Rose editor is based on EMF's extensible child providers. Hence any future extensions to the modelling notation are partially supported by Rose without any modification being required. The advanced properties tab will also be fully supported for any future extensions. However, the overview properties tab will be limited to attributes that are inherited such as name, comment.
  

Revision as of 09:07, 17 October 2010

This page is under development

The Rose editor is an EMF based, model structured editor that displays the model from various different viewpoints.

Properties View. Make sure the properties view is visible at the bottom. It will display the contents of anything you select in the editor tree or outline view. Here you can edit details of the currently selected model element.

  • There is always an overview tab showing the attributes and relations of the element.
  • There is a separate tab for each collection owned by the element. This provides an alternative method to the tree structure, for adding/removing children.
  • There is always an advanced tab which shows the standard EMF properties view of the element. This contains details which are otherwise hidden from the user.

Outline Viewer. Use the outline viewer to navigate the model. The outline viewer may show several machines/context at the same time.

Editing multiple components. If you click on the properties view, advanced tab any references will be resolved. For example, if you have a refinement machine selected in the editor pane, clicking on the advanced tab will load the abstract machine so that you can edit either (using the outline view to switch between the multiple machines/contexts).

Viewing hidden details. The advanced tab of the editor view shows all the hidden details that are not normally visible to a user. Here the tree starts from the element selected in the outline view.

Viewing Event Refinement relationships. The refines view is a summary of the event refinement relationships for whichever machine is currently selected in the outline view.

Storing components outside of Rodin. You can "save as" and add the extension .xmb. This will save your machine / context in standard EMF XMI format instead of in the Rodin database. (to see the xmb file in the Event-B Explorer you will need to uncheck the hide all files and folders option). You can save it back into the Rodin database using "save as" and removing the xmb extension.

Moving components to different projects. You can also copy machines to different projects using save as.

Future modellingExtensions. The Rose editor is based on EMF's extensible child providers. Hence any future extensions to the modelling notation are partially supported by Rose without any modification being required. The advanced properties tab will also be fully supported for any future extensions. However, the overview properties tab will be limited to attributes that are inherited such as name, comment.


The Rose editor is named after Rodin's wife, Rose Beuret.