| teema: | Laiendatav visuaalne kirjelduskeel koos tugikeskkonnaga |
|---|---|
| tunnusnumber: | ETF5400 |
| projekti tüüp: | Eesti Teadusfondi grant |
| erialad: |
2.9. Süsteemitehnika ja infotehnoloogia |
| seisund: | lõppenud |
| asutus: | TTÜ Küberneetika Instituut |
| projekti juht: | Enn Tõugu |
| kestus: | 01.01.2003 - 31.12.2005 |
| kirjeldus: | Käesolev taotlus on esitatud uuringute tegemiseks formaalsete keelte ja nende tugitarkvara vallas eesmärgiga luua uue põlvkonna kõrgtootlik tarkvara arenduskeskkond. Pakutava projekti käigus uuritakse spetsifitseerimis- ja visuaalkeelte struktuuri ning nende semantika ühisosa ja töötatakse välja ning implementeeritakse laiendatav spetsifitseerimskeel, mis omab täpset graafilist esitust ja formaalset semantikat ning on efektiivselt tõlgitav masinkoodi. Projekti esimene aasta on ette nähtud keeleuuringuteks, mille tulemusena peab valmima laia kasutusalaga visuaalse keele kirjeldus koos semantika formaalse esitusega. Samal aastal esinetakse rahvusvahelistel konverentsidel ettekannetega programmiks kompileeritavate visuaalsete spetsifitseerimiskeelte kohta. Loodava keele täielik kirjeldus on kavas avaldada ajakirjas (eeldatavasti rahvusvahelises ajakirjas "Journal of visual languages and programming"). Järgnevatel etappidel valmib tarkvarakeskkond (s.h. kompilaator) ja eksperimenteeritakse rakendustega. Keelekasutuse eksperimendid esitatakse konverentsidel ettekannetena. Keele semantika täpne kirjeldamine ja kompilaatori loomine on Ando Saabase magistrtöö põhiteemaks, mille kaitsmine on ette nähtud 2004. aasta kevadel. Projekti raames loodav tarkvara arenduskeskkond kuulub ka Vahur Kotka doktoritöö hulka. Eeldatavad rakendused on eelkõige struktuursete mudelite kirjeldamiseks simuleerimisülesannete lahendamisel. On oodata, et keel ja selle tugikeskkond leiavad kasutamist tarkvarafirmades spetsiaalkeelte loomiseks nende firmade rakendusalal. |
| projektiga seotud isikud | ||||
|---|---|---|---|---|
| nr | nimi | asutus | amet | |
| 1. | Vahur Kotkas | Küberneetika Instituut | doktorant | |
| 2. | Enn Tõugu | TTÜ Küberneetika Instituut | vanemteadur | |