Thesis supervisor: Gergely Mezei
Location of studies (in Hungarian): Department of Automation and Applied Informatics Abbreviation of location of studies: AUT
Description of the research topic:
"Az utóbbi évtizedekben a modellezés a szoftverfejlesztési folyamatok szerves részévé vált. A modellek már ma is sokat segítenek a komplex rendszerek komponenseinek, összefüggéseinek ábrázolásában, tervezésében, de ennél többre is képesek lennének. Ha a specifikáció lépésenkénti finomítását a fejlesztési folyamat során könnyen és folyamatosan tudnánk elvégezni a modellek dinamikus módosításával, akkor a modellalapú fejlesztés felhasználhatósága ugrásszerűen megnőne. Ehhez azonban a jelenlegi megoldások nem elegendőek rugalmasak.
Dr Mezei Gergely a területen több éve aktív kutatócsoportot vezet, amely létrehozta a Dynamic Multi-Layer Algebra (DMLA) megközelítést. A DMLA egy elméleti módszertan, amihez egy komplex gyakorlati alkalmazáscsomag is készül lehetővé téve az új platform szolgáltatásainak egyszerű használatát, megtartva a precíz, formális elméleti háttér előnyeit. A megközelítés többszintű, a változó igények szerint dinamikusan módosítható, de mindvégig validált modellezési platformot biztosít, ami képes az ipari kihívásoknak is megfelelni. A kezdeti, elméleti koncepciók kidolgozása és első, proof-of-concept megvalósítása az elmúlt években megtörtént. Előállt egy önmaga validálására képes többszintű, rugalmas és formális keretrendszer. A megoldás több szempontból új eljárásokat alkalmaz így lehetővé vált többek közt az adat és az operációs logika egységes keretrendszerben történő megadása és a teljesen újrakonfigurálható validációs logika. A jelenlegi megoldás ugyanakkor még számtalan szempontból prototípus jellegű, több területen látszanak a korlátai és a közvetlen gyakorlati felhasználást sem teszi lehetővé.
A pályázatra jelentkező hallgató a kutatócsoport munkájába becsatlakozva megismeri a DMLA már elkészült részeit, azok korlátait, majd a témavezető útmutatása mentén részt vesz a koncepció pontosításában és az ipari fejlesztésében való felkészítésében mind elméleti, mint gyakorlati feladatokat megoldva. A feladatok többek közt kiterjednek a többszintű metamodellezéshez illeszkedő virtuális gép létrehozására, a gyakorlatban felmerülő kihívások esetén alkalmazható tervezési minták kidolgozására, a hatékony validáció végrehajtásának vizsgálatára valamint általánosságban a koncepció jelenlegi tapasztalatai alapján a továbbfejlesztési lépések megfogalmazására."
Required language skills: English Number of students who can be accepted: 1
Deadline for application: 2021-06-14
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).