Difference between revisions of "Code Generation Activity"
From Event-B
Jump to navigationJump to searchimported>Colin |
imported>Alexili (→Agenda) |
||
| Line 11: | Line 11: | ||
* Meta-model for IL0 based on Ada: NCL [14 Dec] | * Meta-model for IL0 based on Ada: NCL [14 Dec] | ||
* Investigate Epsilon/ETL/EGL or ATL | * Investigate Epsilon/ETL/EGL or ATL | ||
| − | * Experiment 1: Event-B basic subset to IL0 in *TL (main) [22 Dec] | + | * [[Experiment 1: Event-B basic subset to IL0 in *TL]] (main) [22 Dec] |
* Experiment 2: IL0/X to text with EGL: Soton [End of January] | * Experiment 2: IL0/X to text with EGL: Soton [End of January] | ||
| − | * Stable version of COB MM | + | * [[Stable version of COB MM]] |
| − | * Stable version of IL1 MM | + | * [[Stable version of IL1 MM]] |
| − | * Control flow modelling assistant | + | * [[Control flow modelling assistant]] |
* Commit to ?TL | * Commit to ?TL | ||
* Infrastructure plugin | * Infrastructure plugin | ||
Revision as of 11:30, 4 December 2009
---
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
Agenda
- Meta-model for COB0 (few versions): Soton
- Meta-model for IL0 based on Ada: NCL [14 Dec]
- Investigate Epsilon/ETL/EGL or ATL
- Experiment 1: Event-B basic subset to IL0 in *TL (main) [22 Dec]
- Experiment 2: IL0/X to text with EGL: Soton [End of January]
- Stable version of COB MM
- Stable version of IL1 MM
- Control flow modelling assistant
- Commit to ?TL
- Infrastructure plugin
- Initial version of:
- COB to IL1 translation rules
- for algorithmic structures
- for math. language
- IL1 to Ada backend plugin
- Small experiments: several small models, reader/writer, heater control, circular buffer
Plan of the first experiment
- Soton to provide basic setup for testing ETL: Soton [14 Dec]
- Start developers’ wiki on eventb.org
- All the bits are to be saved on Soton subversion server
- Define translation rule for:
- algorithmic: sequential composition, explicit loop, if-then-else: Ncl [20 Dec]
- mathematical language: arithmetics, functions (N +-> N): Soton [20 Dec]
- Define the overall structure of translation rules, common helper functions and rules: All
