Erlang állapotgépek elemzése és transzformálása UML-re
  • Metaadatok
Tartalom: http://hdl.handle.net/10831/77865
Archívum: EDIT
Gyűjtemény: TDK/OTDK dolgozatok
TDK/OTDK dolgozatok (IK)
Cím:
Erlang állapotgépek elemzése és transzformálása UML-re
Létrehozó:
Lukács, Dániel
Közreműködő:
Tóth, Melinda
Dátum:
2016
Téma:
Erlang
UML
statikus elemzés
RefactorErl
programtranszformáció
kódmegértés-támogatás
gen_fsm
Tartalmi leírás:
Komplex, nagy méretű programok hatékony tervezéséhez, fejlesztéséhez és karbantartásához elengedhetetlen a magasabb szintű absztrakciók, modellek alkalmazása. A modellekben való gondolkodás teszi képessé - lényegkiemelés útján - az elemző személyt arra, hogy bonyolult rendszerekben is be tudja azonosítani a problémákat, és azokra életképes megoldásokat találjon. A modellek formális, procedurálisan kezelhető megfogalmazása pedig lehetővé teszi a modellezés és a modellelemzés szoftveres segédeszközökkel való támogatását is. Dolgozatunk egy olyan, kód-modell transzformációt megvalósító módszert mutat be, mellyel véges állapotgépek egy modelljét állíthatjuk elő erre alkalmas Erlang programok kódjából. A kód-modell transzformáció kivitelezéséhez a RefactorErl statikus kódelemző környezet által megkonstruált szemantikus programgráfot vesszük alapul. A feladat megoldására pedig egy szabályalapú algoritmust határozunk meg, mely előre adott szabályokkal végez gráfmintaillesztést a programgráfon. A transzformáció eredményét UML szabványnak megfelelően reprezentáljuk, így beolvasható, megjeleníthető és szerkeszthető is modellező szoftvereszközök segítségével. A dolgozat keretében készült programot népszerű, nyílt forráskódú eszközök programkódján teszteltük. A dolgozatban ezen tesztek eredményeit is értékeljük.
Nyelv:
magyar
Típus:
info:eu-repo/semantics/masterThesis
Formátum:
application/pdf
Azonosító:
Létrehozó:
info:eu-repo/semantics/openAccess