Lokális keresésen alapú modell lekérdezések megvalósítása

A modellvezérelt szoftverfejlesztés napjaink egyik felfutóban lévő fejlesztési paradigmája. Ennek alapja, hogy a fejlesztők az elkészítendő rendszer egy magas szintű és általános modelljéből indulnak ki és modellfinomítási lépések sorozatán keresztül jutnak el az alkalmazás futtatható változatáig.

Ezen finomításokat jellemzően modelltranszformáció segítségével valósítják meg. A modelltranszformáció modellek automatikus egymásba származtatását valósítja meg. A modelltranszformációk egyik legfontosabb része, a módosítandó modellek keresése, ahol is a transzformációt leíró deklaratív szabályok alapján kell illeszkedő elemeket találni a modellben, amelyek teljesítik a definiált feltételeket.

A hallgató feladata, hogy megvalósítson egy általános lokális keresésen alapú modult az EMF-IncQuery keretrendszerbe, amellyel képesek lehetünk hosszútávon tetszőleges lokális keresésen alapú algoritmust megvalósítani EMF modellekben történő keresésre.

 

Jelleg: 
Elméleti és gyakorlati
Advisor: 
Ákos Horváth
TDK lehetőség: 
TDK lehetőség
Megismerhető technológiák: 
Eclipse, EMF-IncQuery, algoritmusok
Előismeretek: 
Java, deklaratív programozási elvek
Állapot: 
Folyamatban