Теоретико-категориальный метод контроля целостности информационных ресурсов
| Rok vydání: | 2023 |
|---|---|
| Předmět: | |
| DOI: | 10.24412/2782-2141-2023-1-48-59 |
| Popis: | В статье предложен модифицированный теоретико-категориальный подход к контролю логической целостности информационных ресурсов на примере справочников системы электронного документооборота. Целью работы является разработка и апробация формализованной графической нотации моделирования логических ограничений. Используемые методы: в работе используются методы высшей алгебры и теории категорий, математической логики, теории реляционных баз данных и реляционной алгебры, теории принятия решений. Новизна обсуждаемого решения состоит в использование категориальных конструкций для задания ограничений на концепты моделируемой предметной области. Модификации метода предполагают введение набора морфизмов (нормальный, сюръективный, инъективный, частичный, рекурсивный), нормальных и анти-категориальных конструкций. К результатам работы следует отнести: формирование базового набора стрелок и категориальных конструкций, формирование и реализация методик контроля целостности при различных вариантах обновления структуры справочников в виде таблиц поведения модуля контроля. Практическая значимость работы заключается в предложенной реализации метода в виде модуля контроля логической целостности данных справочников системы защищенного электронного документооборота. The article proposes a modified categorical-theoretical approach to the control of the logical integrity of information resources on the example of directories of the electronic document management system. The aim of the work is to develop and test a formalized graphical notation for modeling logical constraints. Methods used: the methods of higher algebra and category theory, mathematical logic, relational database theory and relational algebra, decision theory are used in the work. The novelty of the discussed solution lies in the use of categorical constructions to set restrictions on the concepts of the modeled subject area. Modifications of the method involve the introduction of a set of morphisms (normal, surjective, injective, partial, recursive), normal and anti-categorical constructions. The results of the work include: the formation of a basic set of arrows and categorical constructions, the formation and implementation of integrity control methods for various options for updating the structure of directories in the form of tables of control module behavior. The practical significance of the work lies in the proposed implementation of the method in the form of a module for monitoring the logical integrity of data directories of a secure electronic document management system. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|