Doménově specifické jazyky pro uživatelské rozhraní decentralizovaných aplikací

Abstract

Tato práce se zabývá definováním a automatickým vytvářením uživatelského rozhraní decentralizovaných aplikací. Hlavním cílem této práce je vytvořit nový doménově specifický jazyk. Tento jazyk by měl umožnit návrh uživatelského rozhraní, které umí komunikovat s chytrými kontrakty. Nově navržený doménově specifický jazyk je založený na standardních přístupech k deklarativnímu vývoji uživatelských rozhraní zkoumaných v rámci této práce a používá upravenou verzi Extensible Markup Language. Tomuto jazyku by mělo jít jednoduše rozumět bez jakékoliv předchozí znalosti. Jazyk by navíc měl umožnit definování uživatelských rozhraní jak obyčejných chytrých kontraktů, tak chytrých kontraktů z Das Contract projektu. Uživatelská rozhraní vytvořená tímto jazykem jsou implementačně nezávislá a umožňují uživateli komunikovat s chytrými kontrakty nasazenými na libovolném blockchainu. V rámci této práce byly vytvořeny dvě aplikace na podporu práce s nově navrženým jazykem. Editor formulářů umožňuje návrháři rychle vyvíjet, ověřovat a zobrazovat formuláře vytvořené v novém jazyce. Druhá aplikace používá takto navržené formuláře ke komunikaci s chytrými kontrakty nasazenými na Ethereum blockchainu. Tato aplikace zároveň slouží jako referenční implementace interpretu nově navrženého jazyka. Funkčnost těchto aplikací je ukázána na Das Contract kontraktu pro uzavření decentralizované hypotéky.

This thesis focuses on the definition and generation of decentralized application's user interfaces. The primary goal of this thesis is to create a new domain-specific language that will allow users to design user interfaces. These user interfaces should let the user interact with smart contracts. The new proposed domain-specific language is based on standard approaches to declarative user interface development researched in this thesis. The new proposed domain-specific language uses Extensible Markup Language modified to be easily understandable without any prior knowledge. It can be used to define user interfaces of both Das Contract and generic smart contracts. User interfaces created with this language are implementation-independent and allow users to interact with smart contracts deployed on any blockchain. Two proof of concept applications were created to support working with the new domain-specific language. The forms editor allows a designer to develop, validate and render forms in the new language quickly. The forms wallet enables a user to use the forms to interact with smart contracts on the Ethereum network. This application also serves as a reference implementation of the new proposed language. The functionality of both applications is shown on a Das Contract mortgage contract, which allows a user to take out a mortgage without any central authority.