Generating Plutus Smart Contracts from DEMO Process Models

Abstract

Technologie blockchain v budoucnu změní způsob, jakým dnes lidé uzavírají smlouvy. Tento decentralizovaný automatizovaný systém podporuje koncept smart kontraktů, kódů, které rozšiřují možnosti blockchainu. Jedním z programovacích jazyků, které slouží pro psaní smart kontraktů, je doménově specifický jazyk Plutus. Nevýhodou tohoto jazyka je jeho náročné pochopení lidmi bez pokročilých znalostí. Definování smart kontraktů pomocí modelů metodiky DEMO tuto překážku odstraňuje, a dokonce snižuje náchylnost k chybám. Hlavním cílem této práce je navrhnout způsob, jak generovat smart kontrakty Plutus z procesních modelů DEMO. Tato práce hodnotí přínosy projektu Cardano, který vyvíjí platformu Plutus pro psaní smart kontraktů. Dále představuje způsob generace pomocí šablon a konceptu stavových automatů. Poslední část textu ukazuje tento generativní proces na skutečném případu užití, který se týká převodu vlastnictví pozemku. V příloze je také implementace algoritmu, který provádí proces překladu modelů DEMO na smart kontrakt.

The current way of people conducting contracts can be updated in the future using blockchain technology. This decentralized automated system supports the concept of smart contracts, codes that extend the possibilities of the blockchain. The Plutus programming language is a domain-specific language for writing smart contracts. The disadvantage of this language is that it is hard to understand by people without advanced skills. Defining smart contracts with DEMO methodology models solves this obstacle and even reduces error-prone. The main goal of this thesis is to propose a way how to generate Plutus smart contracts from DEMO process models. This thesis evaluates the benefits of the Cardano project, which is developing the Plutus platform for writing smart contracts. Furthermore, it introduces an approach of the generation using templates and a concept of state machines. The last part of the text demonstrates this generative process on an actual use-case of land title transfer recording. An implementation of an algorithm that performs the process of a model conversion to a smart contract can also be found in the attachment.