Difference between revisions of "Single View Design"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (New page: Category:Work in progress) |
imported>Maria |
||
Line 1: | Line 1: | ||
+ | ==Purpose== | ||
+ | The Purpose of the Single View Design is to present everything in a single view in Rodin. | ||
− | + | ==Specification== | |
+ | ===The Navigator=== | ||
+ | The navigator presents all projects and their contents. The users can choose between to ways how the projects will be presented: | ||
+ | *A simple structure where all machines and contexts are presented on the same level | ||
+ | *A complex structure where the machines and contexts are presented as a tree. Thus dependencies between machines and contexts (like ''refines'' or ''sees') are made visible. | ||
[[Category:Work in progress]] | [[Category:Work in progress]] |
Revision as of 13:14, 18 September 2008
Purpose
The Purpose of the Single View Design is to present everything in a single view in Rodin.
Specification
The navigator presents all projects and their contents. The users can choose between to ways how the projects will be presented:
- A simple structure where all machines and contexts are presented on the same level
- A complex structure where the machines and contexts are presented as a tree. Thus dependencies between machines and contexts (like refines or sees') are made visible.