Single View Design: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
 
imported>Maria
No edit summary
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

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.