Biztonságkritikus rendszereket általában magasszintű modellekkel írunk le, mert az precizebb leírást ad, mint a tradicionális dokumentum-központű megközelítés. A magasszintű mérnöki modellek azonban csak akkor hasznosak, hogyha megbízhatunk azok struktúrájában és az általuk leírt viselkedés helyességében. Mivel ezt kézzel költséges vizsgálni és garantálni, manapság automatizált V&V eszközökkel tehermentesítjük a rendszermérnököket. Habár vannak ilyen eszközök, a fejlesztésük és elkészítésük rendkívül költséges, mert gyakran újabb nyelvek támogatásához rendszerint mindent újra kell implementálnunk, mert a nyelvek apróbb sajátosságai ellehetetlenítik az újrahasználhatóságot. Ennek kiküszöbölésére újszerű megközelítés a szemantikus modellek alkalmazása, amely az eszköz forráskódja helyett egy külső, könnyedén cserélhető és módosítható modellben tárolja a nyelv strukturális és viselkedési sajátosságait, úgymond "scriptelési" lehetőséget adva a V&V eszköz felett. A megközelítés előnye, hogy újabb nyelvek támogatása valamint meglévő eszközök módosítása már megtörténhet a konkrét V&V eszköz forráskódjának módosítása és újrafordítása nélkül, ami drasztikusan csökkenti a szükséges erőforrást. A K Framework egy olyan általános modelltranszformációs keretrendszer, amely lehetővé teszi a bemeneti modellek szöveges specifikációját és transzformálását tetszőleges kimeneti reprezentációra. Ezt úgynevezett újraírási szabályokkal teszi meg, amely meglévő modell elemeket ír át egy jobban és jobban feldolgozott reprezentációra, egészen addig, amíg el nem fogy a feldolgozható elem. A feladat egy szemantikus modellezést támogató transzformációs lánc megvalósítása a K Framework segítségével. Segítségül szolgál a Semantifyr keretrendszer, amely hasonló koncepciót valósít meg tradícionális modelltranszformációs módszerekkel. A téma célja, hogy megvizsgáljuk a K Framework alkalmazhatóságát a feladatra, és a tanulságok segítségével továbbfejleszteni a Semantifyr keretrendszert. A témára akár több hallgató is jelentkezhet, a pontos részfeladatok és kiírás meghatározására a konzulenssel egyeztetve kerül sor, különös tekintettel a hallgató érdeklődési körére és preferenciáira.