„Automatizuotas meta-programų kūrimas ir specializavimas panaudojant požymiais grindžiamų modelių transformacijas“ Daktaro disertacija

Autorius, institucija: Kristina Bespalova, Kauno technologijos universitetas

Mokslinis vadovas – prof. habil. dr. Vytautas Štuikys (Kauno technologijos universitetas, fiziniai mokslai, informatika – 09P).

Mokslo sritis, kryptis: (fiziniai mokslai, informatika – 09P).

Su disertacija galima susipažinti Kauno technologijos universiteto bibliotekoje  (K. Donelaičio g. 20, Kaunas).

Informatikos mokslo krypties daktaro disertacijos gynimo taryba:

prof. habil. dr. Rimantas Barauskas (Kauno technologijos universitetas, fiziniai mokslai, informatika – 09P) – pirmininkas,

prof. Andrej Brodnik (Liublianos universitetas, Slovėnija, fiziniai mokslai, informatika – 09P),

prof. dr. Valentina Dagienė (Vilniaus universitetas, fiziniai mokslai, informatika – 09P),

prof. dr. Vacius JUSAS (Kauno technologijos universitetas, fiziniai mokslai, informatika – 09P),

prof. dr. Alfonsas Misevičius (Kauno technologijos universitetas, fiziniai mokslai, informatika – 09P).

Anotacija:

Metaprogramavimas – programavimo metodas, kai manipuliuojama kitomis (žemesnio lygmens) programomis kaip duomenimis. Heterogeninis metaprogramavimas – tai paradigma, kuri remiasi tiesiogine koncepcijų atskirtimi, kai naudojamos mažiausiai dvi nepriklausomos programavimo kalbos: meta ir tikslo. Tokios metaprogramos yra aukštesnio lygmens programos, kurios kuria kitas, žemesnio lygmens programas – tai programų generatoriai.
Šio darbo tikslas – sukurti ir ištirti heterogeninių metaprogramų automatizuoto kūrimo ir transformavimo metodiką, įskaitant tuos procesus palaikančius įrankius. Darbe keliami ir nagrinėjami uždaviniai susiję su požymių modelių transformavimu į heterogenines metaprogramas ir sukurtų metaprogramų transformavimu siekiant jų adaptavimo prie konkretaus taikymo.
Metaprogramų kūrimas yra sudėtingas intelektualus procesas. Kadangi darbe nagrinėjamas modeliais grįstas metaprogramų kūrimo procesas, didelis dėmesys skiriamas probleminės ir sprendimo srities analizei ir modeliavimui. Darbe pasiūlyti, išbandyti ir pritaikyti įrankiai (vieni– „FAMILIAR“ ir „SPLOT“, parinkti, kiti – „MePAG“ ir „MP-ReTool“ sukurti), palaikantys pilną metaprogramos gyvavimo ciklą: modeliavimo, modelių transformavimo ir metaprogramų transformavimo į daugiapakopes.