Erlang állapotgépek modell alapú transzformációja UML-re
  • Metaadatok
Tartalom: http://hdl.handle.net/10831/77864
Archívum: EDIT
Gyűjtemény: TDK/OTDK dolgozatok
TDK/OTDK dolgozatok (IK)
Cím:
Erlang állapotgépek modell alapú transzformációja 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
hármas gráfnyelvtanok
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. Dolgozatomban olyan kód-modell-transzformációs eljárást mutatok be, mely véges állapotgépeket leíró Erlang programokat transzformál UML állapotgép-modelleké. A transzformáció kivitelezéséhez a RefactorErl statikus kódelemző környezet által megkonstruált szemantikus programgráfot vesszük alapul. A transzformációt hármas gráfnyelvtanok segítségével specifikáljuk és bemutatunk néhány, a nyelvtan tervezéséhez használt és későbbi alkalmazásokhoz is felhasználható technikát. 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