Development of an Object-Oriented Type System Using Design Pattern Methodology
2024
Ruslan Batdalov

Aizstāvēšana
07.10.2024. 14:30, Zunda krastmala 10, 104. auditorija, Rīga, LV-1048

Zinātniskais vadītājs
Oksana Ņikiforova

Recenzenti
Jānis Grundspeņķis, Irina Arhipova, Jorge Luis Ortega Arjona

Projektēšanas šabloni ir nepieciešami jebkurā netriviālā programmatūras projektējumā, bet to izmantošana bieži ir saistīta ar pārmērīgu sarežģītību. Uz šabloniem balstītu risinājumu sarežģītība var būt raksturīga un atbilstoša problēmai, bet citos gadījumos tā kļūst pārāk augsta. Šādos gadījumos projektēšanas šabloni rada sarežģītību, nevis to savalda. Šis darbs izpeta vienu no iespējamajiem iemesliem tam, proti programmēšanas valodu nepietiekamo izteiksmību. Mazākas izteiksmības dēļ programmēšanas valodās ir grūti attēlot domu konstrukcijas, kuras kodē šabloni. Risinājums piedāvāts šajā darbā ir vispārinot tipiskas programmēšanas valodu konstrukcijas. Vispārinājums tiek panākts, aprakstot pašas šādas konstrukcijas kā šablonus. Turpmāka formalizācija, izmantojot tipu teorijas rīkus, piešķir šiem šabloniem nepieciešamo stingru formu. Autors piedāvā šādu šablonu kopu un to formalizāciju elementārām datu salikšanas un skaitļošanas konstrukcijām. Šādu izmaiņu ietekme tiek analizēta, izmantojot MIX iedomātā datora emulatora piemēru. Šis paraugprojekts parādīja, ka pat tik izteiksmīga valoda kā Scala noteiktās situācijās nav ērta. Šajā darbā tiek apspriests, kā šī projekta īstenošana un attīstība varētu būt vienkāršāka, ja aprakstītie šabloni būtu atbalstīti. Promocijas darbs ietver ievadu, sešas nodaļas un noslēgumu. Tajā ir 148 lappuses neieskaitot pielikumus, 23 attēli, trīs tabulas, 128 bibliogrāfijas avoti un divi pielikumi.


Atslēgas vārdi
Design patterns, programming languages, design pattern implementation
DOI
10.7250/9789934371097

Batdalov, Ruslan. Development of an Object-Oriented Type System Using Design Pattern Methodology. Promocijas darbs. Rīga: [RTU], 2024. 153 lpp.

Publikācijas valoda
English (en)
RTU Zinātniskā bibliotēka.
E-pasts: uzzinas@rtu.lv; Tālr: +371 28399196