Code Generation Activity

From Event-B
Revision as of 08:57, 7 May 2010 by imported>Andy
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

Completed/Ongoing Work

  • Tasking Metamodel (few versions): Soton
  • Intermediate Language Metamodel for IL1 based on Ada: Soton
  • Investigate Epsilon/ETL/EGL or ATL
 -- Resulted in the choice of ETL for Model2Model Transformations
 -- Choice for Model2Text is not decided.
 -- Completed
  • Experiment 2: IL1 to text with EGL: ??
 -- Not started
  • Tasking Metamodel to IL1 translation rules
    • for algorithmic structures
    • for math. language


Not Addressed So Far

  • Control flow modelling assistant
  • Infrastructure plugin
  • Initial version of:
  • IL1 to Ada backend plugin
  • Small experiments: several small models, reader/writer, heater control, circular buffer