Formális és fél-formális szemantikájú modellek szimulációja

Számos olyan formalizmus létezik, amelyhez nem csak a szintaktika (nyelvtani szabályok), hanem a szemantika (viselkedési szabályok) is formális vagy fél-formális módon vannak meghatározva. 
Ilyen nyelveket gyakran használnak szoftver rendszerek tervezésekor a tervek ellenőrzésére és a készülő rendszer tulajdonságainak vizsgálatára. Azonban a rendelkezésre álló eszközök főként matematikai módszerekkel végeznek ellenőrzéseket a viselkedés dinamikus, esetleg felhasználó által irányított megfigyelését nem támogatják. 
A hallgató feladata olyan eszköz megtervezése és megvalósítása, amely képes a SAL (Symbolic Analysis Laboratory) formalizmus szimulációjára. Ehhez különböző technológiák és megvalósítási módszerek léteznek (pl. Java, EMF, modelltranszformáció), amelyek kipróbálása és összehasonlítása a feladat részét képezi.