Code Generation Activity

From Event-B
Revision as of 11:29, 4 December 2009 by imported>Colin (→‎Development Repository)
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]
  • Stable version of COB MM
  • Stable version of IL1 MM
  • Control flow modelling assistant
  • Commit to ?TL
  • Infrastructure plugin
  • Initial version of:
  • COB to IL1 translation rules
    • for algorithmic structures
    • for math. language
  • IL1 to Ada backend plugin
  • 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