témavezető: Mezei Gergely
helyszín (magyar oldal): Automatizálási és Alkalmazott Informatikai Tanszék helyszín rövidítés: AUT
A kutatási téma leírása:
A metamodellezés egy jól ismert és elfogadott szoftverfejlesztési módszertanná vált, amit változatos területeken használnak a gyakorlatban és elméletben is. A metamodellezés egyik legfontosabb alappillére a pontosan definiált, rugalmas és kifejező példányosítás reláció. Amíg a példányosítás viszonylag kevés kihívást tartalmaz abban az esetben, ha csak két modellezési szint közt értelmezzük, addig a problémakör sokkal összetettebbé válik az n-szintű metamodellezés esetén. Több megoldás is született az elmúlt években, de ezek egyike sem adott az összes felmerülő kérdésre választ. A kutatási téren belül a képzés keretében megcélzott kutatási területek az alábbiak:
• Formális modellszerkezet és példányosítás: Módszertan kidolgozása, ami formális leírással rendelkezik, nem függ implementációtól és képes megadni a modellek szerkezetét és a példányosítás folyamatát. Önleíró példányosítás megvalósítása.
• Dinamikus példányosítás: Több területen szükség van részlegesen példányosított modellekre és az azt lehetővé tevő dinamikus példányosításra. Részleges példányosítás esetén a metamodellt sablonként értelmezzük, amelyben a példányosítás szabad változókat hagyhat.
• Rugalmas metamodellezési paradigma: A kidolgozott módszertan kibővítése/átalakítása annak érdekében, hogy támogassa a legnépszerűbb meglévő modellezési adatszerkezetek és megközelítések szimulációját, ezáltal egységes modellezési platformként funkcionáljon.
előírt nyelvtudás: angol felvehető hallgatók száma: 1