Code Generation Activity: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Andy |
imported>Andy |
||
| Line 7: | Line 7: | ||
=== Completed/Ongoing Work === | === Completed/Ongoing Work === | ||
* Investigate Epsilon/ETL/EGL or ATL | * Investigate Epsilon/ETL/EGL or ATL | ||
** Resulted in the choice of ETL for Model2Model Transformations | ** Resulted in the choice of ETL for Model2Model Transformations | ||
** Choice for Model2Text is not | ** Choice for Model2Text is not conclusive. | ||
* Experiment 1: Event-B basic subset to IL1 in ETL (main) | * Experiment 1: Event-B basic subset to IL1 in ETL (main) | ||
** | ** Nearly ready for experiments [4 May 2010] | ||
* Experiment 2: IL1 to text with EGL: ?? | * Experiment 2: IL1 to text with EGL: ?? | ||
** Not started | ** Not started | ||
* 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 | |||
* Tasking Metamodel to IL1 translation rules | |||
** Ready for experiments [4 May 2010] subject to decomposition into: | |||
** Algorithmic structures | |||
** Math. language | |||
** Versions for Shared/Non-shared data | |||
=== TODO === | === TODO === | ||
Revision as of 10:53, 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 conclusive.
- Experiment 1: Event-B basic subset to IL1 in ETL (main)
- Nearly ready for experiments [4 May 2010]
- Experiment 2: IL1 to text with EGL: ??
- Not started
- 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
- Tasking Metamodel to IL1 translation rules
- 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
