Standard

Logical methods for smart contract development. / Galieva, Ayya G.; Palchunov, Dmitry E.

SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., 2019. p. 881-885 8958340 (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Harvard

Galieva, AG & Palchunov, DE 2019, Logical methods for smart contract development. in SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings., 8958340, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings, Institute of Electrical and Electronics Engineers Inc., pp. 881-885, 2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019, Novosibirsk, Russian Federation, 21.10.2019. https://doi.org/10.1109/SIBIRCON48586.2019.8958340

APA

Galieva, A. G., & Palchunov, D. E. (2019). Logical methods for smart contract development. In SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings (pp. 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

Vancouver

Galieva AG, Palchunov DE. Logical methods for smart contract development. In SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc. 2019. p. 881-885. 8958340. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings). doi: 10.1109/SIBIRCON48586.2019.8958340

Author

Galieva, Ayya G. ; Palchunov, Dmitry E. / Logical methods for smart contract development. SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., 2019. pp. 881-885 (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

BibTeX

@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",

}

RIS

TY - GEN

T1 - Logical methods for smart contract development

AU - Galieva, Ayya G.

AU - Palchunov, Dmitry E.

PY - 2019/10/1

Y1 - 2019/10/1

N2 - 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.

AB - 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.

KW - business process formalization

KW - semantic modeling

KW - smart contract

UR - http://www.scopus.com/inward/record.url?scp=85079059070&partnerID=8YFLogxK

UR - https://elibrary.ru/item.asp?id=43237258

U2 - 10.1109/SIBIRCON48586.2019.8958340

DO - 10.1109/SIBIRCON48586.2019.8958340

M3 - Conference contribution

AN - SCOPUS:85079059070

T3 - SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings

SP - 881

EP - 885

BT - SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019

Y2 - 21 October 2019 through 27 October 2019

ER -

ID: 24736176