Difference between revisions of "Code Generation Activity"

Revision as of 11:30, 4 December 2009

---

The SVN repository for development of the code generation plug-in including transformation rules is here

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

@@ Line 25: / Line 25: @@
 * 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