Logical methods for smart contract development

Ayya G. Galieva, Dmitry E. Palchunov

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationSIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages881-885
Number of pages5
ISBN (Electronic)9781728144016
DOIs
Publication statusPublished - 1 Oct 2019
Event2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019 - Novosibirsk, Russian Federation
Duration: 21 Oct 201927 Oct 2019

Publication series

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

Conference

Conference2019 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2019
CountryRussian Federation
CityNovosibirsk
Period21.10.201927.10.2019

Keywords

  • business process formalization
  • semantic modeling
  • smart contract

Fingerprint Dive into the research topics of 'Logical methods for smart contract development'. Together they form a unique fingerprint.

Cite this