Komplex rendszerek magasszintű modelljeinek ellenőrzése

Komplex rendszerek tervezésekor elterjedt különböző absztrakciós szintű modellek használata, amelyeket gyakran gráfként ábrázolnak és tárolnak. Ezeken a modellen az ellenőrzés gráfminta-illesztés segítségével történik. A mai komplex rendszerek modelljei igen nagyok lehetnek, ezért egy bonyolult minta illesztése sokáig tarthat.

A féléves munkám során megalkottam egy olyan keretrendszert, amellyel összemérhető különböző gráftranszformációs rendszerek teljesítménye. Ennek segítségével kiértékelhetők a már rendelkezésre álló eszközök és összevethetők a kutatás későbbi fázisaiban elkészülő elosztott gráflekérdezővel.

A kutatási beszámoló letölthető innen (PDF)

Szárnyas Gábor
PhD hallgató
Budapesti Műszaki és Gazdaságtudományi Egyetem
Méréstechnika és Információs Rendszerek Tanszék
szarnyas@mit.bme.hu

2015.06.11.