Difference between pages "ADVANCE D3.2 Introduction" and "AnimB install"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Laurent
m
 
imported>Christophe
 
Line 1: Line 1:
−
The ADVANCE D3.2 deliverable is composed of the present document and the Rodin toolset. The considered Rodin toolset consits of the Rodin core platform and the plug-ins created or maintained in the frame of the ADVANCE project. Other plug-ins, available for the Rodin platform but not maintained within the ADVANCE project, are not taken into account within this deliverable.
+
Generally speaking, AnimB is installed and updated from within Rodin.
  
−
The Rodin platform can be downloaded from the SourceForge site.<ref>http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform</ref><br>
+
There is two ways of installing AnimB:
−
Moreover, the platform includes a collaborative documentation that is collected from two maintained locations:  
+
* for the first one (advised), you need to be connected on internet
−
* the Event-B wiki,<ref name="EventB_wiki">http://wiki.event-b.org</ref>
+
* for the second one (troubles with proxy or firewall, ...), you download the update site and install from local.
−
* the Rodin Handbook.<ref name="Rodin_handbook_Page">http://handbook.event-b.org</ref>
 
−
These locations can be consulted from outside the Rodin tool.
 
  
−
The present document intends to give a relevant overview of the work achieved within the work package 3: ''Methods and Tools for Model Construction and Proof'', during the first ten months of the ADVANCE project (Oct 2011 - Jul 2011), and aims to let the reader get a glimpse of the WP3 member's contribution plans and objectives.
+
==Begin the installation==
−
It is worth reminding that the ADVANCE project time frame overlapped the end of the EU FP7 DEPLOY project<ref>http://www.deploy-project.eu</ref> from October 2011 to April 2012. Therefore, the commitment of WP3 members that were members of the DEPLOY tooling workpackage as well, was mainly devoted during this period to consolidate the toolset by fixing the identified bugs and mitigating usability issues. These activities encompass the objectives of the task 3.2 mentionned in the ADVANCE Description of Work (DoW).
+
Begin the installation from the Rodin Help menu item :
 +
*Help
 +
*Software Updates
 +
*Find and Install...
 +
[[Image:step1.png|600px|center]]<br>
 +
----
 +
Select the option for new feature.<br>
 +
[[Image:step2.png|400px|center]]
 +
==Adding the AnimB update site==
 +
This screen will vary depending on the features you have installed already. <br>
 +
Click on the "New Remote Site..." button. <br>
 +
If you are behind a proxy and the Eclipse install mechanism does not work, then you can [http://www.animb.org/updatesite/AnimB.zip download] an Archived Site and then click the "New Archived Site..." button instead.
 +
[[Image:step6.png|500px|center]]<br>
 +
===Remote site===
 +
Fill in the "New Update Site" dialog with the following information and click OK.
 +
[[Image:Step7.png|300px|center]]
 +
===Archived Site===
 +
First download the [http://www.animb.org/updatesite/AnimB-V0.2.1.zip archived site] and save it on local.<br>
 +
Then click on "New Archived Site..."<br>
 +
Selected the downloaded file and click on open.
 +
[[Image:step8.png|400px|center]]
 +
Control the value field of the next dialog :
 +
[[image:step9.png|300px|center]]
  
−
The document is divided into four parts: general platform maintenance, improvement of automated proof, language extension, model checking, and model composition and decomposition.
+
==Install AnimB==
 +
Select the AnimB site and click on finish.
 +
[[Image:Step10.png|600px|center]]
 +
----
 +
The rest is fairly straightforward.
  
−
The common structure which is used for each contribution is the following:
+
[[Category:User documentation]]
−
* Overview. The involved partners are identified and an overview of the contribution is given.
+
[[Category:AnimB]]
−
* Motivations / Decisions. The motivation for each tool extension and improvement are expressed. The decisions (e.g. design decision) are related.
 
−
* Available documentation. Some pointers to the available documentation or related publications are listed.
 
−
* Planning. The current status about the topic (as of July 2012), and an overview of the future plans are given.
 
−
 
 
−
== References ==
 
−
<references/>
 
−
 
 
−
[[Category:ADVANCE D3.2 Deliverable]]
 

Revision as of 03:40, 12 October 2010

Generally speaking, AnimB is installed and updated from within Rodin.

There is two ways of installing AnimB:

  • for the first one (advised), you need to be connected on internet
  • for the second one (troubles with proxy or firewall, ...), you download the update site and install from local.

Begin the installation

Begin the installation from the Rodin Help menu item :

  • Help
  • Software Updates
  • Find and Install...
Step1.png


Select the option for new feature.

Step2.png

Adding the AnimB update site

This screen will vary depending on the features you have installed already.
Click on the "New Remote Site..." button.
If you are behind a proxy and the Eclipse install mechanism does not work, then you can download an Archived Site and then click the "New Archived Site..." button instead.

Step6.png


Remote site

Fill in the "New Update Site" dialog with the following information and click OK.

Step7.png

Archived Site

First download the archived site and save it on local.
Then click on "New Archived Site..."
Selected the downloaded file and click on open.

Step8.png

Control the value field of the next dialog :

Step9.png

Install AnimB

Select the AnimB site and click on finish.

Step10.png

The rest is fairly straightforward.

Retrieved from ‘https://wiki.event-b.org/index.php?title=ADVANCE_D3.2_Introduction&oldid=732’