Code Generation Activity: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Alexili
imported>Andy
No edit summary
Line 6: Line 6:
svn+ssh://svn.ecs.soton.ac.uk/projects/deploy-exploratory/trunk/CodeGeneration
svn+ssh://svn.ecs.soton.ac.uk/projects/deploy-exploratory/trunk/CodeGeneration


=== Agenda ===
=== Completed/Ongoing Work ===


* Meta-model for COB0 (few versions): Soton
* Tasking Metamodel (few versions): Soton
* Meta-model for IL0 based on Ada: NCL [14 Dec]  
* Intermediate Language Metamodel for IL1 based on Ada: Soton  
* Investigate Epsilon/ETL/EGL or ATL
* Investigate Epsilon/ETL/EGL or ATL
* [[Experiment 1: Event-B basic subset to IL0 in *TL]] (main) [10 Jan]  
  -- Resulted in the choice of ETL for Model2Model Transformations
* Experiment 2: IL0/X to text with EGL: Soton [End of January]
  -- Choice for Model2Text is not decided.
* [[Experiment 1: Event-B basic subset to IL1 in *TL]] (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 ===


* [[Stable version of COB MM]]
* [[Stable version of IL1 MM]]
* [[Control flow modelling assistant]]
* [[Control flow modelling assistant]]
* Commit to ?TL
* Infrastructure plugin
* Infrastructure plugin
* Initial version of:
* Initial version of:
* COB to IL1 translation rules
** for algorithmic structures
** for math. language
* IL1 to Ada backend plugin
* IL1 to Ada backend plugin
* Small experiments: several small models, reader/writer, heater control, circular buffer
* Small experiments: several small models, reader/writer, heater control, circular buffer

Revision as of 08:57, 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

  • 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