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.