Generování Ethereum blockchain smart kontraktů z modelů DasContract

Abstract

V současné době jsou smlouvy mezi lidmi nebo jinými subjekty složitě vymahatelné před soudem a nebo neúměrně komplikované, složité na pochopení a s různými poplatky v průběhu. Tato práce diskutuje možné použití vizuálního jazyka DasContract spolu s blockchain technologií k vytvoření smluv mezi dvěmi nebo více stranami, které jsou jednoduché na implementaci, decentralizované a bezpečné. V praktické části je pak navržen a implementován generátor mezi DasContract a Solidity jazyky.

Currently, the contracts between people or other subjects are either hardly enforced in front of court, or disproportionately complicated, hard to understand and with various expenses along the way. This thesis discusses the possible usage of DasContract visual language combined with blockchain technology to create easy to implement, decentralized and secure contracts between two or more parties. In the practical part, DasContract to Solidity generator is being designed and implemented.