Метод формального онтологического моделирования и реализации функций системной инженерии на основе принципа достаточного разнообразия структурных связей

Abstract

Рассмотрен прикладной подход к решению проблем информатики в рамках декартово замкнутых категорий для обеспечения достаточного разнообразия структурных связей при проектировании программного аналитического комплекса. Показывается, что применение методов конструктивных онтологий (формальных семантических моделей) для описания предметной области как исследуемого объекта позволяет производить автоматическое или автоматизированное (человеко-машинное) построение решения и самой задачи исследования. В теории онтология строится таким образом, что она решает эти задачи из условия непротиворечивости. В теоретико-категориальном подходе в качестве предметных областей рассматриваются абстрактные объекты, внутренняя структура которых изначально не указана. С точки зрения программирования, такая категория объектов рассматривается не как набор возможных значений в теоретико-множественном подходе, а как интерфейс между программами, позволяющий выполнять их композицию. Связь с теоретико-множественной моделью заключается в том, что упомянутые интерфейсы используются для передачи данных, идентифицирующих (кодирующих) элементы наборов, соответствующих объектам. Доступные и создаваемые на таких языках программы являются морфизмами, связывающими некоторые объекты. Действие морфизма не ограничивается отображением значений из исходного объекта в конечный, как в функциональном программировании. Это может быть сложное взаимодействие с передачей сигналов, данных и программ в противоположных направлениях. Например, программа может сделать несколько попыток получить результат, обрабатывая сигналы об ошибках, возникших в результате предыдущих попыток. Рассмотренный подход предлагается использовать для стандартизации автоматического и автоматизированного решения конструктивных задач. The paper considers an applied approach to solving computer science problems in the framework of Cartesian closed categories to ensure a sufficient variety of structural relationships in the design of a software analytical complex. It is shown that the use of constructive ontology methods (formal semantic models) to describe the subject area as an object under study allows automatic or automated (human-machine) construction of the solution and the research task itself. In theory, the ontology is constructed in such a way that it solves these problems from the condition of consistency. In the categorical approach, abstract objects are considered as subject areas, the internal structure of which was not initially indicated. From the programming point of view, such a category of objects is considered not as a set of possible values in a set-theoretic approach, but as an interface between programs that allows their composition to be performed. The connection with the set- theoretic model is that the interfaces are used to transmit data identifying (encoding) elements of sets corresponding to objects. Programs available and created in such languages are morphisms that connect some objects. The action of morphism is not limited to the mapping of values from the source object to the final one, as in functional programming. This can be a complex interaction with the transmission of signals, data and programs in opposite directions. For example, a program may make several attempts to obtain a result by processing error signals that have arisen as a result of previous attempts. The proposed approach is proposed to be used to standardize automatic and automated solutions to structural problems.