@inproceedings{60b9f968b88c4f95ba450744f21964ff,
title = "Logical methods for smart contract development",
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.",
keywords = "business process formalization, semantic modeling, smart contract",
author = "Galieva, {Ayya G.} and Palchunov, {Dmitry E.}",
year = "2019",
month = oct,
day = "1",
doi = "10.1109/SIBIRCON48586.2019.8958340",
language = "English",
series = "SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "881--885",
booktitle = "SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings",
address = "United States",
note = "2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019 ; Conference date: 21-10-2019 Through 27-10-2019",
}