Code Generation Activity

From Event-B
Revision as of 11:30, 4 December 2009 by imported>Alexili
Jump to navigationJump to search

---

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]