Difference between pages "AnimB install" and "Event-B Qualitative Probability User Guide"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu
m
 
imported>Son
m
 
Line 1: Line 1:
Generally speaking, AnimB is installed and updated from within Rodin.
+
[[User:Son]] at '''ETH Zurich''' is in charge of the plug-in.
 +
{{TOCright}}
  
There is two  ways of installing AnimB:
+
== Introduction ==
* for the first one (advised), you need to be connected on internet
+
Event-B Qualitative Probability plug-in provides supports for reasoning about termination with probability 1 (almost-certain termination).
* 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...
 
[[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.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]]
 
==Install AnimB==
 
Select the AnimB site and click on finish.
 
[[Image:Step10.png|600px|center]]
 
----
 
The rest is fairly straightforward.
 
  
 +
== Installing and Updating ==
 +
The plug-in is available through the main Rodin Update Site under '''Modelling Extension''' category.
  
[[Category:User Documentation]]
+
== News ==
[[Category:Plugin]
+
* 23.11.2011: Version 0.2.1 released for Rodin 2.3.*
 +
 
 +
== Technical References ==
 +
 
 +
== Usage ==

Revision as of 11:14, 23 November 2011

User:Son at ETH Zurich is in charge of the plug-in.

Introduction

Event-B Qualitative Probability plug-in provides supports for reasoning about termination with probability 1 (almost-certain termination).


Installing and Updating

The plug-in is available through the main Rodin Update Site under Modelling Extension category.

News

  • 23.11.2011: Version 0.2.1 released for Rodin 2.3.*

Technical References

Usage