학술논문
Logical Methods for Smart Contract Development
Document Type
Conference
Author
Source
2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON) Engineering, Computer and Information Sciences (SIBIRCON), 2019 International Multi-Conference on. :0881-0885 Oct, 2019
Subject
Language
Abstract
This article contains a description of the present state of business processes formalization developments. Currently existing formalized contracts automation methods have different functional limitations in application. The methodical approach to creating the tool for constructing formalized automated contracts containing a complex of hierarchically connected multilevel contracts is developed. Requirements to the tool for constructing formalized automated contracts (FACT) are defined, its structural components and mechanisms of interaction between them are described, the areas of application of the FACT and its prospects are defined.