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.
Highlights
Доступные и создаваемые на таких языках программы являются морфизмами, связывающими некоторые объекты
Это открывает возможность объединения групп связанных друг с другом шкал в факторы-категории
Ser. Computer Technologies, Automatic Control, Radio Electronics, 2019, vol 19, no
Summary
Рассматривая отношения между информационными объектами, дополняя модель предметной области виртуальными объектами, приходим к возможности построения символьной (терминальной) модели хранилища данных. Метод построения иерархий Хомского на базе категориального подхода с применением математических теоретико-множественных моделей с использованием требований системной инженерии позволяет сформировать границы между семантическими и синтаксическими описаниями процессов исследуемой предметной области и функциональными модулями программного аналитического комплекса. Интерпретация формальных логических систем также может иметь формальный характер: это формальная алгебра или формальная алгебраическая система, которые характеризуются наличием формального носителя – множества предметов и заданных на этих предметах функциях и отношениях. 2. Построение формальной модели предметной области деятельности предприятия Рассматривая отношения между информационными объектами, выделяя виртуальные и реальные объекты, приходим к нахождению возможности построения символьной модели хранилища данных. Представление знаний об исследуемой предметной области позволяет применять формализованные формальные логические свойства, графо-аналитические метаязыки и правила для разработки и проектирования программных аналитических комплексов. 0 – общая система (неограниченная); 1 – описание системы на метаязыке (контекстно-зависимая); 2 – расширяет понятие семантики, показывая взаимодействие с внешней средой, система моделируется и создается с помощью case-средств и высокоуровневых языков программирования (контекстно-свободная); 3 – полностью формализованная система, которая применяется при создании компиляторов низкого уровня, прописан синтаксис, но семантика простая, описывается набором слов и отношением между этими словами (автоматная)
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Bulletin of the South Ural State University. Ser. Computer Technologies, Automatic Control & Radioelectronics
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
