Formal representation of the model of realization of the functions of system engineering based on the principle of the enough diversity of structural connections

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.