Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
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. стр. 698-703 (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM; Том 2022-June).Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
}
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