Állapotgép-konstrukciós feladatok automatizált előállítása

A mérnöki modellezésben jelentős szerep jut a viselkedésmodellezésnek, különösen az állapot alapú (Statechart) és folyamat alapú (Business Process) formalizmusoknak. A tanszéken folyó oktatásban már eddig is megjelentek ezek a modellek, például önálló házi feladat lehet egy megadott szöveges specifikációnak megfelelően viselkedő modell elkészítése.

Viselkedésmodell jellegű feladatoknál még nem ismert kiforrott megoldás arra a problémára, hogy nagy létszámú kurzusok hallgatói számára egyedi, személyre szabott feladatokat generáljunk.

A hallgató feladata megismerkedni egyrészt egy konkrét viselkedésmodellező technológiával, másrészt egy modellek generálását lehetővé tévő keretrendszerrel, majd megvizsgálni a megközelítés oktatási célokra való alkalmazhatóságát.