ПРОЕКТУВАННЯ ТА РОЗРОБКА ВЕБСЕРВІСУ “ALGEBRAIC VIRTUAL MACHINE”

Abstract

Ця робота присвячена створенню веб-додатку для використання засобів алгебраїчного аналізу. Існуючи сервіси аналізу коду, смарт контрактів тощо., мають вузьку спеціалізацію, мають складний неінтуїтивний інтерфейс, не дозволяють зручно зберігати дані проєктів , та результати їх перевірок, що ускладнює користування даними сервісами. Аналіз моделі проєкту на ранніх етапах розробки зменшує кількість помилок які будуть виникати в майбутньому, тому розробка зручного інтерфейсу для проведення аналізів може зацікавити широке коло фахівців. Виходячи з цього, тема роботи є актуальною. Метою даної роботи було реалізувати серверну частину додатку, клієнтський інтерфейс та взаємодію між ними для передачі даних.

This work is dedicated to creating a web application for using algebraic analysis tools. Existing services for code or smart contract analysis are often narrowly specialized, have complex, non-intuitive interfaces, and do not allow convenient storage of project data and verification results, which complicates their use. Analyzing a project model in the early stages of development reduces the number of future errors, so developing a user-friendly interface for analysis could be of interest to a wide range of specialists. Therefore, the topic is relevant. The goal of this work was to implement the server-side of the application, the client interface, and the interaction between them for data transmission.