Code Generation Activity

---

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

The 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