Okosszerződések állapottérkép alapú fejlesztése konzorciális blokkláncokhoz

OData támogatás
Konzulens:
Kocsis Imre
Méréstechnika és Információs Rendszerek Tanszék

Az elosztott főkönyv alapú alkalmazások felhasználási területei rohamosan

nőnek, ellenben a felhasznált fejlesztési technikák nem elégítik ki egy ilyen

rendszer által támasztott követelményeket. Több publikáció szerint az egyik

megoldást a modell alapú szoftvertervezés jelentheti. A modell alapú

fejlesztéssel a kód biztonságosabbá tehető a már eddig is rendelkezésre álló

eszközök használatával.

A szakdolgozat röviden bemutatja az elosztott főkönyvi technológiákat és

fejlődésüket. A következő fejezetekben bemutat két különböző konzorciális

blockchain hálózatokban használható kódgenerátort. A szakdolgozat az eddigi

modell alapú megoldásokat állapotgép alapú eszközkezeléssel bővíti ki a

Hyperledger Composer platformot célzó kódgenerátor tervezésével. A másik

megoldás általánosabb célú, tetszőleges állapotdiagramból Smart Contractot

előállító generátort mutat be a Hyperledger Fabric platformra. Végül a

generált Fabric kód korlátos modell ellenőrzésére (bounded model checking)

kerül sor egyszerű logikai kifejezések felhasználásával.

Letölthető fájlok

A témához tartozó fájlokat csak bejelentkezett felhasználók tölthetik le.