Methods of Transforming Business-Process Models to the Nets of Smart Contracts With Automated Checking of Contradictions

This study aims to investigate methods for transforming traditional business process models into networks of smart contracts with automated conflict checking mechanisms. With the increasing adoption of blockchain technology in businesses, streamlining processes and ensuring their integrity are of paramount importance. Organizations can now automate execution of most of the business processes and enforce business logic more accurately through the use of smart contracts. The research employs a systematic approach that involves semantic analysis of business process models, mapping activities and decision points to smart contract functions, as well as deploying automated verification algorithms. The aim of this approach is to ensure an accurate representation of business logic and identify and correct any inconsistencies or contradictions within the transformed smart contract network. The expected outcomes of this research are justification of the effectiveness of the implementation of smart contracts, improved transparency, and increased trust in business processes. This will lead to a reduction in operating costs, the risk of human errors, and fraud. Furthermore, the study will include an overview of current contract generation tools and algorithms, as well as models for formal verification of smart contracts. Algorithms will also be developed to transform business process models into smart contracts. A software prototype will be created, as well as experimental results. The study will culminate in the preparation of a scientific paper.