ВАЛІДАЦІЯ ФОРМУЛ В СИСТЕМІ ІНСЕРЦІЙНОГО МОДЕЛЮВАННЯ

Abstract

У цій роботі розглядаються питання та особливості валідації формул для системи моделювання вставки (IMS), зокрема для системи Алгебраїчної Віртуальної Машини (AVM), якою володіє "PE LitSoft". Ми надаємо основні кроки, необхідні для розробки валідатора. Валідація формул включає в себе набір синтаксичних правил та перевірок, які дозволяють логічно визначати та методично обробляти інформацію щодо правильного введення формул. Валідація коду для систем моделювання вставки породжує проблему, яка схожа на обробку природного тексту. У нашому випадку однією з ключових проблем та особливостей валідації формул і функцій є важливість їх аргументів, які містять необхідні дані (значення, типи і т. д.), від яких залежить правильна робота формул. На основі операційної системи Ubuntu та мов програмування, таких як JavaScript, TypeScript, був створений валідатор. Одна з його функцій дозволяє обробляти формули, виділяючи їх на стандартні конструкції, такі як поведінкові моделі. Після вилучення формули відбувається пошук її ініціалізації, визначається тип повернення та типи аргументів, які повинні бути передані, якщо це потрібно. Валідатор також дозволяє визначити аргументи формули, після чого знаходить їх ініціалізацію та отримує дані про типи, схожі на пошук ініціалізації формули. Потім проводиться перевірка на кількість аргументів, порівняння типу та переданого аргумента і очікуваного типу аргументу для виявлення помилок в коді поведінкової моделі. / This work explores the issues and nuances of formula validation for the Insertion Modeling System (IMS), specifically within the context of the Algebraic Virtual Machine (AVM) owned by "PE LitSoft." We provide the essential steps required for the development of a validator. Formula validation encompasses a set of syntactic rules and checks that enable logical determination and systematic handling of information regarding the correct input of formulas. Validating code for insertion modeling systems presents a problem akin to natural language processing. In our case, one of the key challenges and features in validating formulas and functions is the significance of their arguments, which contain essential data (values, types, etc.) upon which the correct operation of the formulas depends. Using the Ubuntu operating system and programming languages such as JavaScript and TypeScript, a validator was created. One of its functions allows for the processing of formulas, categorizing them into standard constructs, such as behavioral models. After extracting a formula, the search for its initialization takes place, determining the return type and the types of arguments that should be passed, if necessary. The validator also permits the identification of formula arguments, subsequently locating their initialization and obtaining data about types, similar to the search for formula initialization. Subsequently, a check is performed for the number of arguments, comparing the type with the passed argument, and verifying the expected argument type to detect errors in the code of the behavioral model.