Difference between revisions of "Code Generation Activity"

From Event-B
Jump to navigationJump to search
imported>Andy
imported>Andy
Line 1: Line 1:
---
+
+== Development Repository ==+
=== Development Repository ===
 
  
 
The SVN repository for development of the code generation plug-in including transformation rules is here
 
The SVN repository for development of the code generation plug-in including transformation rules is here

Revision as of 11:09, 7 May 2010

+== 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

  • Investigate Epsilon/ETL/EGL or ATL
    • Resulted in the choice of ETL for Model2Model Transformations
    • Choice for Model2Text is not concluded.
  • Experiment 1: Event-B Tasking to IL1 in ETL (main)
    • Nearly ready for experiments [4 May 2010]
  • Experiment 2: IL1 to text with EGL: ??
    • Not started

Metamodels

  • Tasking Metamodel - one for both single and multi-tasking?
  • Intermediate Language Metamodels based on Ada
    • Initial Version is IL1
    • Ready for experiments subject to decomposition.
  • Metamodel re-structuring; will decompose into:
    • Algorithmic structures
    • Math. language

Translation Rules

  • Tasking Metamodel to IL1 translation rules [[1]]
    • Ready for experiments [4 May 2010] subject to decomposition into:
      • Algorithmic structures
      • Math. language
      • Versions for Shared/Non-shared data

TODO

  • 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