Rodin Handbook
This work is sponsored by the Deploy Project
This work is sponsored by the ADVANCE Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
 |
 |
Rodin User’s Handbook v.2.8 |  |
 |
 |
2.9.2 Importing a project
Rather than creating the model step by step, we have provided the model as an archive file.
![\includegraphics[width=7mm]{img/warning_64.png}](images/img-0004.png)
Make sure that you have no existing Project named “Celebrity”, before importing the project. If you have, then rename it by right clicking the project and selecting Rename...
Import the archive file Celebrity.zip to your Event-B Explorer. To do this, select File 
Import General Existing Projects into Workspace. Then select the option to import an existing archive file. Use the browse function to find your archive file and import it. After you have selected the appropriate archive file, click on Finish.
It will take a few seconds for Rodin to extract and load all the files. Once this is done, a few problems will be displayed in the Rodin Problems view (compare with Figure 2.16).
![\includegraphics[width=1.0\textwidth ]{img/tutorial/tut_08_rodin_problems.png}](images/img-0275.png)
We will describe how the model is organized below in Section 2.9.5. But before we do so, we will fix the existing problems.
|
|
|
|
|
|