Difference between revisions of "Code Generation Activity"

From Event-B
Jump to navigationJump to search
imported>Alexili
imported>Andy
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