Software Updates for the ADORA tool prototype

Updating the ADORA tool is important, especially if you like to get the newest updates in the on-going developement of the ADORA tool. For updating the ADORA tool you can use the Eclipse update mechanism, which is started up like shown in Fig. 1 by choosing Help / Software Updates / Find and Install....

Software Updates start

Fig. 1
: Starting up the update mechanism of Eclipse.

After starting up the update mechnism, the update wizard starts up and shows a window like shown in Fig. 2. Choose there Search for updates of the currently installed features if you installed already the ADORA tool or choose Search for new features to install. We will show the screens of the install wizard for Search for new features to install. The screens for Search for updates of the currently installed features are quite similar.


Update Wizard, first page

Fig. 2: Startup screen of the update wizard.

After pressing next, we get to the page of the wizard with all the updatesites that are registered. Here, we can register new update sites or simply choose an already registered site for searching updates. If we want to register (if you haven't done this yet) the update site for ADORA, we have to click on New Remote Site...

Update wizard, second page

Fig. 3: Choosing the updatesite to check for new features or features to upgrade.

For registering the ADORA update site (which is currently located at http://belize.ifi.unizh.ch/update) enter the name for the update site, e.g. ADORA Update Site and the corresponding WWW-URL (Fig. 4). Afterwards you save the changes by clicking on OK.

Update wizard, third page

Fig. 4: Registering a remote update site.


After registering the new update site, it is listed in the update site list (Fig. 5). Now, you are able to choose this site for looking up updates or for the installation of new features. For doing so, enable all update sites that should be checked for updates/the new installation of features and press Finish.

Update wizard, 5th page

Fig. 5: The list of update sites containing now the recently registered update site.

After the update sites were checked, the features which can be updated/newly installed are listed. Choose now the element you want to install/update, i.e. in our case the ADORA tool update (as shown in Fig. 6) and press next.

Update wizard, 6th page

Fig. 6: Choose the feature update/installation that should be executed.

After this step, the license agreement is shown which you have to confirm to install / update the (new) feature (Fig. 7).

Update wizard, 7th page

Fig. 7: The license agreement for the feature to install/update.


After accepting the license agreement for all features which you like to be updated, a summary list is shown (see Fig. 8). Press now Finish.

Update wizard, 8th page

Fig. 8: The list of features to be installed.

The features are now installed. Each time a feature is not signed a dialog shows this and asks for a confirmation for the installation of the feature (Fig. 9). In this case press Install.

Update wizard, 9th page

Fig. 9: Confirmation for unsigned  features.

After the installation of the feature, you're asked to restart your eclipse IDE and the updates/installation is ready to use.