| title: | Extendable visual specification language and its supporting environment |
|---|---|
| reg no: | ETF5400 |
| project type: | Estonian Science Foundation research grant |
| subject: |
2.9. System Engineering and Computer Technology |
| status: | completed |
| institution: | Institute of Cybernetics at Tallinn Technical University |
| head of project: | Enn Tõugu |
| duration: | 01.01.2003 - 31.12.2005 |
| description: | This proposal concerns applied research in formal languages and their software support aimed at the development of a new generation of high-productivity tools. The goal of this project is investigation of basic structures and semantics of specification and visual languages, and development and implementation of an extendable specification language that has precise visual representation, formal semantics and can be translated into runnable code. The first year of the project is intended for language research when a visual language with wide application area and percise formal semantics will be developed. The results on visual specification languages compilable into runnable code will be published in conference papers. Full description of the language will be published as a journal paper (presumably in the Journal of Visual Languages and Programming). At the following stages, supporting environment (including compiler) for the visual language will be developed and tested in applications. Experience of usage of the lanuage will be presented in conference papers. A master thesis will be written by Ando Saabas on the basis of the designed language, and experimental results of the project will be used in the doctoral thesis of Vahur Kotkas. Expected applications are, first of all, in the field of simulation languages for describing structural models. It is expected that the language and its supporting environment will be used by software companies for developing their own problem-oriented tools. |
| project group | ||||
|---|---|---|---|---|
| no | name | institution | position | |
| 1. | Vahur Kotkas | Institute of Cybernetics | doctoral student | |
| 2. | Enn Tõugu | Institute of Cybernetics at Tallinn Technical University | senior scientist | |