M. Jurgelaitis “MDA-based method for development of smart contract-based systems” doctoral dissertation defense

Author, Institution: Mantas Jurgelaitis, Kaunas University of Technology

Science area, field of science: Technological Sciences, Informatics Engineering, T007

Scientific Supervisor: Assoc. Prof. Dr. Rita Butkienė (Kaunas University of Technology, Technological Sciences, Informatics Engineering, T007)

Dissertation Defence Board of Informatics Engineering Science Field:
Prof. Dr. Tomas Blažauskas (Kaunas University of Technology, Technological Sciences, Informatics Engineering, T007) – chairperson
Assoc. Prof. Dr. Nikolaj Goranin (Vilnius Gediminas Technical University, Technological Sciences, Informatics Engineering, T007)
Prof. Dr. Raimundas Matulevičius  (Tartu University, Estonia, Technological Sciences, Informatics Engineering, T007)
Prof. Dr. Simona Ramanauskaitė (Vilnius Gediminas Technical University, Technological Sciences, Informatics Engineering, T007)
Prof. Dr. Tomas Skersys (Kaunas University of Technology, Technological Sciences, Informatics Engineering, T007)

Dissertation defence meeting will be at M7 Hall at The Campus Library of Kaunas University of Technology (Studentų 48–M7, Kaunas)

The doctoral dissertation is available at the library of Kaunas University of Technology (K. Donelaičio g. 20, Kaunas) and on the internet: M. Jurgelaitis_disertacija.pdf

Annotation: Blockchain provides a decentralised distributed database that together with smart contracts, can be used to enable the decentralisation of business processes. The application of blockchain technologies could be utilised to build a wide variety of solutions to promote trust, enforce auditability, transparency, and reduce reliance on centralised authorities. Unfortunately, the adoption of blockchain technology is relatively narrow because of the complicated development of such solutions. In the dissertation, the smart contract and smart contract-based system development as well as model-driven software development methods are analysed aiming to facilitate or even automate the smart contract-based system development process. Furthermore, the dissertation outlines an MDA-based method which using a modelling approach provides capabilities to generate code from specified conceptual smart contract models, thus facilitating the requirement specification, design, and smart contract code production activities during the system development process.