M. Jurgelaičio daktaro disertacijos „MDA architektūra grindžiamas metodas išmaniųjų kontraktų technologija grindžiamoms sistemoms kurti“ gynimas

Autorius, institucija: Mantas Jurgelaitis, Kauno technologijos universitetas

Mokslo sritis, kryptis: technologijos mokslai, informatikos inžinerija, T007

Mokslinis vadovas: doc. dr. Rita Butkienė (Kauno technologijos universitetas, technologijos mokslai, informatikos inžinerija, T007)

Informatikos inžinerijos mokslo krypties disertacijos gynimo taryba:
prof. dr. Tomas Blažauskas (Kauno technologijos universitetas, technologijos mokslai, informatikos inžinerija, T007) – pirmininkas
doc. dr. Nikolaj Goranin (Vilniaus Gedimino technikos universitetas, technologijos mokslai, informatikos inžinerija, T007)
prof. dr. Raimundas Matulevičius (Tartu universitetas, Estija, technologijos mokslai, informatikos inžinerija, T007)
prof. dr. Simona Ramanauskaitė (Vilniaus Gedimino technikos universitetas, technologijos mokslai, informatikos inžinerija, T007)
prof. dr. Tomas Skersys (Kauno technologijos universitetas, technologijos mokslai, informatikos inžinerija, T007)

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

Disertacijos gynimas vyks Kauno technologijos universiteto Studentų miestelio bibliotekoje, salėje M7 (Studentų g. 48 – M7, Kaunas).

Anotacija: Blokų grandinė suteikia decentralizuotą, išskirstytą duomenų bazę, kuri kartu su išmaniaisiais kontraktais gali būti naudojama veiklos procesams decentralizuoti. Ši technologija gali būti pritaikoma įvairiems programiniams sprendimams kurti norint padidinti pasitikėjimą, įgalinti atsekamumą, skaidrumą ir mažinti priklausomybę nuo centralizuotų trečiųjų šalių. Deja, blokų grandinės technologijų pritaikymas, kuriant specializuotus programinius sprendimus, yra gan siauras dėl sudėtingo tokių sprendimo kūrimo proceso. Disertacijoje analizuojami išmaniųjų kontraktų ir išmaniųjų kontraktų technologija grindžiamų sistemų kūrimo bei modeliais grindžiamų programinės įrangos kūrimo procesai, siekiant palengvinti ar net automatizuoti išmaniaisiais kontraktais grindžiamų sistemų kūrimo procesą. Disertacijoje pateikiamas MDA architektūra grindžiamas metodas. Metodas remiasi modeliavimo principais ir suteikia galimybę automatizuoti kodo generavimą iš apsibrėžtų koncepcinių išmaniųjų kontraktų modelių, taip palengvinant išmaniųjų kontraktų technologija grindžiamų sistemų reikalavimų specifikavimo, projektavimo ir išmaniųjų kontraktų realizacijos veiklas kūrimo proceso metu.