Project Diagram - Revision history

imported>Vitaly at 11:38, 16 November 2010

2010-11-16T11:38:28Z

← Older revision		Revision as of 11:38, 16 November 2010
Line 23:		Line 23:

	The tool was developed as a result of a request from Rodin partners. Any suggestions, ideas for improvement and feedback on discovered issues are very welcome!		The tool was developed as a result of a request from Rodin partners. Any suggestions, ideas for improvement and feedback on discovered issues are very welcome!

			'''Installation:''' Simply go to the Rodin update site, where in Utilities category you can find Event-B Project Diagram Plugin.

	[[Category:Plugin]] [[Category:User documentation]]		[[Category:Plugin]] [[Category:User documentation]]

imported>Vitaly at 15:32, 15 November 2010

2010-11-15T15:32:33Z

← Older revision		Revision as of 15:32, 15 November 2010
Line 1:		Line 1:
	[[Image:Project diagram icon.png]]		[[Image:Project diagram icon.png\|frame\|left]]

	==Overview==		==Overview==

	Project Diagram Plug-in provides a visual representation of a Rodin project. This includes Event-B root components such as Machines and Contexts, and relationships between them i.e. refinements and extensions. Hopefully this facility will help Rodin users to better understand complex models and result in a more sensible Rodin modelling.		Project Diagram Plug-in provides a visual representation of a Rodin project. This includes Event-B root components such as Machines and Contexts, and relationships between them i.e. refinements and extensions. Hopefully this facility will help Rodin users to better understand complex models and result in a more sensible Rodin modelling.


	==Using the tool==		==Using the tool==

imported>Vitaly at 15:23, 15 November 2010

2010-11-15T15:23:58Z

← Older revision		Revision as of 15:23, 15 November 2010
Line 1:		Line 1:
			[[Image:Project diagram icon.png]]

	==Overview==		==Overview==

imported>Vitaly: New page: ==Overview== Project Diagram Plug-in provides a visual representation of a Rodin project. This includes Event-B root components such as Machines and Contexts, and relationships between th...

2010-11-15T12:54:04Z

New page: ==Overview== Project Diagram Plug-in provides a visual representation of a Rodin project. This includes Event-B root components such as Machines and Contexts, and relationships between th...

New page

==Overview==

Project Diagram Plug-in provides a visual representation of a Rodin project. This includes Event-B root components such as Machines and Contexts, and relationships between them i.e. refinements and extensions. Hopefully this facility will help Rodin users to better understand complex models and result in a more sensible Rodin modelling.

==Using the tool==

Using the tool is very easy. To view the diagram of a particular Event-B project a user right-clicks on the project folder and from the context menu selects "Show Diagram", which opens the diagram in an window.

[[Image:Show_diagram.png|thumbnail|Show Diagram option in the context menu]]

The diagram shows Machines and Contexts of the project with their associations. The default layout of the diagram is a tree layout, good enough for most cases. Sometimes, though, it can be unsatisfactory and for this reason manual moving of the elements and links is enabled to a user. Also, "Arrange All" button can be very helpful in situations when the layout gets cramped or corrupted.

[[Image:Project diagram.png|thumbnail|left|Project Diagram window showing the project structure]]

Keep in mind that the diagram shows a state of the project hierarchy at the time of diagram creation i.e. when a user opened the diagram. If after this instant the structure of the project changes e.g. a new component is added, renamed or removed, or an association is modified, the diagram does not react to these changes automatically. To make sure that it displays the correct information a user can simply press F5 when diagram window is active. It is recommended to do it after a modification to the project.

Finally, a user can double-click any component on the diagram, which will open it in a default editor, registered for the underlying resource. The tool will warn a user if resource cannot be found due to some problems. Most likely it can happen if the diagram was not refreshed after modifications to the project mentioned earlier.

==Notes==

The tool was developed as a result of a request from Rodin partners. Any suggestions, ideas for improvement and feedback on discovered issues are very welcome!

[[Category:Plugin]] [[Category:User documentation]]