• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
For visually-impairedFor visually-impairedUser profile (HSE staff only)Search
Advanced search
Menu
HSE University
  • HSE University
  • Student Theses
  • Methods of Transformation Business-Process Models to the Nets of Smart-Contracts with Automated Checking of Contradictions

Methods of Transformation Business-Process Models to the Nets of Smart-Contracts with Automated Checking of Contradictions

Student: Komleva Nataliya

Supervisor: Eduard Babkin

Faculty: Faculty of Informatics, Mathematics, and Computer Science (HSE Nizhny Novgorod)

Educational Programme: Business Informatics (Master)

Year of Graduation: 2019

The current paper is based on the last-year paper presented at the EEWC 2019 (Enterprise Engineering Working Conference) in Lisbon, Portugal that studies model-driven liaison of organization modeling approaches and blockchain platforms. The current paper continues the research. The purpose of this paper is to study the methods of business-process models transformation to the nets of smart-contracts with automated checking of contradictions and to implement a tool that transforms ArchiMate business-process models to HyperLedger smart-contracts and verifies them with the Alloy language. In order to achieve the objective, theoretical aspects were studied and new meta-model of HyperLedger artifacts, model verification algorithm, and a respective tool were developed. Using the results of this paper, it is possible to verify the process of transferring business-process models to blockchain platforms. In particular, a set of tools that transfer a HyperLedger Composer model to the Alloy language and verifies it were developed.

Student Theses at HSE must be completed in accordance with the University Rules and regulations specified by each educational programme.

Summaries of all theses must be published and made freely available on the HSE website.

The full text of a thesis can be published in open access on the HSE website only if the authoring student (copyright holder) agrees, or, if the thesis was written by a team of students, if all the co-authors (copyright holders) agree. After a thesis is published on the HSE website, it obtains the status of an online publication.

Student theses are objects of copyright and their use is subject to limitations in accordance with the Russian Federation’s law on intellectual property.

In the event that a thesis is quoted or otherwise used, reference to the author’s name and the source of quotation is required.

Search all student theses