Á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.

Jelleg: 
Gyakorlati
Advisor: 
Gábor Bergmann
TDK lehetőség: 
Nem
Megismerhető technológiák: 
EMF, Yakindu, EMF-IncQuery, Viatra DSE
Előismeretek: 
Java programozás
Állapot: 
Korábbi