Single View Design
From Event-B
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.
