Code Generation Activity

---

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