ISSN 2071-8594

Russian academy of sciences

Editor-in-Chief

Gennady Osipov

О.А. Зимовец, С.И. Маторин "Интеграция средств формализации графоаналитических моделей «Узел-Функция-Объект»"

Аннотация.

Рассматривается новый метод формального описания систем в терминах «Узел», «Функция», «Объект», который основан на сравнительном исследовании и интеграции алгебраических средств теории паттернов Гренандера и исчисления процессов Милнера. С помощью предложенного метода формализуются процедуры декомпозиции и агрегации графоаналитических моделей «Узел-Функция-Объект».

Ключевые слова:

подход «Узел-Функция-Объект», теория паттернов, исчисление процессов, формализация графических элементов, интерфейсная декомпозиция, операции на функциях.

Стр. 57-64.

O.A. Zimovets, S.I. Matorin

"Integration of formalization tools of graph-analytical models "Unit-Function-Object""

The paper considers a new method for formal description of systems in terms of "Unit", "Function", "Object" that is based on a comparative study and integration of Grenander algebraic theory of patterns and Milner calculation processes. The decomposition and aggregation procedures of graphical-analytical models of "Unit-Function-Object" are formalized with the proposed method.

Keywords: "Unit-Function-Object" approach, theory of patterns, calculation process, formalization of graphical elements, interface decomposition, operations on functions.

Полная версия статьи в формате pdf.