Biomedical Engineering Reference
In-Depth Information
Fig. 7.5
Screen shots of code generation tool
7.5 Limitations
This is our primary version of the code generator from Event-B formal specifica-
tions to any programming language (C, C++, Java and C#). In this version of the
code generator can support only that symbols, which are given in Tables 7.2 , 7.3 and
7.4 . Event-B language is very rich in the area of modelling, and it supports different
kinds of formal notations [ 2 ]. All formal notations are not translatable directly into a
programming language. A lot of formal notations are applicable at the abstract level
of modelling, which may be transformed into another formal notation at the con-
crete level and that can be easily translatable into any programming language. For
instance, relational predicates are usually used for abstract representation, which
can be transformed into array or total function representation, and array and to-
tal function both are translatable into current version of this tool. Present time the
translation tools only supports a subset of formal notations, on behalf of modelling
expertise, we believe that these set of Event-B notations are sufficient for modelling
any kind of problems and using these symbols any formal specification can be easily
translatable into any programming language. In this version of the code generator,
Search WWH ::




Custom Search