System-Object Modeling of Smart Contracts
DOI:
https://doi.org/10.52575/2712-746X-2023-50-4-859-872Keywords:
system-object model, smart contract, smart contract vulnerability, blockchainAbstract
The scientific article is devoted to the system-object modeling of smart contracts on the Ethereum platform using the Solidity language and the Remix tool. The paper presents a simulation model of the creation and management of a smart contract based on the method of system-object modeling. The model includes a description of resources and a hierarchy of operations and processes, as well as tools related to the creation and interaction with contracts. Particular attention is paid to the use of the Solidity language for writing smart contracts and the Remix tool for their development and testing. It should be noted that the model focuses on functional aspects related to user interaction and does not include a detailed consideration of blockchain functions, such as the operation of the Ethereum Virtual Machine (EVM) and the inclusion of transactions in a new block. The developed system-object model is maximally unified and will serve as a basis for further development of the methodology for designing smart contracts with a minimum number of source code vulnerabilities.
Downloads
References
Айер К. и др. 2018. Среда разработки ethereum. Создание игр с использованием смарт-контрактов Ethereum: промежуточные проекты для разработчиков Solidity. С. 19-36.
Амир Латиф Р.М. и др. 2020. Remix IDE: платформа на основе смарт-контрактов для сектора здравоохранения с использованием технологии блокчейн. Мультимедийные инструменты и приложения. С. 1-24.
Антонопулос А.М., Вуд Г. 2018.Освоение ethereum: построение смарт-контрактов и dapps. O'reilly Media.
Вуд Г. и др. 2014. Ethereum: безопасная децентрализованная книга обобщенных транзакций. Желтая книга проекта Ethereum. № 151. с. 1-32.
Гао Й. и др. 2019. Измерение и анализ топологии в сети ethereum p2p. Симпозиум IEEE 2019 по компьютерам и коммуникациям (ISCC). IEEE. С. 1-7.
Дингман У. и др. 2019. Дефекты и уязвимости в смарт-контрактах, классификация с использованием платформы NIST bugs framework. Международный журнал сетевых и распределенных вычислений.7(3): 121-132.
Дхулаввагол П.М., Бхаджантри В.Х., Тотад С.Г. 2020. Анализ производительности клиентов ethereum на блокчейне с учетом приложения для электронного голосования. Procedia Computer Science. Т. 167. С. 2506-2515.
Жихарев А.Г., Белов С.П., Рачинский С.А. 2019. Перспективы системно-объектного имитационного моделирования систем передачи информации. Экономика. Информатика. 46(3): 563-572.
Жихарев А.Г., Киданов В.В., Фефелов О.С. 2023. К вопросу о безопасности обработки информации с использованием смарт-контрактов. Научный результат. Информационные технологии. 8(1): 46-55.
Касиредди П. 2017.Как вообще работает Ethereum. Medium.
Накамото С. 2008. Биткоин: одноранговая система электронных платежей. Обзор децентрализованного бизнеса.
Оливейра В.С. и др. 2021. Анализ подтверждения транзакции в ethereum с использованием методов машинного обучения. Обзор оценки производительности ACM SIGMETRICS. 48(4): 12-15.
Семельсбергер Т.А., Боруп Р.Л., Грин Х.Л. 2006. Диметиловый эфир (DME) как альтернативное топливо. Журнал источников энергии. 156(2): 497-511.
Сингх С., Хосен А.С.М.С., Юн Б. 2021. Атаки на безопасность блокчейна, проблемы и решения для будущей распределенной сети интернета вещей. IEEE Access. Т. 9. С. 13938-13959.
Хан М.М.А., Сарвар Х.М.А., Авайс М. 2022. Анализ потребления газа транзакциями блокчейн Ethereum. Параллелизм и вычисления: практика и опыт. 34(4): e6679.
Хао Й. и др. 2018. Анализ производительности алгоритма консенсуса в частном блокчейне. Симпозиум IEEE Intelligent Vehicles Symposium 2018 (IV). IEEE. С. 280-285.
Хегед С.П. 2018. К анализу ландшафта сложности смарт-контрактов ethereum на основе solidity. Материалы 1-го Международного семинара по новым тенденциям в разработке программного обеспечения для блокчейна. С. 35-39.
Чен Дж. и др. 2021. Проверка дефектов: автоматическое обнаружение дефектов смарт-контрактов путем анализа байт-кода evm. IEEE Transactions on Software Engineering. 48(7): 2189-2207.
Conte de Leon D et al. 2017 "Blockchain: properties and misconceptions", Asia Pacific Journal of Innovation and Entrepreneurship, 11(3): 286-300.
Abstract views: 21
Share
Published
How to Cite
Issue
Section
Copyright (c) 2023 Economics. Information Technologies
This work is licensed under a Creative Commons Attribution 4.0 International License.
