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 | ||
=== | === Completed/Ongoing Work === | ||
* | * Tasking Metamodel (few versions): Soton | ||
* | * 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 | -- Resulted in the choice of ETL for Model2Model Transformations | ||
* Experiment 2: | -- 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 === | |||
* [[Control flow modelling assistant]] | * [[Control flow modelling assistant]] | ||
* Infrastructure plugin | * Infrastructure plugin | ||
* Initial version of: | * Initial version of: | ||
* 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.
- 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
- 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