Code Generation Activity: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Alexili No edit summary |
imported>Alexili No edit summary |
||
| Line 19: | Line 19: | ||
** for algorithmic structures | ** for algorithmic structures | ||
** for math. language | ** for math. language | ||
==== The 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 | |||
Revision as of 11:26, 4 December 2009
---
Development Repository
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
The 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
