Logical methods for smart contract development

Ayya G. Galieva, Dmitry E. Palchunov

Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

1 Цитирования (Scopus)

Аннотация

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.

Язык оригиналаанглийский
Название основной публикацииSIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings
ИздательInstitute of Electrical and Electronics Engineers Inc.
Страницы881-885
Число страниц5
ISBN (электронное издание)9781728144016
DOI
СостояниеОпубликовано - 1 окт 2019
Событие2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019 - Novosibirsk, Российская Федерация
Продолжительность: 21 окт 201927 окт 2019

Серия публикаций

НазваниеSIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings

Конференция

Конференция2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019
СтранаРоссийская Федерация
ГородNovosibirsk
Период21.10.201927.10.2019

Fingerprint Подробные сведения о темах исследования «Logical methods for smart contract development». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать

    Galieva, A. G., & Palchunov, D. E. (2019). Logical methods for smart contract development. В SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings (стр. 881-885). [8958340] (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SIBIRCON48586.2019.8958340