Standard

Automation of the Smart Contract Development Using Situation Models. / Galieva, Ayya G.; Palchunov, Dmitry E.

Proceedings of the 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials, EDM 2022. IEEE Computer Society, 2022. p. 698-703 (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM; Vol. 2022-June).

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

Harvard

Galieva, AG & Palchunov, DE 2022, Automation of the Smart Contract Development Using Situation Models. in Proceedings of the 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials, EDM 2022. International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM, vol. 2022-June, IEEE Computer Society, pp. 698-703, 23rd IEEE International Conference of Young Professionals in Electron Devices and Materials, EDM 2022, Altai, Russian Federation, 30.06.2022. https://doi.org/10.1109/EDM55285.2022.9855159

APA

Galieva, A. G., & Palchunov, D. E. (2022). Automation of the Smart Contract Development Using Situation Models. In Proceedings of the 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials, EDM 2022 (pp. 698-703). (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM; Vol. 2022-June). IEEE Computer Society. https://doi.org/10.1109/EDM55285.2022.9855159

Vancouver

Galieva AG, Palchunov DE. Automation of the Smart Contract Development Using Situation Models. In Proceedings of the 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials, EDM 2022. IEEE Computer Society. 2022. p. 698-703. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM). doi: 10.1109/EDM55285.2022.9855159

Author

Galieva, Ayya G. ; Palchunov, Dmitry E. / Automation of the Smart Contract Development Using Situation Models. Proceedings of the 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials, EDM 2022. IEEE Computer Society, 2022. pp. 698-703 (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM).

BibTeX

@inproceedings{bb7a55938e9e489584e9a06f5c5a5424,
title = "Automation of the Smart Contract Development Using Situation Models",
abstract = "The analysis of existing research in the field of business processes automation is carried out. Modern business process automation methods involve the direct developers participation. Our proposed approach will allow domain experts to develop and manage smart contracts for business processes without the help of programmers. The methods of automating the smart contracts creation using semantic modeling are described. Methods of automation of complex processes with hierarchical nesting are proposed. A methodological approach to automating the smart contracts development using situation models is described. The operation scheme of the software system for the business processes formalization by constructing situation models is presented. The use of predicates ontological homomorphism to create smart contract templates is described. Methods of generating smart contracts in the sDSL language based on the described partial models are proposed. Examples of translating the business processes representation using situation models into smart contracts in the sDSL language are given. The interaction of several smart contracts using situation models with each other is described. ",
keywords = "audit of smart contracts, automation of business processes, semantic modeling, situation models, smart contract",
author = "Galieva, {Ayya G.} and Palchunov, {Dmitry E.}",
note = "Publisher Copyright: {\textcopyright} 2022 IEEE.; 23rd IEEE International Conference of Young Professionals in Electron Devices and Materials, EDM 2022 ; Conference date: 30-06-2022 Through 04-07-2022",
year = "2022",
doi = "10.1109/EDM55285.2022.9855159",
language = "English",
isbn = "9781665498043",
series = "International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM",
publisher = "IEEE Computer Society",
pages = "698--703",
booktitle = "Proceedings of the 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials, EDM 2022",
address = "United States",

}

RIS

TY - GEN

T1 - Automation of the Smart Contract Development Using Situation Models

AU - Galieva, Ayya G.

AU - Palchunov, Dmitry E.

N1 - Publisher Copyright: © 2022 IEEE.

PY - 2022

Y1 - 2022

N2 - The analysis of existing research in the field of business processes automation is carried out. Modern business process automation methods involve the direct developers participation. Our proposed approach will allow domain experts to develop and manage smart contracts for business processes without the help of programmers. The methods of automating the smart contracts creation using semantic modeling are described. Methods of automation of complex processes with hierarchical nesting are proposed. A methodological approach to automating the smart contracts development using situation models is described. The operation scheme of the software system for the business processes formalization by constructing situation models is presented. The use of predicates ontological homomorphism to create smart contract templates is described. Methods of generating smart contracts in the sDSL language based on the described partial models are proposed. Examples of translating the business processes representation using situation models into smart contracts in the sDSL language are given. The interaction of several smart contracts using situation models with each other is described.

AB - The analysis of existing research in the field of business processes automation is carried out. Modern business process automation methods involve the direct developers participation. Our proposed approach will allow domain experts to develop and manage smart contracts for business processes without the help of programmers. The methods of automating the smart contracts creation using semantic modeling are described. Methods of automation of complex processes with hierarchical nesting are proposed. A methodological approach to automating the smart contracts development using situation models is described. The operation scheme of the software system for the business processes formalization by constructing situation models is presented. The use of predicates ontological homomorphism to create smart contract templates is described. Methods of generating smart contracts in the sDSL language based on the described partial models are proposed. Examples of translating the business processes representation using situation models into smart contracts in the sDSL language are given. The interaction of several smart contracts using situation models with each other is described.

KW - audit of smart contracts

KW - automation of business processes

KW - semantic modeling

KW - situation models

KW - smart contract

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

UR - https://www.mendeley.com/catalogue/3f54ef31-9b74-341c-8bd5-397597b82f36/

U2 - 10.1109/EDM55285.2022.9855159

DO - 10.1109/EDM55285.2022.9855159

M3 - Conference contribution

AN - SCOPUS:85137353036

SN - 9781665498043

T3 - International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM

SP - 698

EP - 703

BT - Proceedings of the 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials, EDM 2022

PB - IEEE Computer Society

T2 - 23rd IEEE International Conference of Young Professionals in Electron Devices and Materials, EDM 2022

Y2 - 30 June 2022 through 4 July 2022

ER -

ID: 37125304