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

Резюме. В работе реализуется смысловой подход построения формальных моделей систем. Решается задача формализации процессов представления входных и выходных документов в виде смысловых групп. Рассматривается организация связи внутри входных и выходных смысловых групп, а также преобразования входных в выходные. В ходе исследования были сформированы свойства частей смысловых групп, которые описываются высказываниями, формально определяемые как предикаты. Заданы правила перехода от смысловых групп к формальному представлению смысловой модели как набора связанных частей смысловых групп.

Ключевые слова: информационная модель, спецификация информационной модели, входные документы, выходные документы, смысловой подход, смысловая группа, ультраграф, высказывания, предикаты.

V.S. Lapshin, Y.I. Rogozov, A.V. Egorov

 Axiomatics of the semantic approach for the problem of representing the specification of an information model as a set of related parts of semantic groups 

Summary: The work implements a semantic approach to constructing formal models of systems. The problem of formalizing the processes of representing input and output documents in the form of semantic groups is solved. The organization of communication within the input and output semantic groups, as well as the transformation of input into output is considered. In the course of the study, the properties of parts of semantic groups were formed, which are described by statements, formally defined as predicates. Rules for the transition from semantic groups to a formal representation of the specification of an information model as a set of related parts of semantic groups are given.

Keywords: information model, information model specification, input documents, output documents, semantic approach, semantic group, ultragraph, statements, predicates. 

DOI:10.34219/2078-8320-2021-12-3-49-54