Rodin Handbook
This work is sponsored by the Deploy Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
 |
 |
User Manual for Rodin v.2.3 |  |
 |
 |
2.6.1 Create a Context
Create a new Event-B Project File 
New Event-B Project. Give the project the name tutorial-05.
Next, create a new Event-B Component. Unlike in Section (2.4) use agatha as the component name and mark the Context (3.2.2) option in order to create a Context file instead of a Machine (3.2.3) file.
Click on Finish. Rodin should start the editor with the created Context file (see Figure 2.11).
Figure 2.11: Context file opened with Structural Editor
|
|
|
|
|
|