Použití Blockchain Smart Contracts v metodice DEMO

Abstract

Blockchain (BC) je nová technológia prinášajúca decentralizovanú, replikovanú, autonómnu a bezpečnú databázu. Jej najznámejšie využitie sa spája s kryptomenou bitcoin. Možné sú však aj ďalšie aplikácie, ako napríklad inteligentné kontrakty. Inteligentný kontrakt je transakcia uložená v blockchaine, ktorá obsahuje spustiteľný kód a má vlastné interné úložisko. Uloženie kontraktu do blockchainu zaručuje jeho nezmeniteľnú exekúciu a uchovávanie dát. Inteligentné kontrakty umožňujú vytváranie komplexnejších a decentralizovaných aplikácií (Dapps), či decentralizovaných autonómnych organizácií (DAOs). Enterprise Engineering (EE) je vedecká disciplína, ktorá skúma všetky aspekty organizácií od podnikových procesov, informačných a technických zdrojov, až po organizačné štruktúry. EE zahrňuje DEMO metodológiu, ktorá sa zaoberá modelovaním a návrhom organizácií. Z toho dôvodu sú blockchain a inteligentné kontrakty predmetom záujmu EE a ich možného prepojenia pre podporu tvorby Daaps. Cieľom tejto práce je preskúmať EE, možnosti blockchainu, a zároveň inteligentných kontraktov. Následne je vyhodnotená kompatibilita DEMO metodológie a inteligentných kontraktov, na základe čoho sú predstavené dva prístupy k použitiu týchto inteligentných kontraktov v danej metodológií. Následne je vytvorená metóda pre tvorbu inteligentných kontraktov na základe DEMO modelov a návrh architektúry informačného systému založeného na EE s použitím blockchainu. Pre overenie realizovateľnosti vytvorenej metódy je vypracovaná ukážková implementácia inteligentného kontraktu s použitím DEMO metodológie v procese získania a splácania hypotéky.

Blockchain (BC) is a new technology that introduces a decentralized, replicated, autonomous and secure databases. It is mostly known for its use with bitcoin, but it has more applications beyond that, such as smart contracts. Smart contract (SC) is a transaction embedded to blockchain that contains executable code and its own internal storage, offering immutable execution and record keeping. Smart contracts enable the creation of more complex decentralized applications (Dapps) and even decentralized autonomous organizations (DAOs) on blockchain. Enterprise Engineering (EE) examines all aspects of organizations from business processes, informational and technical resources, to organizational structure. Its underlying DEMO methodology focuses on modeling and designing organizations. Therefore, blockchain and smart contracts have been subject of interest concerning the discipline of Enterprise Engineering (EE) and how they can be used together, enhancing the creation of Dapps. Thus, this thesis reviews the discipline of EE and the capabilities of blockchain and smart contracts. Based on that, the compatibility of DEMO methodology and blockchain smart contracts are evaluated and two approaches of using smart contracts in the DEMO methodology are introduced. Consequently, a method of creating smart contracts from DEMO models is formed and a software architecture of an IT system based on EE integrating smart contracts is proposed. Finally, a proof of concept implementation of a smart contract of a mortgage process using the DEMO methodology is developed, to demonstrate the feasibility of proposed concepts.