Code Generation Activity: Difference between revisions

From Event-B
Jump to navigationJump to search
← Older editNewer edit →
imported>Alexili
imported>Alexili
No edit summary
Line 25: Line 25:
* IL1 to Ada backend plugin
* IL1 to Ada backend plugin
* Small experiments: several small models, reader/writer, heater control, circular buffer
* Small experiments: several small models, reader/writer, heater control, circular buffer
==== Plan of the first experiment ====
* Soton to provide basic setup for testing ETL: Soton [14 Dec]
* Start developers’ wiki on eventb.org
* All the bits are to be saved on Soton subversion server
* Define translation rule for:
** algorithmic: sequential composition, explicit loop, if-then-else: Ncl  [20 Dec]
** mathematical language: arithmetics, functions (N +-> N): Soton [20 Dec]
* Define the overall structure of translation rules, common helper functions and rules: All

Revision as of 11:30, 4 December 2009

---

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

Agenda

  • Meta-model for COB0 (few versions): Soton
  • Meta-model for IL0 based on Ada: NCL [14 Dec]
  • Investigate Epsilon/ETL/EGL or ATL
  • Experiment 1: Event-B basic subset to IL0 in *TL (main) [22 Dec]
  • Experiment 2: IL0/X to text with EGL: Soton [End of January]
Retrieved from ‘https://wiki.event-b.org/index.php?title=Code_Generation_Activity&oldid=1239’