Bāzes transformāciju valoda L0+ un tās realizācija

Abstract

Neskatoties uz to, ka transformāciju valodas ir viens no MDA pamatiem, lielākai daļai transformāciju valodu uz šo brīdi nav zināma efektīva realizācija. Tipiskā transformāciju valoda ir samēra augsta līmeņa valoda, tāpēc par piemērotāko veidu šo valodu realizācijai būtu uzskatāma saknēšanas (bootstrapping) metode, kas nav iespējama bez efektīvas bāzes valodas. Dotā darba ietvaros tiek piedāvāta jauna zema līmeņa transformāciju valoda L0+, kas apmierina saknēšanas procesa bāzes valodai izvirzāmas prasībās. Piedāvātajā valodā nav attīstītu līdzekļu šablonu apstrādei, tomēr valodas izteiksmīguma spēks ir salīdzināms ar tradicionālām transformāciju valodām un atsevišķas jomās pat pārsniedz to. Dotā darba ietvaros ir izstrādāta arī efektīva valodas L0+ realizācija – kompilators uz C++, kas balstās uz LU MII izstrādāto Repozitoriju. Izveidota arī tīmekļa vietne(http://lx.mii.lu.lv/), kas satur valodas L0+ aprakstu un lejupielādei sagatavotu L0+ kompilatoru.

Transformation languages are one of the corner stones of the MDA. Nevertheless, an effective implementation for the biggest part of these languages is not known. A typical transformation language is a high level language with rather advanced constructs. That is the reason why it is believed that the most appropriate way to implement transformation languages is bootstrapping. However, bootstrapping is not possible without an effective base language. This thesis proposes a new, low level transformation language L0+, which can be used as the base language in the bootstrapping process. The L0+ does not have an advanced pattern definition facilities, but this language`s expressive power is comparable to more advanced languages. Substantial result of this thesis is the development of an effective L0+ implementation, i.e. the L0+ compiler to C++, which is based on the Repository developed at the Institute of Mathematics and Computer Science. This compiler and the L0+ documentation can be found on the web page devoted to the subject (http://lx.mii.lu.lv/).