Code Generation Activity

From Event-B
Revision as of 10:36, 7 May 2010 by imported>Andy (→‎Not Addressed So Far)
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.
  • Experiment 1: Event-B basic subset to IL1 in ETL (main) [10 Jan]
    • 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