Difference between pages "AnimB install" and "Code Generation Activity"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Christophe
 
imported>Andy
 
Line 1: Line 1:
−
Generally speaking, AnimB is installed and updated from within Rodin.
+
---
 +
=== Development Repository ===
  
−
There is two  ways of installing AnimB:
+
The SVN repository for development of the code generation plug-in including transformation rules is here
−
* 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==
+
svn+ssh://svn.ecs.soton.ac.uk/projects/deploy-exploratory/trunk/CodeGeneration
−
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_0_4.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==
+
=== Completed/Ongoing Work ===
−
Select the AnimB site and click on finish.
 
−
[[Image:Step10.png|600px|center]]
 
−
----
 
−
The rest is fairly straightforward.
 
  
−
[[Category:User documentation]]
+
* Tasking Metamodel (few versions): Soton
−
[[Category:AnimB]]
+
* Intermediate Language Metamodel for IL1 based on Ada: Soton 
 +
* Investigate Epsilon/ETL/EGL or ATL
 +
** Resulted in the choice of ETL for Model2Model Transformations
 +
** Choice for Model2Text is not decided.
 +
* Experiment 1: Event-B basic subset to IL1 in ETL (main) [10 Jan]
 +
** Completed
 +
* Experiment 2: IL1 to text with EGL: ??
 +
** Not started
 +
* Tasking Metamodel to IL1 translation rules
 +
** for algorithmic structures
 +
** for math. language
 +
 
 +
 
 +
=== Not Addressed So Far ===
 +
 
 +
* Control flow modelling assistant
 +
* Infrastructure plugin
 +
* Initial version of:
 +
* IL1 to Ada backend plugin
 +
* Small experiments: several small models, reader/writer, heater control, circular buffer

Revision as of 10:36, 7 May 2010

---

Development Repository

The SVN repository for development of the code generation plug-in including transformation rules is here

svn+ssh://svn.ecs.soton.ac.uk/projects/deploy-exploratory/trunk/CodeGeneration

Completed/Ongoing Work

  • Tasking Metamodel (few versions): Soton
  • Intermediate Language Metamodel for IL1 based on Ada: Soton
  • Investigate Epsilon/ETL/EGL or ATL
    • Resulted in the choice of ETL for Model2Model Transformations
    • Choice for Model2Text is not decided.
  • Experiment 1: Event-B basic subset to IL1 in ETL (main) [10 Jan]
    • Completed
  • Experiment 2: IL1 to text with EGL: ??
    • Not started
  • Tasking Metamodel to IL1 translation rules
    • for algorithmic structures
    • for math. language


Not Addressed So Far

  • Control flow modelling assistant
  • Infrastructure plugin
  • Initial version of:
  • IL1 to Ada backend plugin
  • Small experiments: several small models, reader/writer, heater control, circular buffer
Retrieved from ‘https://wiki.event-b.org/index.php?title=AnimB_install&oldid=1244’